InverseAfterComplementAfterReverse

Reverse, then complement, then invert.

InverseAfterComplementAfterReverse(Permutation)Reverse, then complement, then invert.

Typed signatures

Type	Package	Applies
(permutation) -> permutation	combinatorics	always

Domain: Combinatorial maps

Details

• Takes a Permutation and returns a Permutation — a typed map, so a wrong carrier is a type error rather than a wrong answer.
• Defined as a COMPOSITION, applied right to left: Inverse after Complement after Reverse. Each step goes through its own declared head, so every intermediate value is a properly constructed carrier.
• The name is FindStat's, and it is what a catalog produces when it cannot SAY composition. With Composition it is Compose(Inverse, Complement, Reverse) and needs no name at all — kept only because the catalog has it.

Examples

Basic #

the one-line word $231$

live ↗

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

About

Examples	1

See also: Inverse, Complement, Reverse