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