"Source: Text/Geometry/CrvEll.text";
"Line: 2695";
"Date: Wed Sep 19 23:00:01 2018";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEll.text, line: 2695
// Example: H131E23 ()
print "Example: H131E23";
ei := GetEchoInput();
SetEchoInput(true);
E := EllipticCurve([0, 0, 1, -7, 6]);
P1 := E![ 175912024457 * 278846, -41450244419357361, 278846^3 ];
P2 := E![ -151 * 8, -1845, 8^3 ];
P3 := E![ 36773 * 41, -7036512, 41^3 ];
P1; P2; P3;
P1 + P2;
P1 +:= P2;
P2 + P3;
P2 +:= P3;
P3 - P1;
P3 -:= P1;
P1 - 2*P2;
P1 -:= 2*P2;
[ P1, P2, P3 ];
IsPoint(E, 1);
P1 - P2 - P3;
P2 := P1 - P2 - P3;
[ P1, P2, P3 ];
SetEchoInput(ei);
