"Source: Text/Geometry/CrvEll.text";
"Line: 1878";
"Date: Wed Sep 19 23:00:01 2018";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEll.text, line: 1878
// Example: H131E19 ()
print "Example: H131E19";
ei := GetEchoInput();
SetEchoInput(true);
E1 := EllipticCurve([ GF(23) | 1, 1 ]);
E2 := EllipticCurve([ GF(23, 2) | 1, 1 ]);
f := map<E1 -> E2 | P :-> 2*P>;
f := map<E1 -> E2 | P :-> E2![ P[1], -P[2], P[3] ]>;
f := map<E1 -> E2 | P :-> (P eq E1!0) select E2!0
                          else E2![ P[1], -P[2], 1 ]>;
SetEchoInput(ei);
