"Source: Text/Geometry/ModAbVar.text";
"Line: 444";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/ModAbVar.text, line: 444
// Example: H148E5 ()
print "Example: H148E5";
ei := GetEchoInput();
SetEchoInput(true);
X := [ModularForms(11,2), ModularForms(Gamma1(13),2)];
A := ModularAbelianVariety(X); A;
IsIsomorphic(A, JZero(11)*JOne(13));
A := ModularAbelianVariety(ModularForms(Gamma1(17),2)); A;
B := JOne(17); B;
C := Js(17); C;
IsIsomorphic(A,B);
Degree(NaturalMap(A,C));
assert $1 eq 16;
SetEchoInput(ei);
