"Source: Text/Geometry/CrvEll.text";
"Line: 431";
"Date: Wed Sep 19 23:00:01 2018";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEll.text, line: 431
// Example: H131E5 ()
print "Example: H131E5";
ei := GetEchoInput();
SetEchoInput(true);
K1 := GF(23);
K2 := GF(23, 2);
f := hom<K1 -> K2 | >;
E1 := EllipticCurve([K1 | 1, 1]);
E2 := EllipticCurve([K2 | 1, 1]);
assert E2 eq BaseExtend(E1, K2);
assert E2 eq BaseExtend(E1, f);
assert E2 eq BaseExtend(E1, 2);
assert E1 eq ChangeRing(E2, K1);  // but this is OK
SetEchoInput(ei);
