ChainCanonicalHom -- canonical homomorphism |
Syntax |
ChainCanonicalHom(R: RING, S: RING): RINGHOM |
Description |
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 |