Changes between Version 47 and Version 50 of Ticket #24456


Ignore:
Timestamp:
01/11/18 19:42:21 (4 years ago)
Author:
vdelecroix
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #24456 – Description

    v47 v50  
    55Use cases for this new "real field" object:
    66
    7 1. As some placeholder object to denote the field of real numbers, for example as output of `QQ.completion(oo)`. This implies that it should be a unique object.
     71. As some placeholder object to denote the field of real numbers, for example as output of `QQ.completion(oo)`, for domain/codomain of symbolic functions, in manifolds, etc. This implies that it should be a unique object.
    88
    992. As a Sage analogy to [https://www.python.org/dev/peps/pep-3141/ PEP 3141]: it should provide a way to ask "is `x` a real number" or "is `X` a substructure of the reals" or maybe "does parent `X` represent the real numbers". Also, we should be able to ask "is `x` an ''exact'' or ''approximate'' real number". Note that Sage already has partial support for PEP 3141 but only for elements (not parents).