#10730: simon_two_descent -- reports points as being independent, but they are 
not
-----------------------------+----------------------------------------------
   Reporter:  was            |       Owner:  davidloeffler
       Type:  defect         |      Status:  new          
   Priority:  minor          |   Milestone:  sage-4.6.2   
  Component:  number fields  |    Keywords:               
     Author:                 |    Upstream:  N/A          
   Reviewer:                 |      Merged:               
Work_issues:                 |  
-----------------------------+----------------------------------------------

Comment(by nbruin):

 Since it's doing a 2-descent the code should be able to guarantee that the
 points returned generate E(k)/2E(k) and should be able to test that the
 points form a basis of E(k)/2E(k) as an F_2-vector space. That's a kind of
 independence ...

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