Division polynomials just a function of x ! [closed]

asked 8 years ago

vishb gravatar image

I evaluated Divison polynomials using

R.<A,B>=PolynomialRing(ZZ)
E = EllipticCurve([A,B])
g = E.division_polynomial(k)

The results i noticed were just function of x , In theory i saw that division polynomials for k even depends on y. In there something I am unable to notice.

For example : E.division_polynomial(k) returned 4*x^3 + 4*A*x + 4*B but theory says it is 2y. From this one can get a intuition that may be we are squaring them.

But E.division_polynomial(8) returned a degree 33 polynomial which means that clearly we are not squaring things.

Preview: (hide)

Closed for the following reason question is not relevant or outdated by vishb
close date 2016-09-11 11:55:37.204704

Comments

Are we replacing y by x2+ax+b everywhere ?

vishb gravatar imagevishb ( 8 years ago )
1

Could you just read the documentation: E.division_polynomial?

FrédéricC gravatar imageFrédéricC ( 8 years ago )