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