"Source: Text/Ring/FldFunG.text";
"Line: 9353";
"Date: Fri Sep 26 13:15:42 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/FldFunG.text, line: 9353
// Example: H46E56 ()
print "Example: H46E56";
ei := GetEchoInput();
SetEchoInput(true);
k := GF(13);
A<t> := PolynomialRing(k);
Ax<x> := PolynomialRing(A);
f := x^4 + (4*t + 4)*x^3 + (6*t^2 + 12*t + 6)*x^2 + (4*t^3 + 12*t^2 + 12*t 
                           + 4)*x + t^4 + 5*t^3 + 6*t^2 + 4*t + 1;
L := FunctionField(f);
p := t;
I := OMRepresentation(L,[L.1,p^12]);
pIntegralBasis(I,p);
pIntegralBasis(I,p:HNF:=true); // In HNF
Basis(I);
Basis(I : HNF := true);
SetEchoInput(ei);
