Identifier
  • Mp00028: Dyck paths —reverse⟶ Dyck paths
    St001234: Dyck paths ⟶ ℤ (values match St001231The number of simple modules that are non-projective and non-injective with the property that they have projective dimension equal to one and that also the Auslander-Reiten translates of the module and the inverse Auslander-Reiten translate of the module have the same projective dimension.)
Values
[1,0] => [1,0] => 0
[1,0,1,0] => [1,0,1,0] => 0
[1,1,0,0] => [1,1,0,0] => 0
[1,0,1,0,1,0] => [1,0,1,0,1,0] => 0
[1,0,1,1,0,0] => [1,1,0,0,1,0] => 0
[1,1,0,0,1,0] => [1,0,1,1,0,0] => 0
[1,1,0,1,0,0] => [1,1,0,1,0,0] => 0
[1,1,1,0,0,0] => [1,1,1,0,0,0] => 1
[1,0,1,0,1,0,1,0] => [1,0,1,0,1,0,1,0] => 0
[1,0,1,0,1,1,0,0] => [1,1,0,0,1,0,1,0] => 0
[1,0,1,1,0,0,1,0] => [1,0,1,1,0,0,1,0] => 0
[1,0,1,1,0,1,0,0] => [1,1,0,1,0,0,1,0] => 0
[1,0,1,1,1,0,0,0] => [1,1,1,0,0,0,1,0] => 1
[1,1,0,0,1,0,1,0] => [1,0,1,0,1,1,0,0] => 0
[1,1,0,0,1,1,0,0] => [1,1,0,0,1,1,0,0] => 0
[1,1,0,1,0,0,1,0] => [1,0,1,1,0,1,0,0] => 0
[1,1,0,1,0,1,0,0] => [1,1,0,1,0,1,0,0] => 0
[1,1,0,1,1,0,0,0] => [1,1,1,0,0,1,0,0] => 1
[1,1,1,0,0,0,1,0] => [1,0,1,1,1,0,0,0] => 0
[1,1,1,0,0,1,0,0] => [1,1,0,1,1,0,0,0] => 0
[1,1,1,0,1,0,0,0] => [1,1,1,0,1,0,0,0] => 1
[1,1,1,1,0,0,0,0] => [1,1,1,1,0,0,0,0] => 2
[1,0,1,0,1,0,1,0,1,0] => [1,0,1,0,1,0,1,0,1,0] => 0
[1,0,1,0,1,0,1,1,0,0] => [1,1,0,0,1,0,1,0,1,0] => 0
[1,0,1,0,1,1,0,0,1,0] => [1,0,1,1,0,0,1,0,1,0] => 0
[1,0,1,0,1,1,0,1,0,0] => [1,1,0,1,0,0,1,0,1,0] => 0
[1,0,1,0,1,1,1,0,0,0] => [1,1,1,0,0,0,1,0,1,0] => 1
[1,0,1,1,0,0,1,0,1,0] => [1,0,1,0,1,1,0,0,1,0] => 0
[1,0,1,1,0,0,1,1,0,0] => [1,1,0,0,1,1,0,0,1,0] => 0
[1,0,1,1,0,1,0,0,1,0] => [1,0,1,1,0,1,0,0,1,0] => 0
[1,0,1,1,0,1,0,1,0,0] => [1,1,0,1,0,1,0,0,1,0] => 0
[1,0,1,1,0,1,1,0,0,0] => [1,1,1,0,0,1,0,0,1,0] => 1
[1,0,1,1,1,0,0,0,1,0] => [1,0,1,1,1,0,0,0,1,0] => 0
[1,0,1,1,1,0,0,1,0,0] => [1,1,0,1,1,0,0,0,1,0] => 0
[1,0,1,1,1,0,1,0,0,0] => [1,1,1,0,1,0,0,0,1,0] => 1
[1,0,1,1,1,1,0,0,0,0] => [1,1,1,1,0,0,0,0,1,0] => 2
[1,1,0,0,1,0,1,0,1,0] => [1,0,1,0,1,0,1,1,0,0] => 0
[1,1,0,0,1,0,1,1,0,0] => [1,1,0,0,1,0,1,1,0,0] => 0
[1,1,0,0,1,1,0,0,1,0] => [1,0,1,1,0,0,1,1,0,0] => 0
[1,1,0,0,1,1,0,1,0,0] => [1,1,0,1,0,0,1,1,0,0] => 0
[1,1,0,0,1,1,1,0,0,0] => [1,1,1,0,0,0,1,1,0,0] => 1
[1,1,0,1,0,0,1,0,1,0] => [1,0,1,0,1,1,0,1,0,0] => 0
[1,1,0,1,0,0,1,1,0,0] => [1,1,0,0,1,1,0,1,0,0] => 0
[1,1,0,1,0,1,0,0,1,0] => [1,0,1,1,0,1,0,1,0,0] => 0
[1,1,0,1,0,1,0,1,0,0] => [1,1,0,1,0,1,0,1,0,0] => 0
[1,1,0,1,0,1,1,0,0,0] => [1,1,1,0,0,1,0,1,0,0] => 1
[1,1,0,1,1,0,0,0,1,0] => [1,0,1,1,1,0,0,1,0,0] => 0
[1,1,0,1,1,0,0,1,0,0] => [1,1,0,1,1,0,0,1,0,0] => 0
[1,1,0,1,1,0,1,0,0,0] => [1,1,1,0,1,0,0,1,0,0] => 1
[1,1,0,1,1,1,0,0,0,0] => [1,1,1,1,0,0,0,1,0,0] => 2
[1,1,1,0,0,0,1,0,1,0] => [1,0,1,0,1,1,1,0,0,0] => 0
[1,1,1,0,0,0,1,1,0,0] => [1,1,0,0,1,1,1,0,0,0] => 0
[1,1,1,0,0,1,0,0,1,0] => [1,0,1,1,0,1,1,0,0,0] => 0
[1,1,1,0,0,1,0,1,0,0] => [1,1,0,1,0,1,1,0,0,0] => 0
[1,1,1,0,0,1,1,0,0,0] => [1,1,1,0,0,1,1,0,0,0] => 1
[1,1,1,0,1,0,0,0,1,0] => [1,0,1,1,1,0,1,0,0,0] => 0
[1,1,1,0,1,0,0,1,0,0] => [1,1,0,1,1,0,1,0,0,0] => 0
[1,1,1,0,1,0,1,0,0,0] => [1,1,1,0,1,0,1,0,0,0] => 1
[1,1,1,0,1,1,0,0,0,0] => [1,1,1,1,0,0,1,0,0,0] => 2
[1,1,1,1,0,0,0,0,1,0] => [1,0,1,1,1,1,0,0,0,0] => 1
[1,1,1,1,0,0,0,1,0,0] => [1,1,0,1,1,1,0,0,0,0] => 0
[1,1,1,1,0,0,1,0,0,0] => [1,1,1,0,1,1,0,0,0,0] => 1
[1,1,1,1,0,1,0,0,0,0] => [1,1,1,1,0,1,0,0,0,0] => 2
[1,1,1,1,1,0,0,0,0,0] => [1,1,1,1,1,0,0,0,0,0] => 3
[1,0,1,0,1,0,1,0,1,0,1,0] => [1,0,1,0,1,0,1,0,1,0,1,0] => 0
[1,0,1,0,1,0,1,0,1,1,0,0] => [1,1,0,0,1,0,1,0,1,0,1,0] => 0
[1,0,1,0,1,0,1,1,0,0,1,0] => [1,0,1,1,0,0,1,0,1,0,1,0] => 0
[1,0,1,0,1,0,1,1,0,1,0,0] => [1,1,0,1,0,0,1,0,1,0,1,0] => 0
[1,0,1,0,1,0,1,1,1,0,0,0] => [1,1,1,0,0,0,1,0,1,0,1,0] => 1
[1,0,1,0,1,1,0,0,1,0,1,0] => [1,0,1,0,1,1,0,0,1,0,1,0] => 0
[1,0,1,0,1,1,0,0,1,1,0,0] => [1,1,0,0,1,1,0,0,1,0,1,0] => 0
[1,0,1,0,1,1,0,1,0,0,1,0] => [1,0,1,1,0,1,0,0,1,0,1,0] => 0
[1,0,1,0,1,1,0,1,0,1,0,0] => [1,1,0,1,0,1,0,0,1,0,1,0] => 0
[1,0,1,0,1,1,0,1,1,0,0,0] => [1,1,1,0,0,1,0,0,1,0,1,0] => 1
[1,0,1,0,1,1,1,0,0,0,1,0] => [1,0,1,1,1,0,0,0,1,0,1,0] => 0
[1,0,1,0,1,1,1,0,0,1,0,0] => [1,1,0,1,1,0,0,0,1,0,1,0] => 0
[1,0,1,0,1,1,1,0,1,0,0,0] => [1,1,1,0,1,0,0,0,1,0,1,0] => 1
[1,0,1,0,1,1,1,1,0,0,0,0] => [1,1,1,1,0,0,0,0,1,0,1,0] => 2
[1,0,1,1,0,0,1,0,1,0,1,0] => [1,0,1,0,1,0,1,1,0,0,1,0] => 0
[1,0,1,1,0,0,1,0,1,1,0,0] => [1,1,0,0,1,0,1,1,0,0,1,0] => 0
[1,0,1,1,0,0,1,1,0,0,1,0] => [1,0,1,1,0,0,1,1,0,0,1,0] => 0
[1,0,1,1,0,0,1,1,0,1,0,0] => [1,1,0,1,0,0,1,1,0,0,1,0] => 0
[1,0,1,1,0,0,1,1,1,0,0,0] => [1,1,1,0,0,0,1,1,0,0,1,0] => 1
[1,0,1,1,0,1,0,0,1,0,1,0] => [1,0,1,0,1,1,0,1,0,0,1,0] => 0
[1,0,1,1,0,1,0,0,1,1,0,0] => [1,1,0,0,1,1,0,1,0,0,1,0] => 0
[1,0,1,1,0,1,0,1,0,0,1,0] => [1,0,1,1,0,1,0,1,0,0,1,0] => 0
[1,0,1,1,0,1,0,1,0,1,0,0] => [1,1,0,1,0,1,0,1,0,0,1,0] => 0
[1,0,1,1,0,1,0,1,1,0,0,0] => [1,1,1,0,0,1,0,1,0,0,1,0] => 1
[1,0,1,1,0,1,1,0,0,0,1,0] => [1,0,1,1,1,0,0,1,0,0,1,0] => 0
[1,0,1,1,0,1,1,0,0,1,0,0] => [1,1,0,1,1,0,0,1,0,0,1,0] => 0
[1,0,1,1,0,1,1,0,1,0,0,0] => [1,1,1,0,1,0,0,1,0,0,1,0] => 1
[1,0,1,1,0,1,1,1,0,0,0,0] => [1,1,1,1,0,0,0,1,0,0,1,0] => 2
[1,0,1,1,1,0,0,0,1,0,1,0] => [1,0,1,0,1,1,1,0,0,0,1,0] => 0
[1,0,1,1,1,0,0,0,1,1,0,0] => [1,1,0,0,1,1,1,0,0,0,1,0] => 0
[1,0,1,1,1,0,0,1,0,0,1,0] => [1,0,1,1,0,1,1,0,0,0,1,0] => 0
[1,0,1,1,1,0,0,1,0,1,0,0] => [1,1,0,1,0,1,1,0,0,0,1,0] => 0
[1,0,1,1,1,0,0,1,1,0,0,0] => [1,1,1,0,0,1,1,0,0,0,1,0] => 1
[1,0,1,1,1,0,1,0,0,0,1,0] => [1,0,1,1,1,0,1,0,0,0,1,0] => 0
[1,0,1,1,1,0,1,0,0,1,0,0] => [1,1,0,1,1,0,1,0,0,0,1,0] => 0
[1,0,1,1,1,0,1,0,1,0,0,0] => [1,1,1,0,1,0,1,0,0,0,1,0] => 1
[1,0,1,1,1,0,1,1,0,0,0,0] => [1,1,1,1,0,0,1,0,0,0,1,0] => 2
>>> Load all 196 entries. <<<
[1,0,1,1,1,1,0,0,0,0,1,0] => [1,0,1,1,1,1,0,0,0,0,1,0] => 1
[1,0,1,1,1,1,0,0,0,1,0,0] => [1,1,0,1,1,1,0,0,0,0,1,0] => 0
[1,0,1,1,1,1,0,0,1,0,0,0] => [1,1,1,0,1,1,0,0,0,0,1,0] => 1
[1,0,1,1,1,1,0,1,0,0,0,0] => [1,1,1,1,0,1,0,0,0,0,1,0] => 2
[1,0,1,1,1,1,1,0,0,0,0,0] => [1,1,1,1,1,0,0,0,0,0,1,0] => 3
[1,1,0,0,1,0,1,0,1,0,1,0] => [1,0,1,0,1,0,1,0,1,1,0,0] => 0
[1,1,0,0,1,0,1,0,1,1,0,0] => [1,1,0,0,1,0,1,0,1,1,0,0] => 0
[1,1,0,0,1,0,1,1,0,0,1,0] => [1,0,1,1,0,0,1,0,1,1,0,0] => 0
[1,1,0,0,1,0,1,1,0,1,0,0] => [1,1,0,1,0,0,1,0,1,1,0,0] => 0
[1,1,0,0,1,0,1,1,1,0,0,0] => [1,1,1,0,0,0,1,0,1,1,0,0] => 1
[1,1,0,0,1,1,0,0,1,0,1,0] => [1,0,1,0,1,1,0,0,1,1,0,0] => 0
[1,1,0,0,1,1,0,0,1,1,0,0] => [1,1,0,0,1,1,0,0,1,1,0,0] => 0
[1,1,0,0,1,1,0,1,0,0,1,0] => [1,0,1,1,0,1,0,0,1,1,0,0] => 0
[1,1,0,0,1,1,0,1,0,1,0,0] => [1,1,0,1,0,1,0,0,1,1,0,0] => 0
[1,1,0,0,1,1,0,1,1,0,0,0] => [1,1,1,0,0,1,0,0,1,1,0,0] => 1
[1,1,0,0,1,1,1,0,0,0,1,0] => [1,0,1,1,1,0,0,0,1,1,0,0] => 0
[1,1,0,0,1,1,1,0,0,1,0,0] => [1,1,0,1,1,0,0,0,1,1,0,0] => 0
[1,1,0,0,1,1,1,0,1,0,0,0] => [1,1,1,0,1,0,0,0,1,1,0,0] => 1
[1,1,0,0,1,1,1,1,0,0,0,0] => [1,1,1,1,0,0,0,0,1,1,0,0] => 2
[1,1,0,1,0,0,1,0,1,0,1,0] => [1,0,1,0,1,0,1,1,0,1,0,0] => 0
[1,1,0,1,0,0,1,0,1,1,0,0] => [1,1,0,0,1,0,1,1,0,1,0,0] => 0
[1,1,0,1,0,0,1,1,0,0,1,0] => [1,0,1,1,0,0,1,1,0,1,0,0] => 0
[1,1,0,1,0,0,1,1,0,1,0,0] => [1,1,0,1,0,0,1,1,0,1,0,0] => 0
[1,1,0,1,0,0,1,1,1,0,0,0] => [1,1,1,0,0,0,1,1,0,1,0,0] => 1
[1,1,0,1,0,1,0,0,1,0,1,0] => [1,0,1,0,1,1,0,1,0,1,0,0] => 0
[1,1,0,1,0,1,0,0,1,1,0,0] => [1,1,0,0,1,1,0,1,0,1,0,0] => 0
[1,1,0,1,0,1,0,1,0,0,1,0] => [1,0,1,1,0,1,0,1,0,1,0,0] => 0
[1,1,0,1,0,1,0,1,0,1,0,0] => [1,1,0,1,0,1,0,1,0,1,0,0] => 0
[1,1,0,1,0,1,0,1,1,0,0,0] => [1,1,1,0,0,1,0,1,0,1,0,0] => 1
[1,1,0,1,0,1,1,0,0,0,1,0] => [1,0,1,1,1,0,0,1,0,1,0,0] => 0
[1,1,0,1,0,1,1,0,0,1,0,0] => [1,1,0,1,1,0,0,1,0,1,0,0] => 0
[1,1,0,1,0,1,1,0,1,0,0,0] => [1,1,1,0,1,0,0,1,0,1,0,0] => 1
[1,1,0,1,0,1,1,1,0,0,0,0] => [1,1,1,1,0,0,0,1,0,1,0,0] => 2
[1,1,0,1,1,0,0,0,1,0,1,0] => [1,0,1,0,1,1,1,0,0,1,0,0] => 0
[1,1,0,1,1,0,0,0,1,1,0,0] => [1,1,0,0,1,1,1,0,0,1,0,0] => 0
[1,1,0,1,1,0,0,1,0,0,1,0] => [1,0,1,1,0,1,1,0,0,1,0,0] => 0
[1,1,0,1,1,0,0,1,0,1,0,0] => [1,1,0,1,0,1,1,0,0,1,0,0] => 0
[1,1,0,1,1,0,0,1,1,0,0,0] => [1,1,1,0,0,1,1,0,0,1,0,0] => 1
[1,1,0,1,1,0,1,0,0,0,1,0] => [1,0,1,1,1,0,1,0,0,1,0,0] => 0
[1,1,0,1,1,0,1,0,0,1,0,0] => [1,1,0,1,1,0,1,0,0,1,0,0] => 0
[1,1,0,1,1,0,1,0,1,0,0,0] => [1,1,1,0,1,0,1,0,0,1,0,0] => 1
[1,1,0,1,1,0,1,1,0,0,0,0] => [1,1,1,1,0,0,1,0,0,1,0,0] => 2
[1,1,0,1,1,1,0,0,0,0,1,0] => [1,0,1,1,1,1,0,0,0,1,0,0] => 1
[1,1,0,1,1,1,0,0,0,1,0,0] => [1,1,0,1,1,1,0,0,0,1,0,0] => 0
[1,1,0,1,1,1,0,0,1,0,0,0] => [1,1,1,0,1,1,0,0,0,1,0,0] => 1
[1,1,0,1,1,1,0,1,0,0,0,0] => [1,1,1,1,0,1,0,0,0,1,0,0] => 2
[1,1,0,1,1,1,1,0,0,0,0,0] => [1,1,1,1,1,0,0,0,0,1,0,0] => 3
[1,1,1,0,0,0,1,0,1,0,1,0] => [1,0,1,0,1,0,1,1,1,0,0,0] => 0
[1,1,1,0,0,0,1,0,1,1,0,0] => [1,1,0,0,1,0,1,1,1,0,0,0] => 0
[1,1,1,0,0,0,1,1,0,0,1,0] => [1,0,1,1,0,0,1,1,1,0,0,0] => 0
[1,1,1,0,0,0,1,1,0,1,0,0] => [1,1,0,1,0,0,1,1,1,0,0,0] => 0
[1,1,1,0,0,0,1,1,1,0,0,0] => [1,1,1,0,0,0,1,1,1,0,0,0] => 1
[1,1,1,0,0,1,0,0,1,0,1,0] => [1,0,1,0,1,1,0,1,1,0,0,0] => 0
[1,1,1,0,0,1,0,0,1,1,0,0] => [1,1,0,0,1,1,0,1,1,0,0,0] => 0
[1,1,1,0,0,1,0,1,0,0,1,0] => [1,0,1,1,0,1,0,1,1,0,0,0] => 0
[1,1,1,0,0,1,0,1,0,1,0,0] => [1,1,0,1,0,1,0,1,1,0,0,0] => 0
[1,1,1,0,0,1,0,1,1,0,0,0] => [1,1,1,0,0,1,0,1,1,0,0,0] => 1
[1,1,1,0,0,1,1,0,0,0,1,0] => [1,0,1,1,1,0,0,1,1,0,0,0] => 0
[1,1,1,0,0,1,1,0,0,1,0,0] => [1,1,0,1,1,0,0,1,1,0,0,0] => 0
[1,1,1,0,0,1,1,0,1,0,0,0] => [1,1,1,0,1,0,0,1,1,0,0,0] => 1
[1,1,1,0,0,1,1,1,0,0,0,0] => [1,1,1,1,0,0,0,1,1,0,0,0] => 2
[1,1,1,0,1,0,0,0,1,0,1,0] => [1,0,1,0,1,1,1,0,1,0,0,0] => 0
[1,1,1,0,1,0,0,0,1,1,0,0] => [1,1,0,0,1,1,1,0,1,0,0,0] => 0
[1,1,1,0,1,0,0,1,0,0,1,0] => [1,0,1,1,0,1,1,0,1,0,0,0] => 0
[1,1,1,0,1,0,0,1,0,1,0,0] => [1,1,0,1,0,1,1,0,1,0,0,0] => 0
[1,1,1,0,1,0,0,1,1,0,0,0] => [1,1,1,0,0,1,1,0,1,0,0,0] => 1
[1,1,1,0,1,0,1,0,0,0,1,0] => [1,0,1,1,1,0,1,0,1,0,0,0] => 0
[1,1,1,0,1,0,1,0,0,1,0,0] => [1,1,0,1,1,0,1,0,1,0,0,0] => 0
[1,1,1,0,1,0,1,0,1,0,0,0] => [1,1,1,0,1,0,1,0,1,0,0,0] => 1
[1,1,1,0,1,0,1,1,0,0,0,0] => [1,1,1,1,0,0,1,0,1,0,0,0] => 2
[1,1,1,0,1,1,0,0,0,0,1,0] => [1,0,1,1,1,1,0,0,1,0,0,0] => 1
[1,1,1,0,1,1,0,0,0,1,0,0] => [1,1,0,1,1,1,0,0,1,0,0,0] => 0
[1,1,1,0,1,1,0,0,1,0,0,0] => [1,1,1,0,1,1,0,0,1,0,0,0] => 1
[1,1,1,0,1,1,0,1,0,0,0,0] => [1,1,1,1,0,1,0,0,1,0,0,0] => 2
[1,1,1,0,1,1,1,0,0,0,0,0] => [1,1,1,1,1,0,0,0,1,0,0,0] => 3
[1,1,1,1,0,0,0,0,1,0,1,0] => [1,0,1,0,1,1,1,1,0,0,0,0] => 1
[1,1,1,1,0,0,0,0,1,1,0,0] => [1,1,0,0,1,1,1,1,0,0,0,0] => 1
[1,1,1,1,0,0,0,1,0,0,1,0] => [1,0,1,1,0,1,1,1,0,0,0,0] => 0
[1,1,1,1,0,0,0,1,0,1,0,0] => [1,1,0,1,0,1,1,1,0,0,0,0] => 0
[1,1,1,1,0,0,0,1,1,0,0,0] => [1,1,1,0,0,1,1,1,0,0,0,0] => 1
[1,1,1,1,0,0,1,0,0,0,1,0] => [1,0,1,1,1,0,1,1,0,0,0,0] => 0
[1,1,1,1,0,0,1,0,0,1,0,0] => [1,1,0,1,1,0,1,1,0,0,0,0] => 0
[1,1,1,1,0,0,1,0,1,0,0,0] => [1,1,1,0,1,0,1,1,0,0,0,0] => 1
[1,1,1,1,0,0,1,1,0,0,0,0] => [1,1,1,1,0,0,1,1,0,0,0,0] => 2
[1,1,1,1,0,1,0,0,0,0,1,0] => [1,0,1,1,1,1,0,1,0,0,0,0] => 1
[1,1,1,1,0,1,0,0,0,1,0,0] => [1,1,0,1,1,1,0,1,0,0,0,0] => 0
[1,1,1,1,0,1,0,0,1,0,0,0] => [1,1,1,0,1,1,0,1,0,0,0,0] => 1
[1,1,1,1,0,1,0,1,0,0,0,0] => [1,1,1,1,0,1,0,1,0,0,0,0] => 2
[1,1,1,1,0,1,1,0,0,0,0,0] => [1,1,1,1,1,0,0,1,0,0,0,0] => 3
[1,1,1,1,1,0,0,0,0,0,1,0] => [1,0,1,1,1,1,1,0,0,0,0,0] => 2
[1,1,1,1,1,0,0,0,0,1,0,0] => [1,1,0,1,1,1,1,0,0,0,0,0] => 1
[1,1,1,1,1,0,0,0,1,0,0,0] => [1,1,1,0,1,1,1,0,0,0,0,0] => 1
[1,1,1,1,1,0,0,1,0,0,0,0] => [1,1,1,1,0,1,1,0,0,0,0,0] => 2
[1,1,1,1,1,0,1,0,0,0,0,0] => [1,1,1,1,1,0,1,0,0,0,0,0] => 3
[1,1,1,1,1,1,0,0,0,0,0,0] => [1,1,1,1,1,1,0,0,0,0,0,0] => 4
search for individual values
searching the database for the individual values of this statistic
/ search for generating function
searching the database for statistics with the same generating function
click to show known generating functions       
Description
The number of indecomposable three dimensional modules with projective dimension one.
It return zero when there are no such modules.
Map
reverse
Description
The reversal of a Dyck path.
This is the Dyck path obtained by reading the path backwards.