modernize sage.rings.real_mpfr

[videlec]

The current sage.rings.real_mpfr deals with arbitrary precision floating-point numbers (using mpfr). This is the default "real field" in many places in Sage even though it is often wiser to use intervals or balls. We perform some cosmetic changes to sage.rings.real_mpfr to emphasize the fact that the module deals with floating-point approximations of real numbers and not genuine reals. These modifications touch a lot of files and involve deprecation of widely used names.

See also the introduction of a genuine real field class in #24456 for another motivation.

step 1

• Move create_RealField to real_field.py #24511: move the class factory create_RealField in real_field.py
• Change string representation of RealField #24523: change string representation
• rename RealField/RealNumber #24524:
  • RealField -> RealFloatingPointField_factory
  • RealField_class -> RealFloatingPointField
  • RealNumber -> RealFloatingPoint
• deprecate is_RealNumber, is_AlgebraicNumber, is_RealIntervalFieldElement, ... #24525: deprecate is_RealNumber(x) and is_RealField(x) in favour of isinstance(x, RealFloatingPoint) and isinstance(x, RealFloatingPointField)

step 2

• Deprecate RR and Reals and use RFF (or RFPF?) as the standard name for RealFloatingPointField(53)?
• more documentation.

---

for complex numbers, see #24489.

Component: basic arithmetic

Issue created by migration from https://trac.sagemath.org/ticket/24457

[rwst]

Dependencies: #24456

[rwst]

Author: Ralf Stephan

[rwst]

Changed branch from #24456 to none

[rwst]

comment:2

In real_mpfr.pyx do you mean to rename cpdef RealField(int prec=53,...) or cdef class RealField_class?

[videlec]

Description changed:

--- 
+++ 
@@ -1 +1 @@
-After #24456, `sage.rings.real_field.RealField` will be the parent for the set of real numbers. As a consequence, it would be wise to change the name of `sage.rings.real_mpfr.RealField` to `RealFloatingPointField`.
+After #24456, `sage.rings.real_field.RealField` will be the parent for the set of real numbers. As a consequence, it would be wise to change the name of `RealField`/`RealField_class` in `sage.rings.real_mpfr` to `RealFloatingPointField`/`RealFloatingPointField_class`.

[videlec]

Description changed:

--- 
+++ 
@@ -1 +1,5 @@
-After #24456, `sage.rings.real_field.RealField` will be the parent for the set of real numbers. As a consequence, it would be wise to change the name of `RealField`/`RealField_class` in `sage.rings.real_mpfr` to `RealFloatingPointField`/`RealFloatingPointField_class`.
+After #24456, `sage.rings.real_field.RealField` will be the parent for the set of real numbers. As a consequence, it would be wise to adapt `sage.rings.real_mpfr`
+
+- change the name of `RealField`/`RealField_class` to `RealFloatingPointField`/`RealFloatingPointField_class`
+
+- change the string representation from `Real Field with XX bits of precision` to `Real Floating Point Field with XX bits of precision`

[rwst]

Branch: u/rws/rename_sage_rings_real_mpfr_realfield

[rwst]

comment:6

This commit changes 164 files. Preliminary testing passes in rings and src/doc. There might be subtle errors introduced in the documentation. Let's try the patchbots.

---

New commits:

62d2d21	24456: class for the field of real numbers
71f9fd0	24457: bulk rename RealField --> RealFloatingPointField

[rwst]

Commit: 71f9fd0

[rwst]

comment:7

Ah I forgot the string representation part.