up previous next
EmbeddingHom

returns the embedding homomorphism of a fraction field

Syntax 
EmbeddingHom(K: RING): RINGHOM

Description
This function returns the embedding homomorphism of the fraction field K .

Example 
/**/ Use P ::= QQ[x,y];
/**/ K := NewFractionField(P);
/**/ phi := EmbeddingHom(K);  -- phi: P -> K
/**/ f := 2*x+3*y;
/**/ phi(f);
2*x +3*y
/**/ RingOf(phi(f));
RingWithID(5, "FractionField(RingWithID(4))")

See Also