"Source: Text/Geometry/ModSym.text";
"Line: 1399";
"Date: Mon Aug 27 15:40:50 2018";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/ModSym.text, line: 1399
// Example: H142E11 ()
print "Example: H142E11";
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);
