"Source: Text/Geometry/ModSS.text";
"Line: 314";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/ModSS.text, line: 314
// Example: H147E3 ()
print "Example: H147E3";
ei := GetEchoInput();
SetEchoInput(true);
M := SupersingularModule(11); Basis(M);
S := CuspidalSubspace(M);
E := EisensteinSubspace(M);
Basis(S);
Basis(E);
Basis(OrthogonalComplement(E));
Basis(OrthogonalComplement(S));
S eq OrthogonalComplement(E);
assert $1;
R<x> := PolynomialRing(Integers());
I := [<2, x + 2>];
K := Kernel(I,M);
Basis(K);
Decomposition(M,5);
SetEchoInput(ei);
