Opened 20 months ago
Closed 18 months ago
#31677 closed enhancement (fixed)
Open subsets of arbitrary subsets of manifolds
Reported by:  Matthias Köppe  Owned by:  

Priority:  major  Milestone:  sage9.4 
Component:  manifolds  Keywords:  
Cc:  Michael Jung, Eric Gourgoulhon, Travis Scrimshaw  Merged in:  
Authors:  Matthias Koeppe  Reviewers:  Eric Gourgoulhon 
Report Upstream:  N/A  Work issues:  
Branch:  b35eca1 (Commits, GitHub, GitLab)  Commit:  b35eca14d542d604421cf82de0c24f9287e6b05f 
Dependencies:  #31674  Stopgaps: 
Description (last modified by )
Various places in the code assumed that the elements of the _supersets
attribute of an open set are open, but this is not a guaranteed invariant.
We fix this by updating all loops over supersets that need to make this assumption to use a new generator function ManifoldSubset.open_supersets
.
We also add the method ManifoldSubset.open_subset
. It delegates to its base manifold's open_subset
method, by passing a new optional parameter supersets
to it.
Change History (9)
comment:1 Changed 20 months ago by
Branch:  → u/mkoeppe/opensubsetsofarbitrarysubsets 

comment:2 Changed 20 months ago by
Commit:  → 4e63b3093596f6c21ddd0a9e44b1d29522d593e5 

comment:3 Changed 20 months ago by
Commit:  4e63b3093596f6c21ddd0a9e44b1d29522d593e5 → 5623f497a325d6093f7cbac5a36399a8271869f5 

comment:4 Changed 20 months ago by
Commit:  5623f497a325d6093f7cbac5a36399a8271869f5 → b35eca14d542d604421cf82de0c24f9287e6b05f 

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
d542412  ManifoldSubset.open_supersets: New generator, use it to fix loops that assume open supersets

c821a75  {Topological,...}Manifold.open_subset: New optional parameter supersets

b35eca1  ManifoldSubset.{open_subset,_init_open_subset}: New

comment:5 Changed 20 months ago by
Description:  modified (diff) 

Status:  new → needs_review 
comment:6 Changed 20 months ago by
Status:  needs_review → positive_review 

LGTM. Thanks for this improvement!
comment:7 Changed 20 months ago by
Reviewers:  → Eric Gourgoulhon 

comment:9 Changed 18 months ago by
Branch:  u/mkoeppe/opensubsetsofarbitrarysubsets → b35eca14d542d604421cf82de0c24f9287e6b05f 

Resolution:  → fixed 
Status:  positive_review → closed 
Note: See
TracTickets for help on using
tickets.
Here's the beginning. To complete it, the remaining
open_subset
methods will need updating.New commits:
TopologicalSubmanifold.open_subset: New
TopologicalSubmanifold.open_subset: Fix docstring
{DifferentiableSubmanifold,PseudoRiemannianSubmanifold}.open_subset: New
{Topological,Differentiable,PseudoRiemannianSubmanifold}._repr_: Print subsets as subsets
Add/update examples
Refactor Manifold.open_subset methods through new method _init_open_subset
TopologicalManifold._init_open_subset: Add docstring
WIP