"Source: Text/Geometry/ModAbVar.text";
"Line: 3177";
"Date: Fri Sep  9 15:10:23 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/ModAbVar.text, line: 3177
// Example: H145E58 ()
print "Example: H145E58";
ei := GetEchoInput();
SetEchoInput(true);
J := JZero(37);
phi := HeckeOperator(J,2);
phi(J);
Image(phi);
G := nTorsionSubgroup(J,2); G;
phi(G);
IsSurjective(phi-1);
assert $1;
psi := phi-1;
H := G@@(psi); H;  
psi(H);
H := G@@psi; H;
psi(H);
SetEchoInput(ei);
