Timeline for Why is 1331 the only cube of the form $x^2 + x − 1$?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 5, 2022 at 11:44 | comment | added | The Amplitwist | The link to "SAGE documentation" in a comment above points to Elliptic curves over the rational numbers. Just posting this in case the URL shortener ends up breaking in the future. | |
| Jun 10, 2021 at 16:05 | comment | added | Timothy Chow | See also How to compute rational or integer points on elliptic curves. | |
| Jun 10, 2021 at 15:54 | comment | added | Peter LeFanu Lumsdaine | Oh yes, I completely agree this answer is an excellent starting point! | |
| Jun 10, 2021 at 15:50 | comment | added | GH from MO | @PeterLeFanuLumsdaine: I agree. It is more than nothing though, and the algorithms of SAGE are pretty reliable. | |
| Jun 10, 2021 at 15:13 | comment | added | Peter LeFanu Lumsdaine | The question is “What is the proof?” — so “Because the computer says so” seems a slightly unsatisfying answer, on its own. It would be greatly improved by some information about how SAGE computes this, since that’d provide at least a recipe for the proof. In 5 minutes of Googling I wasn’t easily able to work out what algorithm is used — the best I could find was the SAGE documentation and a couple of old MO answers: mathoverflow.net/a/46778/2273, mathoverflow.net/a/42044/2273 | |
| Jun 10, 2021 at 10:35 | history | answered | GH from MO | CC BY-SA 4.0 |