"Source: Text/Geometry/CrvEll.text";
"Line: 2679";
"Date: Wed Sep 19 23:00:01 2018";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEll.text, line: 2679
// Example: H131E22 ()
print "Example: H131E22";
ei := GetEchoInput();
SetEchoInput(true);
E := EllipticCurve([1, 0, 0, 12948, 421776]);
P := E![ -65498304*1567, -872115836268, 1567^3 ];
DivisionPoints(P, 3);
DivisionPoints(E!0, 9);
SetEchoInput(ei);
