"Source: Text/Geometry/ModSym.text";
"Line: 1399";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/ModSym.text, line: 1399
// Example: H145E11 ()
print "Example: H145E11";
ei := GetEchoInput();
SetEchoInput(true);
M := ModularSymbols(11,2); M;
IsCuspidal(M);
assert not $1;
C := CuspidalSubspace(M); C;
IsCuspidal(C);
assert $1;
IsEisenstein(C);
assert not $1;
E := EisensteinSubspace(M); E;
IsEisenstein(E);
assert $1;
E + C eq M;
assert $1;
E eq Complement(C);
assert $1;
C eq Complement(E);
assert $1;
SetEchoInput(ei);
