Context Navigation

Changes between Version 2 and Version 3 of Ticket #11506, comment 58

v2	v3
16	16	* Deprecate `RR`, `Reals()`, and `RealField()` (`Reals(p)`, `RealField(p)` can probably stay). Replace `RR` by `RFP`.
17	17	* Make it clear in the documentation that these parents represent sets of floating-point numbers—particular subsets of the dyadic rationals, augmented with special values such as ±∞ and equipped with well-defined, if peculiar, operations—, not the field of real numbers.
18		* While we're at it, deprecate `RIF` and `RealIntervalField`. Rename them to something like `IF` (a common notation in interval analysis) and `RealFloatingPointIntervals`.
	18	* While we're at it, deprecate `RIF` and `RealIntervalField`. Rename them to something like `IR` (a common notation in interval analysis) and `RealFloatingPointIntervals`.
19	19	* Stop pretending any of these are fields (or even semigroups). Perhaps introduce a category of "approximate fields" (for lack of a better name).
20	20	* After the deprecation period, consider making `RR` and `Reals` refer to/return `RLF` (or perhaps some new implementation that better models the "true" reals).