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