i2 : bruteForceRationalPoints(E)
o2 = {Point {0, 1, 0} on the (Elliptic Curve defined by Y^2 = X^3 + 3 X +
------------------------------------------------------------------------
(-5) over (GF 13).), Point {1, -5, 1} on the (Elliptic Curve defined
------------------------------------------------------------------------
by Y^2 = X^3 + 3 X + (-5) over (GF 13).), Point {1, 5, 1} on the
------------------------------------------------------------------------
(Elliptic Curve defined by Y^2 = X^3 + 3 X + (-5) over (GF 13).), Point
------------------------------------------------------------------------
{2, 3, 1} on the (Elliptic Curve defined by Y^2 = X^3 + 3 X + (-5) over
------------------------------------------------------------------------
(GF 13).), Point {2, -3, 1} on the (Elliptic Curve defined by Y^2 =
------------------------------------------------------------------------
X^3 + 3 X + (-5) over (GF 13).), Point {-1, 2, 1} on the (Elliptic
------------------------------------------------------------------------
Curve defined by Y^2 = X^3 + 3 X + (-5) over (GF 13).), Point {-1, -2,
------------------------------------------------------------------------
1} on the (Elliptic Curve defined by Y^2 = X^3 + 3 X + (-5) over (GF
------------------------------------------------------------------------
13).), Point {-4, 6, 1} on the (Elliptic Curve defined by Y^2 = X^3 +
------------------------------------------------------------------------
3 X + (-5) over (GF 13).), Point {-4, -6, 1} on the (Elliptic Curve
------------------------------------------------------------------------
defined by Y^2 = X^3 + 3 X + (-5) over (GF 13).)}
o2 : List
|