Definition (Integral / minimal Weierstrass equation). A Weierstrass equation for E with coefficients a1,,a6K is integral if a1,,a6OK and minimal if v(Δ) is minimal among all integral Weierstrass equations for E.