Le ven. 16 oct. 2020 à 07:50, Vincent Delecroix: > > I agree that these are not fields in the mathematical sense. And Sage > knows about it > > sage: RR.is_exact() > False > sage: QQ.is_exact() > True > > However, they are much more than sets as they come with approximations > of the field operations (+, x, ^-1). Maybe a reasonable terminology > would be "numerical field"? And in this regard, RealFloatingPointField > perfectly make sense. I am against RealFloats.
I like your suggestions. I liked the shortness of RealFloats, but I'm not strongly attached to it. -- 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/CAEcArF2EXURmwUESOEmj_BCQruaOoUo9uzfYoCpUOUzXJm3-Ww%40mail.gmail.com.