"Source: Text/Geometry/ModSS.text";
"Line: 690";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/ModSS.text, line: 690
// Example: H147E7 ()
print "Example: H147E7";
ei := GetEchoInput();
SetEchoInput(true);
M := SupersingularModule(11);
P := M.1; P;
Q := M.2; Q;
P + Q;
P - Q;
3*P;
E := EisensteinSubspace(M);
S := CuspidalSubspace(M);
V := E + S;
V;
Basis(V);
RSpace(M)/RSpace(V);
W := E meet S; W;
Basis(W);
SetEchoInput(ei);
