Hi! On 2017-05-08, Thierry <sage-googlesu...@lma.metelu.net> wrote: > On Mon, May 08, 2017 at 12:01:20PM -0700, Volker Braun wrote: > The behaviour of this example comes from the fact that at this point 0.1 > is still a RealLiteral (hence kind of exact until it gets a precision),
Is it? I thought 0.1 is not exact, whereas 1/10 is. And indeed one gets this: sage: RLF(0.1) 0.10000000000000001? sage: RLF(1/10) 0.10000000000000000? > RDF(0.1) is not exact, so i do not see how could RLF be. ... and apparently 0.1 is not exact either, so, how could RLF(0.1) be? Best regards, Simon -- 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.