Is there a web site where one can look up a Weierstrass equation, by discriminant say, or coefficients of some readily derivable "standard" form, and find the rank of its solutions over Q neatly listed, along with a set of generators and torsion group?

After several web searches, the nearest I’ve come is the Cremona Tables. But they list by conductor, whatever that is, and there seems no obvious way for an amateur such as myself to translate the data on that site into a form usable for the above mentioned purpose.

Failing that, I’d be content with an eay to use Mathematica or Sage package to achieve this, with idiot-proof instructions.

Right now, I’m especially interested in the equation $ x^2 + x (x + 1)^2 = y^2 $, which obviously has some rational solutions, and I’m pretty sure has positive rank over Q.

But the answer for that specific equation, although useful at present, obviously won’t help with others that may interest me in future – "Teach a man to fish" and all that ..

P.S. If the Cremona Tables can easily be used to look up equations such as the example above, I’d very much appreciate a simple walkthrough, using the above as an example, and I think others would also find this useful.

MathOverflow Asked by John R Ramsden on February 5, 2021

4 AnswersThis is a very old question, and although the old answers are okay, there's now a great source to get information about specific elliptic curves, with multiples ways to search. This includes Cremona's tables, vastly extended. It's the L-Series and Modular Forms Database (LMFDB).

Answered by Joe Silverman on February 5, 2021

An alternative to Sage is Pari-GP. You initialize the curve with the vector $[a_1,a_2,a_3,a_4,a_6]$ such that $$ y^2 + a_1xy + a_3y = x^2 + a_2x^2+a_4x +a_6 $$ it identifies it in Cremona's Database giving directly it's name in the database, the minimal model, the generators of the free part in the minimal model and the change of variable to obtain it:

```
E = ellinit( [0,0,3,1,0] ); ellidentify(E)
[["40a3", [0, 0, 0, -2, 1], []], [1, -1, 0, 0]]
```

meaning that the Cremona name is 40a3, it's minimal model is $[0,0,0,-2,1]$ that is: $$ Y^2 = X^3 -2X +1 $$ the $mathtt{[]}$ meaning the rank is zero and finally that you obtain the minimal model making the change of variable $$(x,y) = (u^2 X + r, u^3Y+s u^2 X+r)$$ in this case: $(u,v,r,s) = [1,-1,-0,0]$ that is: $x = X-1, y = Y$.

Answered by Esteban Crespi on February 5, 2021

Here's how to this in Sage:

```
sage: var('x,y')
(x, y)
sage: E = EllipticCurve(y^2 == x^2 + x*(x+1)^2); E
Elliptic Curve defined by y^2 = x^3 + 3*x^2 + x over Rational Field
sage: E.rank()
0
sage: E.conductor()
40
sage: E.gens()
[]
sage: E.torsion_points()
[(-1 : -1 : 1), (-1 : 1 : 1), (0 : 0 : 1), (0 : 1 : 0)]
```

or see the published worksheet.

If you had wanted to use Cremona's tables, you would *have* use some software (or by hand) to find the unique minimal Weierstrass model for your curve with $a_1,a_3 in {0,1}$ and $a_2in {0,-1,1}$, then look up that equation in his tables (some of the tables have the equations for curves in this form in the first column).

```
sage: E.minimal_model().a_invariants()
(0, 0, 0, -2, 1)
```

You can also look at my database by conductor (way more curves) or possibly this testing database. Lookup by equation isn't supported in my database yet.

By the way, in Sage, type EllipticCurve? for lots of help or see the documentation and also the documentation on databases.

Answered by William Stein on February 5, 2021

Sage has excellent documentation (short and long), and can be used online. I first used Sage when trying to find the rational points on a specific elliptic curve. It took me less than an hour to:

- find the website
- find and read the relevant instructions on the website
- write my first Sage notebook on the website
- find out the answer to my original question

Needless to say I learned much more during that short time than finding the answer. So why don't you go ahead and try Sage here. BTW Sage code for your problem was supplied on MO several times (look for user William Stein!). Also, you might find this link useful.

Answered by GH from MO on February 5, 2021

1 Asked on November 9, 2021

1 Asked on November 7, 2021 by david-towers

1 Asked on November 7, 2021 by sunxd

directed graphs graph theory oc optimization and control st statistics

0 Asked on November 7, 2021

1 Asked on November 7, 2021 by jcgoran

1 Asked on November 7, 2021

convex analysis pr probability real analysis stochastic calculus stochastic processes

0 Asked on November 7, 2021 by heng

1 Asked on November 7, 2021 by o-thanh-oai

complex geometry euclidean geometry mg metric geometry plane geometry reference request

1 Asked on November 7, 2021

2 Asked on November 7, 2021 by xin-zhang

co combinatorics graph drawing graph theory gt geometric topology planar graphs

1 Asked on November 7, 2021 by isingx

10 Asked on November 3, 2021

2 Asked on November 3, 2021 by asrxiiviii

algebraic number theory nt number theory p adic valuation theory

0 Asked on November 3, 2021 by lemon314

1 Asked on November 3, 2021 by simon-parker

1 Asked on November 3, 2021 by randommathuser

1 Asked on November 3, 2021 by user41650

1 Asked on November 3, 2021 by kiddo

algebraic number theory analytic number theory automorphic forms modular forms rt representation theory

0 Asked on November 3, 2021 by stanley-yao-xiao

1 Asked on November 3, 2021 by dragon-lala-lalo

Get help from others!

Recent Questions

- MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- How do i draw a ray in unity
- How to test consistency of responses?
- How can I understand these variograms?

Recent Answers

- eric_kernfeld on How to test consistency of responses?
- Philipp on How do i draw a ray in unity
- Justin Markwell on Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- DMGregory on MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- kjetil b halvorsen on How to test consistency of responses?

© 2022 AnswerBun.com. All rights reserved.