"Source: Text/Geometry/CrvEll.text";
"Line: 2925";
"Date: Wed Sep 19 23:00:01 2018";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEll.text, line: 2925
// Example: H131E26 ()
print "Example: H131E26";
ei := GetEchoInput();
SetEchoInput(true);
E := EllipticCurve([0, 17]);
P1 := E![ -2, 3 ];
P2 := E![ -1, 4 ];
S := [ a*P1 + b*P2 : a,b in [-3..3] ];
#S;
assert $1 eq 49;
[ P : P in S | IsIntegral(P) ];
[ P : P in S | IsSIntegral(P, [2, 3]) and not IsIntegral(P) ];
SetEchoInput(ei);
