#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 cremona):

 Paul, thanks.  I trust your knowledge of binary floating point issues as
 being much better than my own.  Are you saying that even with your patch
 the termination condition may never hold and hence we loop forever?

 Bearing in mind that I already doubled the precision (prec2 = 2*prec)
 should we perhaps change {{{1-2^(-prec2)}}} to {{{ 1-2^(-prec2+1)}}}?  If
 that would mean that termination is then guaranteed?

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