up previous next
codomain

codomain of a homomorphism

Syntax
codomain(phi: RINGHOM): RING

Description
This function returns the domain of the homomorphism phi

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