"Source: Text/Geometry/CrvHyp.text";
"Line: 4322";
"Date: Fri Sep 26 09:12:34 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvHyp.text, line: 4322
// Example: H137E30 ()
print "Example: H137E30";
ei := GetEchoInput();
SetEchoInput(true);
f := Polynomial([Rationals()| 30, 10, 30, 20, 10, 10, 10, 30, 10 ]);
f;
X := HyperellipticCurve(f);
J := Jacobian(X);
SetClassGroupBounds("GRH");
S := TwoSelmerGroup(J);
#S;
assert $1 eq 4;
TorsionBound(J,5);
assert $1 eq 1;
J`TwoSelmerSet;
RankBounds(J);
SetEchoInput(ei);
