"Source: Text/Geometry/CrvHyp.text";
"Line: 5009";
"Date: Thu Aug 18 16:02:10 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/CrvHyp.text, line: 5009
// Example: H134E37 ()
print "Example: H134E37";
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);
