"Source: Text/Geometry/CrvEll.text";
"Line: 1076";
"Date: Wed Sep 19 23:00:01 2018";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEll.text, line: 1076
// Example: H131E12 ()
print "Example: H131E12";
ei := GetEchoInput();
SetEchoInput(true);
K := GF(13);
E := EllipticCurve([K | 3, 1]);
E5 := QuadraticTwist(E, 5);
IsIsomorphic(E, E5);
assert not $1;
IsIsomorphic(BaseExtend(E, 2), BaseExtend(E5, 2));
assert $1;
jInvariant(E) eq jInvariant(E5);
assert $1;
SetEchoInput(ei);
