Opened 13 months ago

Last modified 2 months ago

#31741 new enhancement


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:

Status badges


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 mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5

comment:2 Changed 5 months ago by mkoeppe

  • Milestone changed from sage-9.5 to sage-9.6

comment:3 Changed 2 months ago by mkoeppe

  • Milestone changed from sage-9.6 to sage-9.7
Note: See TracTickets for help on using tickets.