Changes between Version 1 and Version 3 of Ticket #31878


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

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31878

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

    v1 v3  
    11(from discussion in https://trac.sagemath.org/ticket/30832#comment:14)
    22
    3 We 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.
     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` and `RealSet`.
    44
    5 Likewise, arbitrary finite unions of intervals become instances of a subclass of ManifoldSubset+RealSet.
     5Likewise, arbitrary finite unions of intervals become instances of a subclass of `ManifoldSubset` and `RealSet`.
    66
     7Compared to `ManifoldSubset`, the methods `union` and `intersection` are replaced by a more specific implementation.
    78
    89`OpenInterval` and `RealLine` will no longer be classes, only constructors.
     
    1415
    1516
     17Some API changes to consider:
     18 - constructor `RealSets.point` clashes `Manifold.point`, could replace by `RealSets.singleton`.
     19 - deprecate `OpenInterval.upper_bound`, `OpenInterval.lower_bound`