"Source: Text/Geometry/CrvEll.text";
"Line: 1552";
"Date: Wed Sep 19 23:00:01 2018";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEll.text, line: 1552
// Example: H131E15 ()
print "Example: H131E15";
ei := GetEchoInput();
SetEchoInput(true);
K := GF(5);
E := EllipticCurve([K | 1, 0]);
H := E(K);
H;
H2 := E(GF(5, 2));
H2;
Scheme(H) eq Scheme(H2);
assert $1;
Ring(H) eq Ring(H2);
assert not $1;
H eq H2;
assert not $1;
P<t> := PolynomialRing(K);
G := SubgroupScheme(E, t - 2);
HG := G(K);
Scheme(HG) eq Scheme(H);
assert not $1;
Ring(HG) eq Ring(H);
assert $1;
HG eq H;
assert not $1;
Scheme(HG);
Curve(HG);
SetEchoInput(ei);
