PathRowmotion

Rowmotion of the word as a lattice path: the path whose peaks are the original's valleys with an up step appended.

FindStatMp00280via BinaryWord↗

PathRowmotion(BinaryWord)Rowmotion of the word as a lattice path: the path whose peaks are the original's valleys with an up step appended.

Typed signatures

Type	Package	Applies
(binary_word) -> binary_word	combinatorics	always

Domain: Combinatorial maps

Details

• Takes a BinaryWord and returns a BinaryWord — a typed map, so a wrong carrier is a type error rather than a wrong answer.
• FindStat's Mp00280, a bijection. Not Rowmotion: that reads the word as an order ideal.

Examples

Basic #

the binary word $01100$

live ↗

In$\mathrm{PathRowmotion}({\operatorname{BinaryWord}}([0, 1, 1, 0, 0]))$Out${\operatorname{BinaryWord}}([1, 0, 0, 1, 1])$

About

Examples	1
Crosswalk	FindStat