#5153: bug in simon_two_descent  for elliptic curves
-------------------------------+--------------------------------------------
   Reporter:  was              |       Owner:            
       Type:  defect           |      Status:  new       
   Priority:  major            |   Milestone:  sage-4.3.2
  Component:  elliptic curves  |    Keywords:            
     Author:                   |    Upstream:  N/A       
   Reviewer:                   |      Merged:            
Work_issues:                   |  
-------------------------------+--------------------------------------------

Comment(by nbruin):

 Replying to [comment:6 was]:
 > Another excellent trick I learned from Cremona for getting independence
 is to use *homomorphic images*.  I.e., reduce to a direct sum of groups of
 points over a finite field (all tensored with F_p, with p coprime to
 torsion).  Then the rank of the group you have is a bounded below by the
 dimension of the image.

 And those same images can also yield information on p-saturation of the
 group generated by the given points inside the Mordell-Weil group
 (just as an independence proof via 2-Selmer groups also gives
 2-saturation)
 This starts to sound like a nice student project.

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