Skip to main content

Module curve_jacobi_intersection

Module curve_jacobi_intersection 

Source
Expand description

Elliptic curve definition in Jacobi intersection form.

§Equation

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

over a field $F$ with $\mathrm{char}(F) \ne 2$.

The EFD records that this model is birationally equivalent to the Weierstrass curve

y² = x³ + (2-a)x² + (1-a)x.

Structs§

JacobiIntersectionCurve
A Jacobi-intersection curve.