Hi everyone, Thierry:
*+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. * It seems, this is then a good motivation to push this idea forward. :) John: *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). * Good point. However, I thought that the attribute `is_exact` allows exactly this: representing an object which is mathematically a field (for example) but approximately implemented. Perhaps, I just got it wrong? Thierry: * 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. * I am not shocked either. The symbolic ring for example isn't a field either but treated as one for convenience. If we want to go this way, we have to be very strict all over. * 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. * If we want to separate pseudo-fields from fields: what about introducing a new category "Pseudo-Fields"? Then you can check for these algorithms whether the corresponding "bunch of numbers" is a pseudo-ring or not. *I like the idea that the genuine fields/rings have 2 letters as many people use in their LaTeX newcommands : ZZ, QQ, AA, RR, CC and their approximations use 3 letters RFF, RBF, RIF, ... (could be RFN, RBN, RIN, or similar). * Big +1! Best, Michael -- 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/9ad6b7ca-1a91-4753-8b43-a8f939e98ebdn%40googlegroups.com.
