MAGMA Computational Algebra System

Enumeration of Points

In this section the descriptions will refer to a point set H, which is either the H in the signature or the base point set of the elliptic curve E in the signature.

Points(H) : SetPtEll -> {@ PtEll @}

RationalPoints(H) : SetPtEll -> {@ PtEll @}

Points(E) : CrvEll -> {@ PtEll @}

RationalPoints(E) : CrvEll -> {@ PtEll @}

Returns the set of rational points of the point set H or of the base point set of the elliptic curve E, including the point at infinity.

Random(H): SetPtEll -> PtEll

Random(E): CrvEll -> PtEll

Returns a random rational point of the point set H or of the base point set of the elliptic curve E. Every rational point has a roughly equal chance of being selected, including the zero element.