Sage: Ticket #27015: bugs in integral_points for elliptic curves over QQ
https://trac.sagemath.org/ticket/27015
<p>
The code for computing all integral points on elliptic curves over QQ has bugs, some due to incorrect formulas in the literature. For example:
</p>
<pre class="wiki">sage: E = EllipticCurve('2082a1')
sage: E.integral_points()
[(-11 : 29 : 1), (-2 : 29 : 1), (4 : 11 : 1), (13 : 29 : 1)]
sage: E([507525709, 11433453531221, 1])
(507525709 : 11433453531221 : 1)
</pre><p>
This curve has rank 1 and trivial torsion, generator P=(13,-43) and the integral points are k*P for k=1,2,3,4 and 13 (and their negatives). We miss 13*P because the upper bound computed is only 12 (as seen with verbose=True).
</p>
<p>
<a class="needs_work ticket" href="https://trac.sagemath.org/ticket/10973" title="enhancement: Integral points on elliptic curves over number fields (needs_work)">#10973</a> implements integral points on elliptic curves over arbitrary number fields, and also provides a fix for this bug since it work over QQ (the branch at <a class="needs_work ticket" href="https://trac.sagemath.org/ticket/10973" title="enhancement: Integral points on elliptic curves over number fields (needs_work)">#10973</a> has the integral_points() method over QQ call the general one). However the code there is slow over QQ (and relies on some incorrect though published assumptions). Hence there is a case for fixing the bugs over QQ independently of the general implementation, and that will be done here.
</p>
en-usSagehttps://trac.sagemath.org/chrome/site/logo_sagemath_trac.png
https://trac.sagemath.org/ticket/27015
Trac 1.1.6cremonaFri, 04 Jan 2019 17:46:42 GMT
https://trac.sagemath.org/ticket/27015#comment:1
https://trac.sagemath.org/ticket/27015#comment:1
<p>
The complete list of missed points with Sage 8.5, for curves in database_cremona_ellcurve (i.e. all curves of conductor<400000) is: 12 points on 11 curves:
</p>
<blockquote>
<p>
1701d1, 1848f1, 2082a1, 3510n1, 6514b1, 177211a1, 23808e1, 268740c1, 285928a1, 66432f1, 92554e1,
</p>
</blockquote>
<p>
missing 1 point in each case except 2 points on 1848f1.
</p>
TicketembrayMon, 25 Mar 2019 10:56:15 GMTmilestone changed
https://trac.sagemath.org/ticket/27015#comment:2
https://trac.sagemath.org/ticket/27015#comment:2
<ul>
<li><strong>milestone</strong>
changed from <em>sage-8.7</em> to <em>sage-8.8</em>
</li>
</ul>
<p>
Ticket retargeted after milestone closed (if you don't believe this ticket is appropriate for the Sage 8.8 release please retarget manually)
</p>
TicketembrayFri, 14 Jun 2019 14:54:19 GMTmilestone deleted
https://trac.sagemath.org/ticket/27015#comment:3
https://trac.sagemath.org/ticket/27015#comment:3
<ul>
<li><strong>milestone</strong>
<em>sage-8.8</em> deleted
</li>
</ul>
<p>
As the Sage-8.8 release milestone is pending, we should delete the sage-8.8 milestone for tickets that are not actively being worked on or that still require significant work to move forward. If you feel that this ticket should be included in the next Sage release at the soonest please set its milestone to the next release milestone (sage-8.9).
</p>
Ticket