"Source: Text/Ring/FldFunG.text";
"Line: 3189";
"Date: Thu Jun 16 15:04:46 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/FldFunG.text, line: 3189
// Example: H45E25 ()
print "Example: H45E25";
ei := GetEchoInput();
SetEchoInput(true);
PF<x> := PolynomialRing(GF(13, 2));
P<y> := PolynomialRing(PF);
FF1<b> := ext<FieldOfFractions(PF) | y^2 - x>;
P<y> := PolynomialRing(FF1);
FF2<d> := ext<FF1 | y^3 - b : Check := false>;
MFF2I := MaximalOrderInfinite(FF2);
G, m, mi := ClassGroup(FF2);
m(Random(G));
mi(&+[Divisor(Random(FF2, 3)) : i in [1 .. 3]]);
assert IsId($1);
ClassNumber(FF2);
assert $1 eq 1;
SetEchoInput(ei);
