"Source: Text/Geometry/ModFrmAlg.text";
"Line: 712";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/ModFrmAlg.text, line: 712
// Example: H151E3 ()
print "Example: H151E3";
ei := GetEchoInput();
SetEchoInput(true);
F<sqrt7> := QuadraticField(-7);
OF := Integers(F);
M1 := UnitaryModularForms(2*IdentityMatrix(F,3), [2,0]);
Dimension(M1);
assert $1 eq 1;
P2 := Factorization(2*OF)[1][1];
Norm(P2);
assert $1 eq 2;
HeckeOperator(M1, P2);
M2 := UnitaryModularForms(2*IdentityMatrix(F,3), [4,0]);
Dimension(M2);
assert $1 eq 3;
T2 := HeckeOperator(M2, P2);
T2;
SetEchoInput(ei);
