"Source: Text/Ring/FldFunG.text";
"Line: 7804";
"Date: Thu Jun 16 15:04:46 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/FldFunG.text, line: 7804
// Example: H45E43 ()
print "Example: H45E43";
ei := GetEchoInput();
SetEchoInput(true);
Y<t> := PolynomialRing(Integers());
R<x> := FunctionField(GF(9));
P<y> := PolynomialRing(R);
f := y^3 + y + x^5 + x + 1;
F<alpha> := FunctionField(f);
ClassNumberApproximation(F, 1.3);
ClassGroup(F);
ClassNumber(F);
assert $1 eq 28561;
Evaluate(LPolynomial(F), 1);
assert $1 eq 28561;
SetEchoInput(ei);
