#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 mmezzarobba):
Replying to [comment:6 mmezzarobba]:
> `1.0e-20` should be preparsed to something else than an element of `RR`!
To clarify, I don't really care whether `Reals(200)(1.0e-20)` yields
`1.0000000000000000000000000000000000000000000000000000000000e-20` or
`9.9999999999999994515327145420957165172950370278739244710772e-21`. I find
`RealLiteral`s confusing, but the way `Reals(200)(1.0e-20)` works is not a
bug by itself.
The way `Reals(200)(RR(1.0e-20))` works is a more serious problem,
however. In other words, unless we simply get rid of `RealLiteral`s (as
Paul just suggested on sage-devel), they should be elements of some ad hoc
that coerces into real fields (or perhaps even of `QQ`), not of real
fields themselves!
--
Ticket URL: <http://trac.sagemath.org/ticket/15542#comment:10>
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.
