"Source: Text/Geometry/CrvEllFldFin.text";
"Line: 795";
"Date: Tue Jun  7 22:27:14 2016";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEllFldFin.text, line: 795
// Example: H132E6 ()
print "Example: H132E6";
ei := GetEchoInput();
SetEchoInput(true);
FF<w> := GF(1048583, 2);
E := EllipticCurve([ 1016345*w + 272405, 660960*w + 830962 ]);
A, m := AbelianGroup(E);
A;
S := Generators(E);
S;
S eq [ m(A.1), m(A.2) ];
assert $1;
SetEchoInput(ei);
