"Source: Text/Ring/RngOrd.text";
"Line: 6925";
"Date: Fri May 26 16:23:18 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/RngOrd.text, line: 6925
// Example: H39E29 ()
print "Example: H39E29";
ei := GetEchoInput();
SetEchoInput(true);
O := EquationOrder(Polynomial([4,0,1]));
z := O.2; // z^2 = -4
I := ideal<O|1>; // O as an ideal
J := ideal<O|[2,z]>; // noninvertible ideal
ColonIdeal(I,J)*J eq I;
SetEchoInput(ei);
