id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
10152 bug in integral_points (for elliptic curves over Q) cremona cremona "{{{
sage: E = EllipticCurve('2082a1')
sage: [P[0] for P in E.integral_points()]
[-11, -2, 4, 13]
}}}
but
{{{
sage: E.lift_x(507525709)
(507525709 : 11433453531221 : 1)
}}}
so we miss one point. Note that this point is 13*P where P is the generator, and our code computes the bound to be 12.
John Cannon is sending me a complete list of integral points for all curves in the Cremona database, computed using Magma, using some recent enhancements. Previously I had checked that Sage and Magma agreed to conductor 10000, so their enhancements must also fix bugs.
{{{
Magma V2.15-15 Thu Oct 21 2010 20:56:33 on John-laptop [Seed = 2704111428]
Type ? for help. Type -D to quit.
Loading startup file ""/home/john/magma/Startup/startup.m""
> E:=EllipticCurve([1,0,1,-118,584]);
> IntegralPoints(E);
[ (13 : 29 : 1), (4 : 11 : 1), (-11 : 29 : 1), (-2 : -28 : 1), (507525709 : -11433961056931
: 1) ]
[
[ <(13 : 29 : 1), 1> ],
[ <(13 : 29 : 1), 2> ],
[ <(13 : 29 : 1), 3> ],
[ <(13 : 29 : 1), 4> ],
[ <(13 : 29 : 1), 13> ]
]
19
}}}
" defect closed major sage-duplicate/invalid/wontfix elliptic curves duplicate integral points sd32 gaganskehon weigandt William Stein N/A