division_polynomial with integer coefficients?!
Hi, I would like to get a Division-polynomial for an elliptic curve. The curve is
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?