Opened 6 months ago

Last modified 3 months ago

#31741 new enhancement

ManifoldSubset.separating_open_supersets

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-9.5
Component: manifolds Keywords:
Cc: egourgoulhon, gh-mjungmath, tscrim Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

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 (1)

comment:1 Changed 3 months ago by mkoeppe

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