Changes between Version 10 and Version 11 of Ticket #17713
 Timestamp:
 01/10/18 09:59:48 (2 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #17713 – Description
v10 v11 1 1 ''One Ring to rule them all.'' 2 2 3 This task ticket aims at discussing the possibility andways to implement an abstraction of the field of real numbers (resp. complex numbers), as well as its interaction with its representations (algebraic, numerical, symbolic, ...).3 This task ticket aims at discussing and reorganizing the ways to implement an abstraction of the field of real numbers (resp. complex numbers), as well as its interaction with its representations (algebraic, numerical, symbolic, ...). 4 4 5 The current representations of real numbers are listed in #15944. See also [http://trac.sagemath.org/ticket/14567#comment:33 comment:33 in #14567]. 5 The current approximative representations of real numbers (see also #15944) are 6 7  `RealDoubleField()` (`RDF`) using `double` / `ComplexDoubleField()` (`CDF`) 8  `RealField(prec)` (`RR`) using `mpfr_t` / `ComplexField(prec)` (`CC`) 9  `MPComplexField(prec)` using `mpc_t` 10  `RealIntervalField(prec)` (`RIF`) using `mpfi_t` / `ComplexIntervalField(prec)` (`CIF`) 11  `RealBallField(prec)` (`RBF`) using `arb_t` / `ComplexBallField(prec)` (`CBF`) using `acb_t` 12 13 And the exact or symbolic ones 14 15  `RationalField()` (`QQ`) using `mpq_t` 16  `AlgebraicRealField()` (`AA`) / `AlgebraicField()` (`QQbar`) 17  `NumberField(poly)` and `QuadraticField(n)` 18  `SymbolicRing()` (`SR`)  mostly unreliable concering comparison, equality, etc 19 20 See also the discussion in #14567. 6 21 7 22  … … 15 30  #24457: real numbers 16 31 32 === Documentation, tutorials === 33 34  #15944: real number and computers 35 17 36 === Creation of abstract classes === 18 37