"Source: Text/Geometry/CrvHyp.text";
"Line: 5062";
"Date: Fri Sep 26 09:12:34 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvHyp.text, line: 5062
// Example: H137E37 ()
print "Example: H137E37";
ei := GetEchoInput();
SetEchoInput(true);
_<x> := PolynomialRing(Rationals());
C := HyperellipticCurve( x*(x+1344^2)*(x+10815^2)*(x+5406^2)*(x+2700^2) );
J := Jacobian(C);
ptsC := Points(C : Bound := 10^6); ptsC;
PJ := J! [ ptsC[3], ptsC[1] ];
Order(PJ);
assert $1 eq 0;
pts := Chabauty(PJ : ptC:=ptsC[1]); pts;
assert #pts eq 8;
SetEchoInput(ei);
