"Source: Text/Geometry/CrvHyp.text";
"Line: 5037";
"Date: Thu Aug 18 16:02:10 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/CrvHyp.text, line: 5037
// Example: H134E38 ()
print "Example: H134E38";
ei := GetEchoInput();
SetEchoInput(true);
_<x> := PolynomialRing(Rationals());
C := HyperellipticCurve(x^6+1);
J := Jacobian(C);
RankBound(J);
assert $1 eq 0;
Chabauty0(J);
E := EllipticCurve([0,1]);
Pr2<X,Y,Z> := Ambient(C);
CtoE := map< C -> E | [X^2*Z,Y,Z^3] >;
Rank(E);
assert $1 eq 0;
#TorsionSubgroup(E);
assert $1 eq 6;
ptsE := Points(E : Bound:=100 ); ptsE;
for P in ptsE do
    preimageofP := P @@ CtoE;
    Points(preimageofP);
end for;
SetEchoInput(ei);
