Changes between Version 10 and Version 11 of Ticket #17713


Ignore:
Timestamp:
01/10/18 09:59:48 (2 years ago)
Author:
vdelecroix
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #17713 – Description

    v10 v11  
    11''One Ring to rule them all.''
    22
    3 This task ticket aims at discussing the possibility and 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, ...).
     3This 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, ...).
    44
    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].
     5The 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
     13And 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
     20See also the discussion in #14567.
    621
    722------------------------------------
     
    1530- #24457: real numbers
    1631
     32=== Documentation, tutorials ===
     33
     34- #15944: real number and computers
     35
    1736=== Creation of abstract classes ===
    1837