"Source: Text/Geometry/CrvHyp.text";
"Line: 761";
"Date: Fri Sep 26 09:12:34 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvHyp.text, line: 761
// Example: H137E5 ()
print "Example: H137E5";
ei := GetEchoInput();
SetEchoInput(true);
P<x> := PolynomialRing(Rationals());
C := HyperellipticCurve(x^6+x);
C7 := QuadraticTwist(C, 7);
C7;
IsIsomorphic(C, C7);
assert not $1;
K<w> := ext< Rationals() | x^2-7 >;
CK := BaseChange(C, K);
C7K := BaseChange(C7, K);
IsIsomorphic(CK, C7K);
SetEchoInput(ei);
