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(E) : CrvEll -> @ PtEll @

Points(H) : SetPtEll -> @ PtEll @

RationalPoints(E) : CrvEll -> @ PtEll @

RationalPoints(H) : SetPtEll -> @ 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(E): CrvEll -> PtEll

Random(H): SetPtEll -> 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 point at infinity.