"Source: Text/Ring/FldFunG.text";
"Line: 2987";
"Date: Thu Jun 16 15:04:46 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/FldFunG.text, line: 2987
// Example: H45E22 ()
print "Example: H45E22";
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);
Genus(F);
assert $1 eq 4;
NumberOfPlacesDegECF(F, 1);
assert $1 eq 22;
NumberOfPlacesOfDegreeOneECFBound(F);
assert $1 eq 32;
HasRandomPlace(F, 2);
LPolynomial(F);
SetEchoInput(ei);
