"Source: Text/Geometry/ModAbVar.text";
"Line: 4909";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/ModAbVar.text, line: 4909
// Example: H148E77 ()
print "Example: H148E77";
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);
