[sage-devel] Re: "Real Field" -> "Real Floating-point Field"

2020-10-14 Thread Thierry Dumont
Le 14/10/2020 à 20:48, Matthias Koeppe a écrit : > On Tuesday, October 13, 2020 at 11:28:08 PM UTC-7, vdelecroix wrote: > > I would like to discuss the patchbomb at > >     https://trac.sagemath.org/ticket/24523 > > > The ticket hopes to

[sage-devel] Re: "Real Field" -> "Real Floating-point Field"

2020-10-14 Thread 'Travis Scrimshaw' via sage-devel
> > > 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". > > +1 -- You received this mes

[sage-devel] Re: "Real Field" -> "Real Floating-point Field"

2020-10-14 Thread Matthias Koeppe
On Tuesday, October 13, 2020 at 11:28:08 PM UTC-7, vdelecroix wrote: > > 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

Re: [sage-devel] Re: "Real Field" -> "Real Floating-point Field"

2020-10-14 Thread Thierry
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 wrot

[sage-devel] Re: [sage-release] zenodo (DOI) for Sage releases is back!

2020-10-14 Thread Samuel Lelièvre
Added to the Sage 9.1 Release Tour. Le mar. 6 oct. 2020 à 22:46, Dima Pasechnik a écrit : > > We've recovered the settings for getting DOI for Sage releases via > zenodo, something that was broken for years. > cf https://zenodo.org/record/4066866 > and this is DOI for Sage 9.1: https://doi.org/1

[sage-devel] Re: "Real Field" -> "Real Floating-point Field"

2020-10-14 Thread Michael Jung
+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 "

Re: [sage-devel] Re: "Real Field" -> "Real Floating-point Field"

2020-10-14 Thread Samuel Lelievre
+1 -- 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/m

Re: [sage-devel] Re: "Real Field" -> "Real Floating-point Field"

2020-10-14 Thread Dima Pasechnik
good idea, +1 On Wed, 14 Oct 2020, 08:17 Eric Gourgoulhon, 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

[sage-devel] Re: "Real Field" -> "Real Floating-point Field"

2020-10-14 Thread Eric Gourgoulhon
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 precisio

[sage-devel] Re: "Real Field" -> "Real Floating-point Field"

2020-10-14 Thread Emmanuel Charpentier
Seconded. I can see a role for some Sage representation of the (mathematical) set of reals (or complexes, BTW), well distinct from the set of finite binary approximations. Some of the Sympy operations on Sympy sets may be an inspiration HTH, Le mercredi 14 octobre 2020 à 08:28:08 UTC+2, vd