Processing math: 100%
Ask Your Question
2

Symbolic computation of multiples of a point in elliptic curve.

asked 3 years ago

Artatrana gravatar image

updated 3 years ago

FrédéricC gravatar image

Suppose we have an elliptic curve over the rational field E(Q). Let P=(s,t)E(Q) be a point with s,t being symbolic variables. Then we see that nP=(fn1/gn1,fn2/gn2), where fni,gni are polynomials in the variables s,t. In SageMath after defining the curve and the symbolic variables s and t if I write P=E(s,t), it is giving error. I am looking for method by which I can find all these polynomials in the variabls s,t using SageMath.

Preview: (hide)

Comments

Could you please provide your current code so that we could understand the issue ?

tmonteil gravatar imagetmonteil ( 3 years ago )
2

Note that if s,t are symbolic variables, then (s,t) is not a pair of rational numbers, so it does not lie in E(Q). Furthermore, if s,t are just symbolic variables then t2s3+c4s+c6 identically, since they are just independent variables. You'd want to work in a ring or field where you actually have s,t that satisfy the relation required. The function field of E would do.

nbruin gravatar imagenbruin ( 3 years ago )

1 Answer

Sort by » oldest newest most voted
0

answered 3 years ago

Max Alekseyev gravatar image

updated 3 years ago

Here a code that for a given elliptic curve E and an integer n returns polynomials fn1,gn1,fn2,gn2:

def get_poly(E, n):
  P.<s,t> = PolynomialRing(E.base_ring())
  a = E.a_invariants()
  R = P.quotient_ring(t^2 + (a[0]*s + a[2])*t - (s^3 + a[1]*s^2 + a[3]*s + a[4])).fraction_field()
  Q = E.change_ring(R)(s,t) * n
  return Q[0].numerator().lift(), Q[0].denominator().lift(), Q[1].numerator().lift(), Q[1].denominator().lift()

For example, get_poly( EllipticCurve(QQ,[1,2]), 2 ) gives:

(s*t^2 - 3*s^2 - 18*s + 1,  4*t^2,  t^4 + 3*s*t^2 - 9*s^2 + 36*t^2 - 54*s - 109,  8*t^3)
Preview: (hide)
link

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

Stats

Asked: 3 years ago

Seen: 292 times

Last updated: Oct 28 '21