Hi, On Thu, Oct 15, 2020 at 01:21:06AM -0700, John Cremona wrote: > I was expecting someone more pedantic than me to point out that this set is > not a field in the mathematical sense. Since this is a big change anyway > (at least to a lot of doctest outputs) should we think more carefully about > what we want to call RR? Instead of "Real floating-point field with x > bits of precision" we could have "Real floating-point numbers with x bits > of precision" perhaps. (With an implied "The set of" in front).
I hope i am not that pedantic, but this has been discussed 6 years ago when i was asked to provide more details on the proposal of having a genuine real field in Sage: https://trac.sagemath.org/ticket/17713#comment:3 However, i am currently not that shocked with the word "field", as there are some notions of "pseudo fields" (perhaps even "quasi field"), where axioms are satisfied for most tuples, though i would like Sage to know which objects are genuine fields, and which objects are pseudo-fields. Note also that in some algoritms, there are choices that depends on whether the parent is a (pseudo-)field or not, now i am not sure that considering such parents ony as a bunch of numbers is enough, even for the user. Perhaps "Real floating-point pseudofield with x bits of precision" ? Ciao, Thierry > > John > > On Thursday, October 15, 2020 at 9:04:55 AM UTC+1 Kwankyu Lee wrote: > > > +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. > >> > > > > I wonder if there is a real prospect that the genuine real field is ever > > implemented. If not, then we lose the name RealField for good... > > > > > > > > -- > 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/2fd10f7c-4e65-4800-b32f-e7b208ad63cbn%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/20201015104504.5uv7btpcqyrss5gg%40metelu.net.
