I am beginning to think that more ball/interval arithmetic should be involved here, in particular as dealing with RealField is not much faster than RealBallField with the same precision, yet allows a degree of control over the error propagation. (and perhaps the default 53 bits out to be bumped up to something more appropriate for the hardware in 2023).
If one wants fast floats, then RDFs may be used. Dima On Mon, 17 Apr 2023, 17:05 Nils Bruin, <nbr...@sfu.ca> wrote: > On Monday, 17 April 2023 at 05:04:00 UTC-7 Emmanuel Briand wrote: > > Real literals are created in preparsing and provide a way to allow casting > into higher precision rings. > > Shouldn't RR(11/10) have the same fate? > > No, because RR(11/10) is not a literal. In principle 11/10 could be a > "rational literal" but we don't have that in sage: rational numbers have no > benefit. By the time you apply a conversion to it (and in this case the > conversion needs to do something!) it's definitely not a literal any more. > > If you want a "real number" 11/10 that has these kinds of exact > properties, RealLazyField()(11/10) is probably the way to go, but that > field will have quite a different performance profile than RR does. > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/d9bbb936-36ad-4466-9852-712236ec46dfn%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/d9bbb936-36ad-4466-9852-712236ec46dfn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq2zvkjHvqB2ioEphf-tmfJDoazdFHsQ_Qi-psgwxngbQw%40mail.gmail.com.
