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