"Source: Text/Geometry/ModAbVar.text";
"Line: 2245";
"Date: Fri Sep  9 15:10:23 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/ModAbVar.text, line: 2245
// Example: H145E43 ()
print "Example: H145E43";
ei := GetEchoInput();
SetEchoInput(true);
S := CuspForms(43);
N := Newforms(S); N;
f := N[2][1]; f;
A := ModularAbelianVariety(f); A;
Newform(A);
J := JZero(43);
D := Decomposition(J); D;
Newform(D[2]);
A := ModularAbelianVariety("43B");
A eq D[2];
assert $1;
SetEchoInput(ei);
