"Source: Text/Geometry/CrvEllQNF.text";
"Line: 4553";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEllQNF.text, line: 4553
// Example: H133E36 ()
print "Example: H133E36";
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);
