2.10.2 Composition of RINGHOM |
Example |
/**/ R := NewPolyRing(QQ, "a"); /**/ S := NewFractionField(R); -- QQ(a) /**/ T := NewPolyRing(S, "x"); /**/ phi := CanonicalHom(R,S); /**/ psi := CanonicalHom(S,T); /**/ theta := psi(phi); /**/ theta(RingElem(R, "a^2+a-1")); a^2 +a -1 /**/ RingOf(theta(RingElem(R, "a^2+a-1"))) = T; true |