Definition (Integral / minimal Weierstrass equation). A Weierstrass equation for E with coefficients a1,…,a6∈K is integral if a1,…,a6∈OK and minimal if v(Δ) is minimal among all integral Weierstrass equations for E.