"Source: Text/Ring/RngOrd.text";
"Line: 7101";
"Date: Fri Sep 26 14:51:59 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngOrd.text, line: 7101
// 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);
