"Source: Text/Ring/RngOrd.text";
"Line: 8993";
"Date: Fri Sep 26 14:51:59 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngOrd.text, line: 8993
// Example: H39E41 ()
print "Example: H39E41";
ei := GetEchoInput();
SetEchoInput(true);
Ax<x> := PolynomialRing(Integers());
f := x^5 + 343*x^4 + 49*x^3 + 343*x^2 + 7*x + 6;
L := NumberField(f);
I := OMRepresentation(L,[1/L.1^2,12]);
I;
TwoElement(I);
Norm(I);
Factorization(I);
Valuation(I, L`PrimeIdeals[2][1]);
Valuation(I, L`PrimeIdeals[3][1]);
SetEchoInput(ei);
