Opened 4 years ago

Last modified 4 years ago

#22960 new defect

RealLazyField() and ComplexLazyField() are inexact rings

Reported by: tmonteil Owned by:
Priority: major Milestone: sage-8.0
Component: numerical Keywords:
Cc: Merged in:
Authors: Thierry Monteil Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

RealLazyField() and ComplexLazyField() claim to be exact, but they are not: 

sage: RLF.is_exact()
True
sage: a = RLF(0.1) ; a
0.10000000000000001?
sage: a._value
0.100000000000000
sage: a._value.parent()
Real Field with 53 bits of precision

Change History (1)

comment:1 Changed 4 years ago by tmonteil

Note that the doc of RLF itself claims to be exact. 

    This class represents the set of real numbers to unspecified precision.
    For the most part it simply wraps exact elements and defers evaluation
    until a specified precision is requested.
Note: See TracTickets for help on using tickets.