Division polynomials