#10590: Saturation of elliptic curve points can cause an infinite loop
-------------------------------+--------------------------------------------
   Reporter:  cremona          |       Owner:  cremona     
       Type:  defect           |      Status:  needs_review
   Priority:  major            |   Milestone:  sage-4.6.2  
  Component:  elliptic curves  |    Keywords:  saturation  
     Author:  John Cremona     |    Upstream:  N/A         
   Reviewer:  Robert Miller    |      Merged:              
Work_issues:                   |  
-------------------------------+--------------------------------------------

Comment(by cremona):

 It's a very good idea to have verbose=True cause output of precision
 changes.

 Testing hints:  it's no good giving input which is already saturated since
 eclib will prove saturation without using any floating point arithmetic at
 all.  You need to give unsaturated input, and there is no need to have
 rank>1 to exercise the precision code, so loop through the (extended)
 database, pick rank one curves E with generator P and run
 E.saturate([k*P]) for small k>1.

 OK, so I should do this.

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