Generalize MapCombinatorialClass to ImageSubobject/ImageSet, add method Map.image

[mkoeppe]

EnumeratedSets.ParentMethods.map uses MapCombinatorialClass.

map's docstring explains that that class needs to be refactored to use categories.

Part of #12913 (Meta-ticket: Deprecate CombinatorialClass in favor of the EnumeratedSet's categories)

See also:

• #31653 comment:1 for a discussion of existing image and pushforward methods of maps.

• ConditionSet, ImageSet: Implement formal Set comprehension #24176

CC: @tscrim @fchapoton @roed314 @mwageringel

Component: combinatorics

Author: Matthias Koeppe, Travis Scrimshaw

Branch/Commit: 038e354

Reviewer: Travis Scrimshaw, Matthias Koeppe

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

[mkoeppe]

Description changed:

--- 
+++ 
@@ -4,3 +4,5 @@
 
 Part of #12913 (Meta-ticket: Deprecate `CombinatorialClass` in favor of the `EnumeratedSet`'s categories)
 
+See also: #24176
+

[mkoeppe]

Description changed:

--- 
+++ 
@@ -4,5 +4,9 @@
 
 Part of #12913 (Meta-ticket: Deprecate `CombinatorialClass` in favor of the `EnumeratedSet`'s categories)
 
-See also: #24176
+See also: 
+- [#31653 comment:1](https://github.com/sagemath/sage/issues/31653#comment:1) for a discussion of existing `image` and `pushforward` methods of maps.
 
+- #24176
+
+

[mkoeppe]

Branch: u/mkoeppe/replace_mapcombinatorialclass__add_methods_map_image__map_pushforward

[sagetrac-git]

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

44f0a31	src/sage/combinat/combinat.py: Update copyright according to git blame -w --date=format:%Y src/sage/combinat/combinat.py | sort -k2
fef2e03	sage.sets.image_set: New

[sagetrac-git]

Commit: fef2e03

[mkoeppe]

Dependencies: #32013

[sagetrac-git]

Changed commit from fef2e03 to 8e920e9

[sagetrac-git]

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

b67092c	Set_base.union, intersection, difference, symmetric_difference: Convert to Set if necessary
e144389	ConvexSet_base.intersection: Remove abstract method; now inherits Set_base.intersection
bc26d4f	{LatticePolytopeClass, ConvexRationalPolyhedralCone._some_elements_: New
e768463	Merge #31877
cb93c99	RealSet: Inherit from Set_base, Set_boolean_operators, Set_add_sub_operators
3a6f9bd	RealSet.symmetric_difference: New
08c52c2	Set_base._test_as_set_object: Skip _test_pickling
200b1ef	Merge tag '9.4.beta4' into t/32013/initialize_a_set_from_a_convexset_base_instance
6a880c0	Merge #32013
8e920e9	Make MapCombinatorialClass a subclass of ImageSubobject

[sagetrac-git]

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

b57c6a5

ImageSubobject: Handle is_injective, fix repr

[sagetrac-git]

Changed commit from 8e920e9 to b57c6a5

[sagetrac-git]

Changed commit from b57c6a5 to 5223859

[sagetrac-git]

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

5223859

ImageSubobject: Fixup finite/infinite

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

comment:10

Here's an attempt

[sagetrac-git]

Changed commit from 5223859 to 2d0bd77