#11767: elliptic_logarithm of high precision points often hangs forever
-------------------------------+--------------------------------------------
   Reporter:  was              |          Owner:  cremona     
       Type:  defect           |         Status:  needs_review
   Priority:  major            |      Milestone:  sage-4.7.2  
  Component:  elliptic curves  |       Keywords:              
Work_issues:                   |       Upstream:  N/A         
   Reviewer:                   |         Author:              
     Merged:                   |   Dependencies:              
-------------------------------+--------------------------------------------

Comment(by zimmerma):

 John, if you change {{{eps}}} to {{{2^(-prec2+1)}}} instead of
 {{{2^(-prec2)}}} then the case
 where {{{r = 1 - 2^(-prec2)}}} will also terminate with the < condition.
 But the case where
 {{{r = 1 + 2^(-prec2+1)}}} will still loop.

 If the target precision is {{{prec}}} and you compute internally with
 {{{2*prec}}} bits, then
 {{{eps}}} could be {{{2^(-prec)}}}, no?

 Paul

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