Deprecate FiniteEnumeratedSet in the global namespace, add method is_subset to Sets.ParentMethods

[mkoeppe]

We unify the classes Set_object_enumerated and FiniteEnumeratedSet.

The only difference should be that one uses a frozenset (fast look ups, slow indexing via iteration), the other uses a tuple (slow look ups, fast indexing). And we should have the option to get both operations fast. We get this for free by the category FiniteEnumeratedSets.

We add to the methods provided by Sets.ParentMethods:

• methods is_subset etc. (as defined for RealSet and ManifoldSubset) via discovery of inclusion morphisms (see FacadeInclusionMorphism #34461)

We add to the methods provided by FiniteEnumeratedSets.ParentMethods:

• frozenset (to complement list)
• specialization of is_subset etc. by iteration or delegating to frozenset
• alternate spellings issubset etc. used by the Python library) for finite enumerated sets - for interoperability with Python set, frozenset

Then we deprecate the import of FiniteEnumeratedSet in the global namespace in favor of using the constructor Set.

CC: @tscrim

Component: combinatorics

Branch/Commit: u/mkoeppe/deprecate_finiteenumeratedset_in_the_global_namespace @ cca78af

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

[mkoeppe]

Changed dependencies from #34376 to #34376, #34400

[mkoeppe]

Branch: u/mkoeppe/deprecate_finiteenumeratedset_in_the_global_namespace

[mkoeppe]

Last 10 new commits:

e63e4f0	Set_object.is_finite: Check category
970d467	Set_object.cardinality: Check category
e58d2ab	Set_object_intersection.cardinality: Remove; move delegation to super to Set_object
f0ca8e1	Merge #34376
bf55daf	EnumeratedSets.ParentMethods.tuple: New, replace many uses of list
d573cbf	InfiniteEnumeratedSets.ParentMethods.tuple: New
192a5a2	src/sage/categories/enumerated_sets.py: Add doc
d62fe4c	src/sage/categories/enumerated_sets.py: Fix _tuple_from_iterator
ab3f1d7	Merge #34400
cca78af	src/sage/categories/enumerated_sets.py: Add parent methods frozenset, is_subset

[mkoeppe]

Commit: cca78af

[mkoeppe]

Changed dependencies from #34376, #34400 to none