"Source: Text/Ring/FldFunG.text";
"Line: 9307";
"Date: Thu Jun 16 15:04:46 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/FldFunG.text, line: 9307
// Example: H45E56 ()
print "Example: H45E56";
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);
