"Source: Text/Geometry/CrvEllQNF.text";
"Line: 2187";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEllQNF.text, line: 2187
// Example: H133E23 ()
print "Example: H133E23";
ei := GetEchoInput();
SetEchoInput(true);
D := CremonaDatabase();
&+[ Discriminant(E) : E in D ];
assert $1 eq -794859469677543528151728699560961881672278939536;
sum := 0;
for E in D do sum +:= Discriminant(E); end for;
sum;
assert $1 eq -794859469677543528151728699560961881672278939536;
E := Random(D);
E;
r := CremonaReference(E);
r;
while r[#r] in "0123456789" do Prune(~r); end while;
r;
EllipticCurves(D, r);
E in $1;
assert $1;
SetEchoInput(ei);
