ManifoldSubset: Add methods subset_family, superset_family, open_superset_family; deprecate method list_of_subsets

[mkoeppe]

Follow-up from #31718.

This ticket proposes to deprecate list_of_subsets (note - no other methods in sage.manifolds follow this naming scheme) in favor of a new method subset_family, which prints in a more compact way, is hashable, and is sorted by name too.

We also add superset_family (previously the set of supersets was not exposed by a method).

We also add open_superset_family (to complement open_superset added in #31677).

Depends on #31718
Depends on #31677

CC: @egourgoulhon @mjungmath @tscrim

Component: manifolds

Author: Matthias Koeppe

Branch/Commit: 2b47b1b

Reviewer: Eric Gourgoulhon

Issue created by migration from https://trac.sagemath.org/ticket/31727

[mkoeppe]

Branch: u/mkoeppe/manifoldsubset__add_methods_subset_family__superset_family__equal_subset_family__deprecate_method_list_of_subsets

[mkoeppe]

Commit: 52a93f9

[mkoeppe]

Last 10 new commits:

5d87cee	Manifold{Object,Subset}FiniteFamily: Rename from FiniteManifold{Object,Subset}Family
2f2ace2	src/doc/en/reference/manifolds/manifold.rst: Add sage.manifolds.family
1aff58a	Fix up docstring markup
b922066	ManifoldSubsetFiniteFamily: If all subsets are open, include 'open' in repr
30271af	Fixup doctest
adac07a	Merge #31680
78cc27a	ManifoldSubset.open_covers: Change to generator, add optional arg 'trivial'; update uses
e026e7a	ManifoldSubset.subset_digraph: Use open_covers method
3c5555a	Merge #31718
52a93f9	ManifoldSubset.subset_family: New; deprecate .list_of_subsets

[mkoeppe]

Dependencies: #31718

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

f1bc8bc

ManifoldSubset.superset_family: New, use it in doctests

[sagetrac-git]

Changed commit from 52a93f9 to f1bc8bc

[mkoeppe]

Changed dependencies from #31718 to #31718, #31677

[sagetrac-git]

Changed commit from f1bc8bc to 59553f7

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

ef1614a	Refactor Manifold.open_subset methods through new method _init_open_subset
265b0e2	TopologicalManifold._init_open_subset: Add docstring
a93f7ed	TopologicalSubmanifold._init_open_subset: Add docstring
58b43f7	DifferentiableManifold._init_open_subset: Add docstring
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
afe10a0	Merge #31677
cd1fa4d	ManifoldSubset.open_superset_family: New
59553f7	ManifoldSubset.open_cover_family: New

[mkoeppe]

Description changed:

--- 
+++ 
@@ -4,6 +4,5 @@
 
 We also add `superset_family` (previously the set of supersets was not exposed by a method).
 
-We also add `equal_subset_family` - consisting of all subsets that are also supersets (see discussion in #30263).
+We also add `open_superset_family` (to complement `open_superset` added in #31677) and `open_cover_family`.
 
-

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

fc23784

ManifoldSubset.open_cover_family: Fix up docstring

[sagetrac-git]

Changed commit from 59553f7 to fc23784

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

d5127e5

ManifoldSubset.open_cover_family: New

[sagetrac-git]

Changed commit from fc23784 to d5127e5

[mkoeppe]

Description changed:

--- 
+++ 
@@ -4,5 +4,5 @@
 
 We also add `superset_family` (previously the set of supersets was not exposed by a method).
 
-We also add `open_superset_family` (to complement `open_superset` added in #31677) and `open_cover_family`.
+We also add `open_superset_family` (to complement `open_superset` added in #31677).