"Source: Text/Geometry/ModAbVar.text";
"Line: 675";
"Date: Fri Sep  9 15:10:23 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/ModAbVar.text, line: 675
// Example: H145E9 ()
print "Example: H145E9";
ei := GetEchoInput();
SetEchoInput(true);
A := JZero(33);
w3 := AtkinLehnerOperator(A,3);
W := Kernel(Matrix(w3)+1);
DefinesAbelianSubvariety(A,W);
V := RationalHomology(A);
DefinesAbelianSubvariety(A,W + sub<V|[V.1]>);
assert not $1;
ZeroModularAbelianVariety();
ZeroModularAbelianVariety(2);
ZeroSubvariety(JZero(11));
SetEchoInput(ei);
