"Source: Text/Geometry/CrvEllQNF.text";
"Line: 4766";
"Date: Fri Apr 14 10:35:14 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/CrvEllQNF.text, line: 4766
// Example: H130E37 ()
print "Example: H130E37";
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);
