[Next][Prev] [Right] [Left] [Up] [Index] [Root]
hom<F -> R | cf, g> : FldFun, Rng, Map, RngElt -> Map
The homomorphism from the function field F to any ring R where
g is the image of the generator of F
in R and cf is a map from the coefficient field of F into R.
A simple use of homomorphisms is shown.
> PR<x> := PolynomialRing(Rationals());
> P<y> := PolynomialRing(PR);
> FR1<a> := FunctionField(y^3 - x*y + 1);
> P<y> := PolynomialRing(FR1);
> FR2<c> := FunctionField(y^2 - a^5*x^3*y + 1);
> EFR2F := EquationOrderFinite(FR2);
> cf := hom<FR1 -> EFR2F | a + 1>;
> h := hom<FR2 -> EFR2F | cf, c + 1>;
> h(c) eq c + 1;
true
> h(a*c) eq a*c + a + c + 1;
true
[Next][Prev] [Right] [Left] [Up] [Index] [Root]