"Source: Text/Geometry/ModFrmAlg.text";
"Line: 492";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/ModFrmAlg.text, line: 492
// Example: H151E2 ()
print "Example: H151E2";
ei := GetEchoInput();
SetEchoInput(true);
Q := SymmetricMatrix([6,0,2,-4,-1,12,3,1,6,12]);
M := OrthogonalModularForms(Q);
Level(M);
Norm(Discriminant(Level(M)));
assert $1 eq 193;
Weight(M);
IsTrivial(Weight(M));
assert $1;
time Dimension(M);
assert $1 eq 9;
IsOrthogonal(M);
IsSpecialOrthogonal(M);
M_SO := OrthogonalModularForms(Q : Special);
time Dimension(M_SO);                       
assert $1 eq 10;
IsOrthogonal(M_SO);
IsSpecialOrthogonal(M_SO);
SetEchoInput(ei);
