Ask Your Question

division_polynomial with integer coefficients?!

asked 2014-08-25 17:55:29 +0200

pittersen gravatar image

updated 2015-01-13 21:02:18 +0200

FrédéricC gravatar image

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?

edit retag flag offensive close merge delete


What is the meaning of normalized ?

FrédéricC gravatar imageFrédéricC ( 2014-08-25 18:55:23 +0200 )edit

1 Answer

Sort by » oldest newest most voted

answered 2016-09-27 14:16:07 +0200

John Cremona gravatar image

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.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2014-08-25 17:55:29 +0200

Seen: 519 times

Last updated: Sep 27 '16