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

  * status:  positive_review => needs_work


Comment:

 The new patch only differs from the first one in (new) lines 2115-2118 of
 ell_rational_field.py, in the saturation() method:  before, if the current
 precision was > 100 then the initial working precision was actually
 reduced to 100, which is silly.  Now, if the user has "manually" increased
 precision already, that is used as the starting point.

 I discovered this with an example where precision of 300 was needed (250
 was too small).

 I am switching this to "needs work" and then right away back to "needs
 review".

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