"Source: Text/Ring/FldFunG.text";
"Line: 9469";
"Date: Fri Sep 26 13:15:42 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/FldFunG.text, line: 9469
// Example: H46E57 ()
print "Example: H46E57";
ei := GetEchoInput();
SetEchoInput(true);
k := GF(13);
A<t> := PolynomialRing(k);
Ax<x> := PolynomialRing(A);
f := x^5 + (t^2 + 2*t + 1)*x^4 + (t^4 + 4*t^3 + 6*t^2 + 4*t + 1)*x^3 + (t^3   
        + 3*t^2 + 3*t + 1)*x^2 + (t^4 + 4*t^3 + 6*t^2 + 4*t + 1)*x + t;
L := FunctionField(f);
I := OMRepresentation(L,[1/L.1^2,12]);
I;
TwoElement(I);
Norm(I);
Factorization(I);
Montes(L, t+1);
Valuation(I, L`PrimeIdeals[t][1]);
Valuation(I, L`PrimeIdeals[t+1][1]);
SetEchoInput(ei);
