"Source: Text/Geometry/ModFrmAlg.text";
"Line: 1205";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/ModFrmAlg.text, line: 1205
// Example: H151E4 ()
print "Example: H151E4";
ei := GetEchoInput();
SetEchoInput(true);
Q := Matrix([[2,0,1],[0,2,0],[1,0,6]]);
M := OrthogonalModularForms(Q);
Dimension(M);
assert $1 eq 2;
time fs := HeckeEigenforms(M);
fs;
assert #($1) eq 2;
evs, Ps := HeckeEigensystem(fs[2], 1 : Precision := 100);
evs;
fQ := Newforms(CuspForms(11))[1][1];
ps := [Norm(P) : P in Ps];
assert &and[Coefficient(fQ,ps[i]) eq evs[i] : i in [1..#ps] | ps[i] ne 11];
ModularForm(fs[2]);
fQ;
assert $1 eq $2;
SetEchoInput(ei);
