2y1 +a1x1 +a3 and 3x
21+2a2x1 +a4
−a1y1 do not vanish simultaneously.
The last condition says that an elliptic curve is nonsingular
or smooth . A point on a curve is called singular if both
partial derivatives vanish For shorter reference, coefficients
in (4) are grouped to the equation