"Source: Text/Geometry/RepLoc.text";
"Line: 137";
"Date: Tue Jun  7 22:27:14 2016";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/RepLoc.text, line: 137
// Example: H148E1 ()
print "Example: H148E1";
ei := GetEchoInput();
SetEchoInput(true);
S11 := CuspidalSubspace(ModularSymbols(11, 2, 1));
newform_spaces := NewformDecomposition(S11);
newform_spaces;
Eigenform(newform_spaces[1]);
LocalComponent(newform_spaces[1], 11);
SetEchoInput(ei);
