Points
Predicates for points of elliptic curves over prime fields.
Subtopics
- Pointp
- Recognize all possible points of all possible elliptic curves.
- Point-in-pxp-p
- Check if a point is in the cartesian product of a prime field,
or it is the point at infinity.
- Points-fty
- Fixtype support for elliptic curve points.
