ManifoldFiniteSubset

[mkoeppe]

We add a new class that is both a ManifoldObjectFiniteFamily containing ManifoldPoints and a ManifoldSubset.

Defining an open subset of a ManifoldFiniteSubset in a manifold of positive dimension will declare the open subset empty.

CC: @mjungmath @egourgoulhon @tscrim

Component: manifolds

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

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,4 +1,5 @@
 We add a new class that is both a `ManifoldObjectFiniteFamily` containing `ManifoldPoint`s and a `ManifoldSubset`.
 
-Defining an open subset of a `ManifoldFiniteSubset` will lead to an error for positive dimension.
+Defining an open subset of a `ManifoldFiniteSubset` in a manifold of positive dimension will declare the subset empty.
 
+

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,5 +1,5 @@
 We add a new class that is both a `ManifoldObjectFiniteFamily` containing `ManifoldPoint`s and a `ManifoldSubset`.
 
-Defining an open subset of a `ManifoldFiniteSubset` in a manifold of positive dimension will declare the subset empty.
+Defining an open subset of a `ManifoldFiniteSubset` in a manifold of positive dimension will declare the open subset empty.