CombinatorialMap

A combinatorial map applied to a value, by name or FindStat id, found through the value's carrier.

CombinatorialMap(x, name)the map name (or FindStat id, "Mp00066") applied to x, a value of a carrier such as Permutation, giving a value of the map's target carrier; over a collection, the map applied to each element, lazily.

Typed signatures

Type	Package	Applies
(any, any) -> any	structures	always

Domain: Structures

Details

• A map between carriers (FindStat's "map"): it need preserve nothing, so it is not a morphism. Found through its source carrier's table, as a statistic is.

Examples

Basic #

the inverse of 312

live ↗

In$\mathrm{CombinatorialMap}({\operatorname{Permutation}}([3, 1, 2]), \text{Inverse})$Out${\operatorname{Permutation}}([2, 3, 1])$

the reverse of 312

live ↗

In$\mathrm{CombinatorialMap}({\operatorname{Permutation}}([3, 1, 2]), \text{Reverse})$Out${\operatorname{Permutation}}([2, 1, 3])$

the inverse again, by its FindStat id

live ↗

In$\mathrm{CombinatorialMap}({\operatorname{Permutation}}([3, 1, 2]), \text{Mp00066})$Out${\operatorname{Permutation}}([2, 3, 1])$

About

Examples	3

See also: CombinatorialStat