#7576: improvements to the prove_BSD function
-------------------------------+--------------------------------------------
   Reporter:  rlm              |       Owner:  cremona      
       Type:  enhancement      |      Status:  needs_work   
   Priority:  major            |   Milestone:  sage-4.3.1   
  Component:  elliptic curves  |    Keywords:               
Work_issues:                   |      Author:  Robert Miller
   Upstream:  N/A              |    Reviewer:               
     Merged:                   |  
-------------------------------+--------------------------------------------

Comment(by was):

 Copying from Facebook again:
 {{{
 Jamie Weigandt
 I read that Robert has implemented a fast 2-isogeny descent. Can this
 compute the honest 2-Selmer group of a given elliptic curve?

 I thought these bugs might be arising from the fact that mwrank does not
 always do this.

 With 438e, it erroneously computes the rank bound to be 1, while it should
 be 0.

 With 960d the optimal curve has sha of order 4 while sha is trivial for an
 isogenous
 curve, so mwrank returns a rank bound of 0.
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7576#comment:9>
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.


Reply via email to