Rotation

Attach a leaf to the root, remove the leftmost leaf, and let the vertex it hung from become the root.

FindStatMp00246via OrderedTree↗

Rotation(OrderedTree)Attach a leaf to the root, remove the leftmost leaf, and let the vertex it hung from become the root.

Typed signatures

Type	Package	Applies
(ordered_tree) -> ordered_tree	combinatorics	always

Domain: Combinatorial maps

Details

• Takes a OrderedTree and returns a OrderedTree — a typed map, so a wrong carrier is a type error rather than a wrong answer.
• FindStat's Mp00246, a bijection corresponding to rotating a polygon dissection.

Examples

Basic #

an ordered tree with four edges

live ↗

In$\mathrm{Rotation}({\operatorname{OrderedTree}}(\bigl\lbrack\bigl\lbrack\bigl\lbrack\bigr\rbrack, \bigl\lbrack\bigr\rbrack\bigr\rbrack, \bigl\lbrack\bigr\rbrack\bigr\rbrack))$Out${\operatorname{OrderedTree}}(\bigl\lbrack\bigl\lbrack\bigr\rbrack, \bigl\lbrack\bigl\lbrack\bigr\rbrack, \bigl\lbrack\bigr\rbrack\bigr\rbrack\bigr\rbrack)$

About

Examples	1
Crosswalk	FindStat