next | previous | forward | backward | up | top | index | toc | Macaulay2 website
EllipticCurves :: bruteForceRationalPoints(EllipticCurveW)

bruteForceRationalPoints(EllipticCurveW) -- A brute-force method to list the points on an elliptic curve.

Synopsis

Description

i1 : E=ellCurve({1,2,3,4,6},GF(29))

o1 = Elliptic Curve defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))

o1 : EllipticCurveW
i2 : bruteForceRationalPoints(E)

o2 = {Point ({0, 1, 0}( on the (Elliptic Curve defined by Y^2 + 1 XY + 3 Y =
     ------------------------------------------------------------------------
     X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))))), Point ({2, 12, 1}( on the
     ------------------------------------------------------------------------
     (Elliptic Curve defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6(
     ------------------------------------------------------------------------
     over(GF 29 .))))), Point ({4, -12, 1}( on the (Elliptic Curve defined by
     ------------------------------------------------------------------------
     Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))))), Point ({4,
     ------------------------------------------------------------------------
     5, 1}( on the (Elliptic Curve defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2
     ------------------------------------------------------------------------
     + 4 X + 6( over(GF 29 .))))), Point ({8, -2, 1}( on the (Elliptic Curve
     ------------------------------------------------------------------------
     defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))))),
     ------------------------------------------------------------------------
     Point ({8, -9, 1}( on the (Elliptic Curve defined by Y^2 + 1 XY + 3 Y =
     ------------------------------------------------------------------------
     X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))))), Point ({-13, -13, 1}( on the
     ------------------------------------------------------------------------
     (Elliptic Curve defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6(
     ------------------------------------------------------------------------
     over(GF 29 .))))), Point ({-13, -6, 1}( on the (Elliptic Curve defined
     ------------------------------------------------------------------------
     by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))))), Point
     ------------------------------------------------------------------------
     ({-5, -11, 1}( on the (Elliptic Curve defined by Y^2 + 1 XY + 3 Y = X^3
     ------------------------------------------------------------------------
     + 2 X^2 + 4 X + 6( over(GF 29 .))))), Point ({-5, 13, 1}( on the
     ------------------------------------------------------------------------
     (Elliptic Curve defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6(
     ------------------------------------------------------------------------
     over(GF 29 .))))), Point ({-11, -3, 1}( on the (Elliptic Curve defined
     ------------------------------------------------------------------------
     by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))))), Point
     ------------------------------------------------------------------------
     ({-11, 11, 1}( on the (Elliptic Curve defined by Y^2 + 1 XY + 3 Y = X^3
     ------------------------------------------------------------------------
     + 2 X^2 + 4 X + 6( over(GF 29 .))))), Point ({7, 1, 1}( on the (Elliptic
     ------------------------------------------------------------------------
     Curve defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6( over(GF 29
     ------------------------------------------------------------------------
     .))))), Point ({7, -11, 1}( on the (Elliptic Curve defined by Y^2 + 1 XY
     ------------------------------------------------------------------------
     + 3 Y = X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))))), Point ({-1, 1, 1}( on
     ------------------------------------------------------------------------
     the (Elliptic Curve defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6(
     ------------------------------------------------------------------------
     over(GF 29 .))))), Point ({-1, -3, 1}( on the (Elliptic Curve defined by
     ------------------------------------------------------------------------
     Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))))), Point ({-2,
     ------------------------------------------------------------------------
     7, 1}( on the (Elliptic Curve defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2
     ------------------------------------------------------------------------
     + 4 X + 6( over(GF 29 .))))), Point ({-2, -8, 1}( on the (Elliptic Curve
     ------------------------------------------------------------------------
     defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))))),
     ------------------------------------------------------------------------
     Point ({-4, 12, 1}( on the (Elliptic Curve defined by Y^2 + 1 XY + 3 Y =
     ------------------------------------------------------------------------
     X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))))), Point ({-4, -11, 1}( on the
     ------------------------------------------------------------------------
     (Elliptic Curve defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6(
     ------------------------------------------------------------------------
     over(GF 29 .))))), Point ({-8, 1, 1}( on the (Elliptic Curve defined by
     ------------------------------------------------------------------------
     Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))))), Point ({-8,
     ------------------------------------------------------------------------
     4, 1}( on the (Elliptic Curve defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2
     ------------------------------------------------------------------------
     + 4 X + 6( over(GF 29 .))))), Point ({-6, 10, 1}( on the (Elliptic Curve
     ------------------------------------------------------------------------
     defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))))),
     ------------------------------------------------------------------------
     Point ({-6, -7, 1}( on the (Elliptic Curve defined by Y^2 + 1 XY + 3 Y =
     ------------------------------------------------------------------------
     X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))))), Point ({10, -10, 1}( on the
     ------------------------------------------------------------------------
     (Elliptic Curve defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6(
     ------------------------------------------------------------------------
     over(GF 29 .))))), Point ({10, -3, 1}( on the (Elliptic Curve defined by
     ------------------------------------------------------------------------
     Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))))), Point
     ------------------------------------------------------------------------
     ({-14, 8, 1}( on the (Elliptic Curve defined by Y^2 + 1 XY + 3 Y = X^3 +
     ------------------------------------------------------------------------
     2 X^2 + 4 X + 6( over(GF 29 .))))), Point ({-14, 3, 1}( on the (Elliptic
     ------------------------------------------------------------------------
     Curve defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6( over(GF 29
     ------------------------------------------------------------------------
     .))))), Point ({0, 12, 1}( on the (Elliptic Curve defined by Y^2 + 1 XY
     ------------------------------------------------------------------------
     + 3 Y = X^3 + 2 X^2 + 4 X + 6( over(GF 29 .))))), Point ({0, 14, 1}( on
     ------------------------------------------------------------------------
     the (Elliptic Curve defined by Y^2 + 1 XY + 3 Y = X^3 + 2 X^2 + 4 X + 6(
     ------------------------------------------------------------------------
     over(GF 29 .)))))}

o2 : List