Changes between Initial Version and Version 1 of Ticket #31878


Ignore:
Timestamp:
May 30, 2021, 7:16:08 PM (16 months ago)
Author:
Matthias Köppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31878

    • Property Summary changed from OpenInterval(-oo, oo) vs RealLine() to Replace OpenInterval, RealLine instances by an instance of a subclass of DifferentiableManifold+RealSet
  • Ticket #31878 – Description

    initial v1  
    1 From https://trac.sagemath.org/ticket/30830#comment:18:
     1(from discussion in https://trac.sagemath.org/ticket/30832#comment:14)
     2
     3We represent open intervals and the real line, when they are to be considered as manifold objects, as an instance of a subclass of DifferentiableManifold+RealSet.
     4
     5Likewise, arbitrary finite unions of intervals become instances of a subclass of ManifoldSubset+RealSet.
     6
     7
     8`OpenInterval` and `RealLine` will no longer be classes, only constructors.
     9
     10
     11This will also solve https://trac.sagemath.org/ticket/30830#comment:18:
    212
    313`OpenInterval` should silently return a `RealLine` instance if `lower == minus_infinity` and `upper == infinity`.
     14
     15