up previous next
domain    --    domain of a homomorphism


Syntax 
domain(phi: RINGHOM): RING

Description
This function returns the domain of the homomorphism phi.

Example 
/**/  P := NewPolyRing(RingQQ(), "alpha,beta");
/**/  phi := CanonicalHom(RingZZ(), P);
/**/  domain(phi);
ZZ
/**/  psi := CoeffEmbeddingHom(P);
/**/  domain(psi);
QQ

See Also