Changes between Version 43 and Version 47 of Ticket #24456


Ignore:
Timestamp:
01/10/18 10:31:13 (4 years ago)
Author:
jdemeyer
Comment:

Replying to vdelecroix:

I meant the genuine real field that we are trying to design.

OK, so what would it mean for a Python object (representing the real field) to "contain a class factory"? Do you want something like

sage: R = RealField()
sage: R.create(prec=53, implementation="mpfr")
Real Floating-point field with 53 bits of precision

or maybe

sage: R = RealField()
sage: R(prec=53, implementation="mpfr")
Real Floating-point field with 53 bits of precision

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #24456 – Description

    v43 v47  
    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).
    1010
    11 3. As a pointers to all real field implementations (exact subrings and non-exact approximations). In particular it [what ???] should contain a class factory for all concrete real fields (e.g. the `create_RealField` function that is currently used for non-exact approximations).
     113. As a class factory for all concrete real fields (e.g. the `create_RealField` function that is currently used for non-exact approximations).