#15542: Rounding weirdness when increasing the precision of a real number
----------------------------+----------------------------------------------
       Reporter:            |        Owner:
  mmezzarobba               |       Status:  positive_review
           Type:  defect    |    Milestone:  sage-duplicate/invalid/wontfix
       Priority:  major     |   Resolution:
      Component:            |    Merged in:
  numerical                 |    Reviewers:  Jeroen Demeyer
       Keywords:            |  Work issues:
        Authors:            |       Commit:
Report Upstream:  N/A       |     Stopgaps:
         Branch:            |
   Dependencies:            |
----------------------------+----------------------------------------------

Comment (by zimmerma):

 > At least the behaviour is intentional, so it's by definition not a bug.

 then it should be documented somewhere. Where?

 Also:
 {{{
 sage: a=RealField(53)(1.0e-20)
 sage: a.exact_rational?
 ...
    Returns the exact rational representation of this floating-point
 number.
 }}}
 thus either {{{a}}} is **exactly** {{{10^(-20)}}}, and then
 {{{exact_rational}}} should return that
 value, or it is not, and {{{Reals(200)(a.exact_rational())}}} should
 return {{{6646139978924579/664613997892457936451903530140172288}}}

 Paul

--
Ticket URL: <http://trac.sagemath.org/ticket/15542#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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to