Module point_jacobi_intersection 

Affine points on a Jacobi-intersection curve.

The EFD gives the affine group law for

$$ s^2 + c^2 = 1 \quad a s^2 + d^2 = 1. $$

We use those formulas directly, with neutral element (0, 1, 1) and negation -(s, c, d) = (-s, c, d).

Structs

JacobiIntersectionPoint

An affine point $(s, c, d)$ on a Jacobi intersection.