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
|