"Source: Text/Geometry/CrvEll.text";
"Line: 920";
"Date: Wed Sep 19 23:00:01 2018";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEll.text, line: 920
// Example: H131E10 ()
print "Example: H131E10";
ei := GetEchoInput();
SetEchoInput(true);
E := EllipticCurve([0, -1, 1, 1, 0]);
E;
aInvariants(E);
Discriminant(E);
assert $1 eq -131;
c4, c6 := Explode(cInvariants(E));
jInvariant(E) eq c4^3 / Discriminant(E);
assert $1;
SetEchoInput(ei);
