good idea, +1 On Wed, 14 Oct 2020, 08:17 Eric Gourgoulhon, <egourgoul...@gmail.com> wrote:
> A big +1 from my side. > > Eric. > > Le mercredi 14 octobre 2020 à 08:28:08 UTC+2, vdelecroix a écrit : > >> 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/e2d5c7e3-a311-4ec7-b612-c698f27e10ddn%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/e2d5c7e3-a311-4ec7-b612-c698f27e10ddn%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/CAAWYfq3PNGwt%2B%3Dxv-GXkFK4SjaTzFNfB280WGr%2BRK7yssfdmhQ%40mail.gmail.com.
