up previous next
TmpChainCanonicalHom

canonical homomorphism

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

Description
Temporary - might change name/meaning...

Example
/**/  use R ::= QQ[x,y];
/**/  RmodI := NewQuotientRing(R, ideal(x^2-1));

/**/  phi := TmpChainCanonicalHom(R, RmodI);
/**/  phi(x^3*y);
(x*y)

See Also