#4741: [with new patch, needs review (and work too)] Implement S-integral point
finding for elliptic curves over Q
---------------------------+------------------------------------------------
Reporter: cremona | Owner: was
Type: enhancement | Status: new
Priority: major | Milestone: sage-3.2.2
Component: number theory | Resolution:
Keywords: |
---------------------------+------------------------------------------------
Changes (by cremona):
* summary: [with patch, needs work] Implement S-integral point finding
for elliptic curves over Q => [with new patch,
needs review (and work too)] Implement
S-integral point finding for elliptic curves
over Q
Comment:
Various p-adic precision bandaids applied, so that William's loop now runs
up to this one:
sage: EllipticCurve("7690e1").S_integral_points([13,2])
at which point there's an error raised deep in the p-adic code. I can't
deal with that now, so someone will have to make a judgement about whether
this is now "good enough".
Working with p-adics is an acquired skill which I'm not sure I have enough
of -- perhaps we need reinforcements? For example, you cannot just do
E.change_ring(Qp(p,precision)) for E an elliptic curve over Q, since an
error will be raised if the precision is too low (only of p is a prime of
bad reduction I think, so one should be able to work out the necessary
precision).
Tobias and Michael, the try/except I put in around line 5077 of
ell_rational_field.py was not fully thought through, perhaps that is
something you should look into?
trac-4741-padic.patch
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4741#comment:26>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
