"Source: Text/Ring/FldFunG.text";
"Line: 7850";
"Date: Fri Sep 26 13:15:42 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/FldFunG.text, line: 7850
// Example: H46E43 ()
print "Example: H46E43";
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);
