Good reduction of an elliptic curve (source code)

= Good reduction of an elliptic curve

An elliptic curve has good reduction at a finite place when its reduced minimal Weierstrass equation is nonsingular, equivalently when its minimal discriminant has valuation zero.