up previous next
CoeffEmbeddingHom

returns the coefficient embedding homomorphism of a polynomial ring

Syntax 
CoeffEmbeddingHom(P: RING): RINGHOM

Description
This function returns the coefficient embedding homomorphism of the polynomial ring P .

It is equivalent to (indeed it is called by) CanonicalHom(CoeffRing(P), P) .

Example 
/**/ Use P ::= QQ[x,y];
/**/ phi := CoeffEmbeddingHom(P);  -- phi: QQ -> P
/**/ f := 2*x+3*y;
/**/ f/phi(LC(f));
x + (3/2)*y

See Also