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. ConstantCoeff is a sort of inverse.

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