# division_polynomial with integer coefficients?! Hi, I would like to get a Division-polynomial for an elliptic curve. The curve is

E=EllipticCurve(CC,[-35/4,-49/4])


I used the commands

E3 = E.change_ring(QQbar)
p = E3.division_polynomial(3, two_torsion_multiplicity=0)


and I obtained

3*x^4 - 105/2*x^2 - 147*x - 1225/16


Is there a way to get a division-polynomial which has integer coefficients and which is normalized?

edit retag close merge delete

Sort by » oldest newest most voted

The division polynomial does not depend on the base field so it would be more efficient to compute it from the original E rather than its base change to QQbar. You can always find the roots of the polynomial in QQbar later. It is also strange that you first defined the curve over CC since it has rational coefficients, but we do not know what you were planning to do.

Once you have a polynomial with coefficients in QQ you can scale it how you like, so this is not really a question about elliptic curves.

more