Division polynomial of an elliptic curve (${\psi }_n$)

The division polynomial ${\psi }_n$ has roots at the nonzero $n$-torsion points of an elliptic curve, with the two points sharing an $x$-coordinate represented by the same root when $n$ is odd.