"Source: Text/Geometry/ModFrm.text";
"Line: 875";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/ModFrm.text, line: 875
// Example: H144E6 ()
print "Example: H144E6";
ei := GetEchoInput();
SetEchoInput(true);
M := ModularForms(Gamma1(16),3); M;
Dimension(CuspidalSubspace(M));
assert $1 eq 9;
SetPrecision(M,19);
Basis(NewSubspace(CuspidalSubspace(M)))[1];
SetPrecision(M,10);
Basis(NewSubspace(CuspidalSubspace(M)));
MQ := BaseExtend(M,RationalField());
Basis(NewSubspace(CuspidalSubspace(MQ)))[7];
SetEchoInput(ei);
