Hi,
RealLazyField() and ComplexLazyField() claim to be exact, but currently
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
Also, the doc explicitely states:
This class represents the set of real numbers to unspecified
precision. For the most part it simply wraps exact e lements and
defers evaluation until a specified precision is requested.
I opened https://trac.sagemath.org/ticket/22960 but i am not sure whether
RLF should stop claiming it is exact or whether we should forbid things
like RLF(0.1), what do you think (the first is easier to implement) ?
Ciao,
Thierry
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
