Ask Your Question
0

Elliptic curve from Weierstrass form to minimal form

asked 2016-09-26 03:52:05 +0100

Sha gravatar image

I used PARI code ellglobalreduce and ellchangecurve to change my Elliptic curve : y^2=x^3-3267x+45630 to the minimal form. Can I do that with SAGE?

edit retag flag offensive close merge delete

2 Answers

Sort by ยป oldest newest most voted
3

answered 2016-09-27 09:21:38 +0100

John Cremona gravatar image

Sage can give you the isomorphism too, in a separate operation:

sage: E=EllipticCurve([-3267,45630]); E
  Elliptic Curve defined by y^2 = x^3 - 3267*x + 45630 over Rational Field
sage: Emin = E.minimal_model(); Emin
  Elliptic Curve defined by y^2 + x*y = x^3 + x^2 - 2*x over Rational Field
sage: T = E.isomorphism_to(Emin); T
  Generic morphism:
    From: Abelian group of points on Elliptic Curve defined by y^2 = x^3 - 3267*x + 45630 over Rational Field
    To:   Abelian group of points on Elliptic Curve defined by y^2 + x*y = x^3 + x^2 - 2*x over Rational Field
    Via:  (u,r,s,t) = (6, 15, 3, 0)
edit flag offensive delete link more

Comments

Then this object T can be used, for example to map points from one curve to the other,

John Cremona gravatar imageJohn Cremona ( 2016-09-27 09:22:23 +0100 )edit

@john Thank you so much. It is great to know SAGE can do this as well.

Sha gravatar imageSha ( 2016-09-30 11:35:10 +0100 )edit
1

answered 2016-09-26 09:42:58 +0100

B r u n o gravatar image

updated 2016-09-26 09:43:16 +0100

Does E.minimal_model() compute what you need (where E is your curve)?

edit flag offensive delete link more

Comments

Yes it does. Thank you so much! But in my opinion PARI does a better job as it gives the map as well in terms of [u,r,s,t]. Anyway thanks.

Sha gravatar imageSha ( 2016-09-27 02:22:21 +0100 )edit

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: 2016-09-26 03:52:05 +0100

Seen: 770 times

Last updated: Sep 27 '16