"Source: Text/Geometry/ModSym.text";
"Line: 1033";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/ModSym.text, line: 1033
// Example: H145E9 ()
print "Example: H145E9";
ei := GetEchoInput();
SetEchoInput(true);
M15 := ModularSymbols(15);
M30 := ModularSymbols(30);
alp_2 := DegeneracyMap(M15,M30,2);
alp_2(M15.1);
beta_2 := DegeneracyMap(M30,M15,2);
beta_2(alp_2(M15.1));
M15.1;
X11 := ModularSymbols("11k2A");
qEigenform(X11,6);
ModularSymbols(X11,33);
X33 := ModularSymbols(X11,33);
qExpansionBasis(X33,6);
Factorization(CharacteristicPolynomial(HeckeOperator(X33,3)));
ModularDegree(X33);
assert $1 eq 3;
M44 := ModularSymbols(44,2);
A := M44!!X11; A;
X11!!A;       // back to the original space
SetEchoInput(ei);
