"Source: Text/Geometry/CrvHyp.text";
"Line: 4311";
"Date: Thu Aug 18 16:02:10 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/CrvHyp.text, line: 4311
// Example: H134E31 ()
print "Example: H134E31";
ei := GetEchoInput();
SetEchoInput(true);
// no-test
f := Polynomial([Rationals()|-9, 8, 8, 1, -8, -8, -7, -2, -7 ]);
C := HyperellipticCurve(f);
Genus(C);
assert $1 eq 3;
Degree(C);
assert $1 eq 8;
J := Jacobian(C);
SetClassGroupBounds("GRH");
RankBound(J);
HasIndexOneEverywhereLocally(C);
Roots(f,RealField(50));
Evaluate(f,0) lt 0;
assert $1;
&and[ HasIndexOne(C,p) : p in BadPrimes(C) ];
assert $1;
SetEchoInput(ei);
