Opened 13 months ago
Last modified 2 months ago
#31741 new enhancement
ManifoldSubset.separating_open_supersets
Reported by: | mkoeppe | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.7 |
Component: | manifolds | Keywords: | |
Cc: | egourgoulhon, gh-mjungmath, tscrim | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
For a finite family of pairwise disjoint compact subsets, separation theorems guarantee the existence of pairwise disjoint open supersets.
We provide a method that returns these open supersets, at least abstractly. In some cases, for example when the restrictions that define the subsets in a common chart are linear inequalities, more concrete constructions are possible.
Change History (3)
comment:1 Changed 10 months ago by
- Milestone changed from sage-9.4 to sage-9.5
comment:2 Changed 5 months ago by
- Milestone changed from sage-9.5 to sage-9.6
comment:3 Changed 2 months ago by
- Milestone changed from sage-9.6 to sage-9.7
Note: See
TracTickets for help on using
tickets.