#16456: Bug in descend_to method for elliptic curves
-------------------------------------+-------------------------------------
       Reporter:  cremona            |        Owner:  cremona
           Type:  defect             |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.3
      Component:  elliptic curves    |   Resolution:
       Keywords:  elliptic curve     |    Merged in:
  base change                        |    Reviewers:
        Authors:  John Cremona       |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  9b0a5d98c44957ef2aaed72b9f9af5389a4c2d41
  u/cremona/bug_in_descend_to_method_for_elliptic_curves|     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------
Changes (by {'newvalue': u'John Cremona', 'oldvalue': ''}):

 * status:  new => needs_review
 * commit:   => 9b0a5d98c44957ef2aaed72b9f9af5389a4c2d41
 * author:   => John Cremona


Comment:

 Ready for review.  Note that there are two separate things here (which
 perhaps should have been in separate tickets):

 Up till the last commit the changes are in in number fields (including
 QQ), not touching elliptic curves, implementing the function
 descend_mod_power for number field elements and enhancing the selmer_group
 with selmer_group_iterator for ease of use.  (Also correcting the
 documentation for selmer_group).

 The last commit does what the ticket wanted, namely to re-implement the
 descend_to function for elliptic curves.  Apart from trivial cases this
 will only work over number fields.  It would work over any other field
 where descend_mod_power could be implemented such as finite fields, but
 note that in characteristics 2 and 3 the function would need to have a
 completely different implementation.
 ----
 New commits:
 
||[http://git.sagemath.org/sage.git/commit/?id=04c1c45be771c1d1bcc8ad48bbce2c94feeee6eb
 04c1c45]||{{{Enhanced number field selmer group capabilities by adding an
 iterator}}}||
 
||[http://git.sagemath.org/sage.git/commit/?id=9b0a5d98c44957ef2aaed72b9f9af5389a4c2d41
 9b0a5d9]||{{{#16456: fix bugs in elliptic curve descend_to function}}}||

--
Ticket URL: <http://trac.sagemath.org/ticket/16456#comment:5>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to