"Source: Text/Geometry/CrvEllFldFin.text";
"Line: 1435";
"Date: Tue Jun  7 22:27:14 2016";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEllFldFin.text, line: 1435
// Example: H132E10 ()
print "Example: H132E10";
ei := GetEchoInput();
SetEchoInput(true);
K := GF(RandomPrime(40));
E := EllipticCurve([Random(K), Random(K)]);
E;
Q := Random(E);
Q;
FactoredOrder(Q);
P := Random(Order(Q))*Q;
P;
m := Log(Q, P);
m*Q - P;
assert IsId($1);
SetEchoInput(ei);
