EmbeddingHom -- returns the embedding homomorphism of a fraction field |
Syntax |
EmbeddingHom(K: RING): RINGHOM |
Description |
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 |