"Source: Text/Geometry/CrvEll.text";
"Line: 1748";
"Date: Wed Sep 19 23:00:01 2018";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEll.text, line: 1748
// Example: H131E17 ()
print "Example: H131E17";
ei := GetEchoInput();
SetEchoInput(true);
K := GF(73);
E1 := EllipticCurve([K | 3, 4, 2, 5, 1]);
E2 := EllipticCurve([K | 8, 2, 29, 45, 28]);
IsIsomorphic(E1, E2);
assert $1;
m := Isomorphism(E1, E2, [3, 2, 1, 4]);
m;
P1 := Random(E1);
P2 := Random(E1);
m(P1 + P2) eq m(P1) + m(P2);
assert $1;
r, s, t, u := Explode(IsomorphismData(Inverse(m)));
P3 := E2![ 69, 64 ];
x, y := Explode(Eltseq(P3));
E1 ! [ u^2*x + r, u^3*y + s*u^2*x + t ];
m($1) eq P3;
assert $1;
SetEchoInput(ei);
