up previous next
ChainCanonicalHom    --    canonical homomorphism


Syntax 
ChainCanonicalHom(R: RING, S: RING): RINGHOM

Description
This function returns the canonical homomorphism from R to S, where S has been constructed from R with a chain of ring constructors.

Example 
/**/  use P ::= QQ[i];
/**/  K := NewQuotientRing(P, ideal(i^2+1));
/**/  R ::= K[x,y,z];

/**/  phi := ChainCanonicalHom(P, R);
/**/  RingElem(R, "x^2-i*y") / phi(RingElem(P, "(3*i-2)*(5-i)"));
((-17/338)*i -7/338)*x^2 +((7/338)*i -17/338)*y

See Also