Reduction of an elliptic curve (source code)

= Reduction of an elliptic curve
{wiki=Elliptic_curve#Elliptic_curves_over_a_general_ring}

Reducing a minimal integral Weierstrass equation modulo the maximal ideal gives a projective cubic over the residue field. Reducing primitive projective coordinates defines the reduction map on rational points.