"Source: Text/Ring/RngOrd.text";
"Line: 5873";
"Date: Fri Sep 26 14:51:59 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngOrd.text, line: 5873
// Example: H39E24 ()
print "Example: H39E24";
ei := GetEchoInput();
SetEchoInput(true);
x := PolynomialRing(Integers()).1;
O := MaximalOrder(x^4-14*x^3+14*x^2-14*x+14);
IndexFormEquation(O, 1);
[ MinimalPolynomial(x) :x in $1 ];
[ Discriminant(x) : x in $1 ] ;
Discriminant(O);
assert $1 eq -80240048;
SetEchoInput(ei);
