Reduction of an elliptic curve (source code)

= Reduction of an elliptic curve

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.