"Source: Text/Geometry/ModAbVar.text";
"Line: 4464";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/ModAbVar.text, line: 4464
// Example: H148E72 ()
print "Example: H148E72";
ei := GetEchoInput();
SetEchoInput(true);
J := JZero(54);
T := HeckeAlgebra(J);
Dimension(T);
assert $1 eq 4;
S := Subgroup([HeckeOperator(J,n) : n in [1..4]]);
Dimension(S);
assert $1 eq 3;
Index(T,S);
assert $1 eq 0;
Quotient(T,S);
G := T/S; G;
S := Subgroup([HeckeOperator(J,n) : n in [3,4,5,10]]);
Sat := Saturation(S);
Index(Sat,S);
assert $1 eq 6;
Index(S,Sat);
Invariants(Sat/S);
SetEchoInput(ei);
