#8829: Saturation for curves over number fields.
-------------------------------+--------------------------------------------
Reporter: robertwb | Owner: cremona
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.4.1
Component: elliptic curves | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-------------------------------+--------------------------------------------
Comment(by cremona):
I have had a quick look and will go through this in more detail later
(after #8828 is completed, probably). I spent a long time on my C++
implementation of this (over QQ but the algorithm is general) so am quite
familiar with the details.
Here are two references you should give: [1] S. Siksek "Infinite descent
on elliptic curves", Rocky Mountain J of M, Vol 25 No. 4 (1995),
1501-1538. [2] M. Prickett, "Saturation of Mordell-Weil groups of
elliptic curves over number fields", U of Nottingham PhD thesis (2004),
http://etheses.nottingham.ac.uk/52/.
Martin Prickett implemented this in Magma, but the code was very slow and
hard to read so it never got incorporated into Magma releases.
Incidentally, it was for this that I implemented group structure for
curves over GF(q) in the first place! In my C++ implementation I cache a
lot of the information of this group structure so that when you do
p-saturation for larger and larger p, the structures are already there. A
good example is to take one of those curves of very high rank: I think I
once successfully p-saturated the rank 24 curve at all p < {{{10^6}}}
(the bound was totally out of reach, something like {{{10^100}}}).
Another point which might be useful over number fields: it suffices to
use degree one primes to reduce modulo.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8829#comment:2>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
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.
