codomain -- codomain of a homomorphism |
Syntax |
codomain(phi: RINGHOM): RING |
Description |
Example |
/**/ P := NewPolyRing(RingQQ(), "alpha,beta"); /**/ phi := CanonicalHom(RingZZ(), P); /**/ codomain(phi); RingWithID(4, "QQ[alpha,beta]") /**/ psi := CoeffEmbeddingHom(P); /**/ codomain(psi); RingWithID(4, "QQ[alpha,beta]") |
See Also |