Changes between Version 47 and Version 50 of Ticket #24456
 Timestamp:
 01/11/18 19:42:21 (4 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #24456 – Description
v47 v50 5 5 Use cases for this new "real field" object: 6 6 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.7 1. 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. 8 8 9 9 2. As a Sage analogy to [https://www.python.org/dev/peps/pep3141/ 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).