"Source: Text/Geometry/CrvEllQNF.text";
"Line: 4770";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEllQNF.text, line: 4770
// Example: H133E37 ()
print "Example: H133E37";
ei := GetEchoInput();
SetEchoInput(true);
Pr2<x,y,z> := ProjectiveSpace(Rationals(),2);
J := x^3 + y^3 + 60*z^3;
E := MinimalModel(EllipticCurve(Curve(Pr2,J)));
cubics, mapstoE := ThreeDescent(E);
cubics;
DefiningEquations(mapstoE[1]);
time PointSearch( cubics[1], 10^4);
SetEchoInput(ei);
