Division polynomials (source code)

= Division polynomials
{title2=$\psi_n$}
{wiki}

= Division polynomial of an elliptic curve
{synonym}

= Division polynomials of an elliptic curve
{synonym}

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.