Hi, +1 as well of course. A harder question is whether we are ready to replace the Python names RealField and RR with RealFloatingField and RFF, so that the names RealField and RR could be used for the genuine real field.
Ciao, Thierry On Wed, Oct 14, 2020 at 02:13:29AM -0700, Michael Jung wrote: > +1 from my side, too. > > vdelecroix schrieb am Mittwoch, 14. Oktober 2020 um 08:28:08 UTC+2: > > > Dear all, > > > > I would like to discuss the patchbomb at > > > > https://trac.sagemath.org/ticket/24523 > > > > The ticket hopes to change the string representation from > > "Real Field with XX bits of precision" to "Real Floating-point > > field with XX bits of precision". > > > > Rationale: it was quite unfortunate from the beginning that > > RealField and ComplexField mean "floating-point arithmetic". > > On the one hand, one would like to be able to work with the > > (abstract) Parent modeling the real numbers (eg for coercions). > > On the other hand, in the setting of computer algebra it is > > very often much better to work with interval arithmetic or > > balls rather than floating-point. The ticket is a small > > step towards getting the genuine "RealField" standing for > > the set of real numbers. See > > > > https://trac.sagemath.org/ticket/17713 > > > > I think this deserves an agreement from other developers! Any > > comment very welcome. > > > > Best > > Vincent > > > > > > -- > 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/1478b51e-671d-4fce-902a-bc00bd0f567bn%40googlegroups.com. -- 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/20201014103228.ra2c3vz446q34uxn%40metelu.net.