Points-fty
Fixtype support for elliptic curve points.
We provide a fixtype for pointp,
along with some functions and theorems
to treat elliptic curve points as if they were defined as
(fty::deftagsum point
(:finite ((x nat) (y nat)))
(:infinite ())
:pred pointp
:xvar p)
Subtopics
- Point-finite
- Build a finite elliptic curve point.
- Point
- Fixtype of elliptic curve points.
- Point-kind
- Kinds (i.e. tags) of elliptic curve points.
- Point-finite->y
- Get the y coordinate of a finite elliptic curve point.
- Point-finite->x
- Get the x coordinate of a finite elliptic curve point.
- Point-infinite
- Build the elliptic curve point at infinity.
- Point-fix
- Fixer of elliptic curve points.
