up previous next
PolyRingHom

homomorphism of polynomial rings

Syntax
PolyRingHom(R: RING, S: RING, CoeffHom: RINGHOM, images: LIST): RINGHOM

Description
This function creates the homomorphism of (polynomial) algebras between R and S . The homomorphism is uniquely defined by the images of the indeterminates of R and the homomorphism mapping CoeffRing(R) into S .

Example
/**/ R ::= QQ[x,y];
/**/ S ::= QQ[a,b,c];
/**/ SmodJ := NewQuotientRing(S, ideal(RingElem(S,"a")^2-1));

/**/ use SmodJ;
/**/ phi := PolyRingHom(R, SmodJ, CanonicalHom(QQ,SmodJ), [a,b]);
/**/ use R;
/**/ phi(x);
(a)

See Also