"Source: Text/Geometry/CrvEllQNF.text";
"Line: 4549";
"Date: Fri Apr 14 10:35:14 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/CrvEllQNF.text, line: 4549
// Example: H130E36 ()
print "Example: H130E36";
ei := GetEchoInput();
SetEchoInput(true);
P<x> := PolynomialRing(Integers());
E := EllipticCurve([0, -1, 0, 203, -93]);
f := P!Reverse([-7, 12, 20, -120, 172]);
f;
time S := FourDescent(f);
#S;
assert $1 eq 1;
_,m := AssociatedEllipticCurve(S[1] : E:=E );
pts := PointsQI(S[1], 10^4);
pts;
m(pts[1]);
Height($1);
SetEchoInput(ei);
