"Source: Text/Ring/RngOrd.text";
"Line: 6176";
"Date: Fri May 26 16:23:18 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/RngOrd.text, line: 6176
// Example: H39E26 ()
print "Example: H39E26";
ei := GetEchoInput();
SetEchoInput(true);
R<x> := PolynomialRing(Integers());
M := MaximalOrder(x^5 + 4*x^4 - x^3 + 7*x^2 - 1);
R<x> := PolynomialRing(M);         
O := MaximalOrder(x^3 - 2);
M;
O;
I := 19/43*M.4*O.3*O;
I;
Order(I);
Norm(Norm(I));
FactorizationOfQuotient($1);
Norm(Norm(O.3));
Norm(M.4);
Denominator(I);
Denominator(O.3);
PrimitiveElement(I);
Minimum(I); 
[ Norm(Norm(tuple[1])) : tuple in Factorization(I) ];
SetEchoInput(ei);
