Jacobian coordinates for a point on an elliptic curve in short Weierstrass
form, over the base field P::BaseField. This struct implements arithmetic
via the Jacobian formulae
Constants and convenience functions that collectively define the Short Weierstrass model
of the curve. In this model, the curve equation is y² = x³ + a * x + b,
for constants a and b.