"Source: Text/Geometry/CrvEll.text";
"Line: 1796";
"Date: Wed Sep 19 23:00:01 2018";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEll.text, line: 1796
// Example: H131E18 ()
print "Example: H131E18";
ei := GetEchoInput();
SetEchoInput(true);
FF := FiniteField(23);
E0 := EllipticCurve([FF | 1, 1]);
E1 := EllipticCurve([FF | 3, 2]);
b, iso := IsIsomorphic(E0, E1);
b;
assert $1;
iso;
isog := IsomorphismToIsogeny(iso);
assert Degree(isog) eq 1;
isog;
b, new_iso := IsIsomorphism(isog);
b;
assert $1;
inv := Inverse(new_iso);
P := Random(E0);
inv(isog(P)) eq P;
assert $1;
SetEchoInput(ei);
