up previous next
PolyRingHom    --    homomorphism of polynomial rings


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

Description
These functions create 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. If CoeffHom is trivial, consider using PolyAlgebraHom instead.

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

/**/ phi := PolyRingHom(R, SmodJ, CanonicalHom(QQ,SmodJ), "a,b");
/**/ use R;
/**/ phi(x); --> round brackets in output indicate class in SmodJ
(a)

See Also