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