"Source: Text/Ring/FldFunG.text";
"Line: 9196";
"Date: Fri Sep 26 13:15:42 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/FldFunG.text, line: 9196
// Example: H46E55 ()
print "Example: H46E55";
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,L.1+1);
I;
Montes(L, t + 1);
P := L`PrimeIdeals[t+1, 1];
     J := P^-2;            
I*J;
 I^2;
I/J;
I+J;
SetEchoInput(ei);
