"Source: Text/Geometry/ModAbVar.text";
"Line: 4909";
"Date: Fri Sep  9 15:10:23 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/ModAbVar.text, line: 4909
// Example: H145E77 ()
print "Example: H145E77";
ei := GetEchoInput();
SetEchoInput(true);
H := End(JZero(33));
IsCommutative(H);
assert not $1;
IsField(H);
IsHeckeAlgebra(H);
assert not $1;
IsOverQ(H);
assert not $1;
IsOverQ(BaseExtend(H,RationalField()));
assert $1;
IsRing(H);
assert $1;
IsSaturated(H);
assert $1;
T := HeckeAlgebra(JZero(33));
T eq H;
assert not $1;
T subset H;
assert $1;
IsSaturated(T);
assert $1;
IsRing(T);
assert $1;
IsHeckeAlgebra(T);
assert $1;
IsCommutative(T);
assert $1;
IsField(BaseExtend(T,RationalField()));
T := HeckeAlgebra(JZero(23));
IsField(T);
IsField(BaseExtend(T,RationalField()));
SetEchoInput(ei);
