searching the database
Your data matches 2 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
(click to perform a complete search on your data)
Matching statistic: St000411
(load all 3 compositions to match this statistic)
(load all 3 compositions to match this statistic)
St000411: Binary trees ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,[.,.]]
=> 2
[[.,.],.]
=> 2
[.,[.,[.,.]]]
=> 6
[.,[[.,.],.]]
=> 6
[[.,.],[.,.]]
=> 3
[[.,[.,.]],.]
=> 6
[[[.,.],.],.]
=> 6
[.,[.,[.,[.,.]]]]
=> 24
[.,[.,[[.,.],.]]]
=> 24
[.,[[.,.],[.,.]]]
=> 12
[.,[[.,[.,.]],.]]
=> 24
[.,[[[.,.],.],.]]
=> 24
[[.,.],[.,[.,.]]]
=> 8
[[.,.],[[.,.],.]]
=> 8
[[.,[.,.]],[.,.]]
=> 8
[[[.,.],.],[.,.]]
=> 8
[[.,[.,[.,.]]],.]
=> 24
[[.,[[.,.],.]],.]
=> 24
[[[.,.],[.,.]],.]
=> 12
[[[.,[.,.]],.],.]
=> 24
[[[[.,.],.],.],.]
=> 24
[.,[.,[.,[.,[.,.]]]]]
=> 120
[.,[.,[.,[[.,.],.]]]]
=> 120
[.,[.,[[.,.],[.,.]]]]
=> 60
[.,[.,[[.,[.,.]],.]]]
=> 120
[.,[.,[[[.,.],.],.]]]
=> 120
[.,[[.,.],[.,[.,.]]]]
=> 40
[.,[[.,.],[[.,.],.]]]
=> 40
[.,[[.,[.,.]],[.,.]]]
=> 40
[.,[[[.,.],.],[.,.]]]
=> 40
[.,[[.,[.,[.,.]]],.]]
=> 120
[.,[[.,[[.,.],.]],.]]
=> 120
[.,[[[.,.],[.,.]],.]]
=> 60
[.,[[[.,[.,.]],.],.]]
=> 120
[.,[[[[.,.],.],.],.]]
=> 120
[[.,.],[.,[.,[.,.]]]]
=> 30
[[.,.],[.,[[.,.],.]]]
=> 30
[[.,.],[[.,.],[.,.]]]
=> 15
[[.,.],[[.,[.,.]],.]]
=> 30
[[.,.],[[[.,.],.],.]]
=> 30
[[.,[.,.]],[.,[.,.]]]
=> 20
[[.,[.,.]],[[.,.],.]]
=> 20
[[[.,.],.],[.,[.,.]]]
=> 20
[[[.,.],.],[[.,.],.]]
=> 20
[[.,[.,[.,.]]],[.,.]]
=> 30
[[.,[[.,.],.]],[.,.]]
=> 30
[[[.,.],[.,.]],[.,.]]
=> 15
[[[.,[.,.]],.],[.,.]]
=> 30
[[[[.,.],.],.],[.,.]]
=> 30
[[.,[.,[.,[.,.]]]],.]
=> 120
Description
The tree factorial of a binary tree.
Matching statistic: St001813
Values
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 6
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 6
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([(0,1),(0,2)],3)
=> 3
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 6
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 6
[.,[.,[.,[.,.]]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 24
[.,[.,[[.,.],.]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 24
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,3),(3,1),(3,2)],4)
=> 12
[.,[[.,[.,.]],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 24
[.,[[[.,.],.],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 24
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(0,3),(3,1)],4)
=> 8
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(0,3),(3,1)],4)
=> 8
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(0,3),(3,1)],4)
=> 8
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(0,3),(3,1)],4)
=> 8
[[.,[.,[.,.]]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 24
[[.,[[.,.],.]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 24
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,3),(3,1),(3,2)],4)
=> 12
[[[.,[.,.]],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 24
[[[[.,.],.],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 24
[.,[.,[.,[.,[.,.]]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 120
[.,[.,[.,[[.,.],.]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 120
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(3,4),(4,1),(4,2)],5)
=> 60
[.,[.,[[.,[.,.]],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 120
[.,[.,[[[.,.],.],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 120
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,4),(3,2),(4,1),(4,3)],5)
=> 40
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,4),(3,2),(4,1),(4,3)],5)
=> 40
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,4),(3,2),(4,1),(4,3)],5)
=> 40
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,4),(3,2),(4,1),(4,3)],5)
=> 40
[.,[[.,[.,[.,.]]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 120
[.,[[.,[[.,.],.]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 120
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(3,4),(4,1),(4,2)],5)
=> 60
[.,[[[.,[.,.]],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 120
[.,[[[[.,.],.],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 120
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(0,4),(3,1),(4,3)],5)
=> 30
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(0,4),(3,1),(4,3)],5)
=> 30
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,3),(0,4),(4,1),(4,2)],5)
=> 15
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(0,4),(3,1),(4,3)],5)
=> 30
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(0,4),(3,1),(4,3)],5)
=> 30
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(3,2),(4,1)],5)
=> 20
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(3,2),(4,1)],5)
=> 20
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(3,2),(4,1)],5)
=> 20
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,3),(0,4),(3,2),(4,1)],5)
=> 20
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(0,4),(3,1),(4,3)],5)
=> 30
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(0,4),(3,1),(4,3)],5)
=> 30
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,3),(0,4),(4,1),(4,2)],5)
=> 15
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(0,4),(3,1),(4,3)],5)
=> 30
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,2),(0,4),(3,1),(4,3)],5)
=> 30
[[.,[.,[.,[.,.]]]],.]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 120
[.,[.,[.,[.,[.,[.,[.,.]]]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[.,[.,[.,[.,[[.,.],.]]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[.,[.,[.,[[.,.],[.,.]]]]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([(0,5),(3,4),(4,6),(5,3),(6,1),(6,2)],7)
=> ? = 2520
[.,[.,[.,[.,[[.,[.,.]],.]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[.,[.,[.,[[[.,.],.],.]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[.,[.,[[.,.],[.,[.,.]]]]]]
=> ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
=> ([(0,5),(3,6),(4,1),(5,3),(6,2),(6,4)],7)
=> ? = 1680
[.,[.,[.,[[.,.],[[.,.],.]]]]]
=> ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
=> ([(0,5),(3,6),(4,1),(5,3),(6,2),(6,4)],7)
=> ? = 1680
[.,[.,[.,[[.,[.,.]],[.,.]]]]]
=> ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
=> ([(0,5),(3,6),(4,1),(5,3),(6,2),(6,4)],7)
=> ? = 1680
[.,[.,[.,[[[.,.],.],[.,.]]]]]
=> ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
=> ([(0,5),(3,6),(4,1),(5,3),(6,2),(6,4)],7)
=> ? = 1680
[.,[.,[.,[[.,[.,[.,.]]],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[.,[.,[[.,[[.,.],.]],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[.,[.,[[[.,.],[.,.]],.]]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([(0,5),(3,4),(4,6),(5,3),(6,1),(6,2)],7)
=> ? = 2520
[.,[.,[.,[[[.,[.,.]],.],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[.,[.,[[[[.,.],.],.],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[.,[[.,.],[.,[.,[.,.]]]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,5),(3,4),(4,1),(5,6),(6,2),(6,3)],7)
=> ? = 1260
[.,[.,[[.,.],[.,[[.,.],.]]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,5),(3,4),(4,1),(5,6),(6,2),(6,3)],7)
=> ? = 1260
[.,[.,[[.,.],[[.,.],[.,.]]]]]
=> ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
=> ([(0,4),(4,6),(5,2),(5,3),(6,1),(6,5)],7)
=> ? = 630
[.,[.,[[.,.],[[.,[.,.]],.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,5),(3,4),(4,1),(5,6),(6,2),(6,3)],7)
=> ? = 1260
[.,[.,[[.,.],[[[.,.],.],.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,5),(3,4),(4,1),(5,6),(6,2),(6,3)],7)
=> ? = 1260
[.,[.,[[.,[.,.]],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,5),(3,2),(4,1),(5,6),(6,3),(6,4)],7)
=> ? = 840
[.,[.,[[.,[.,.]],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,5),(3,2),(4,1),(5,6),(6,3),(6,4)],7)
=> ? = 840
[.,[.,[[[.,.],.],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,5),(3,2),(4,1),(5,6),(6,3),(6,4)],7)
=> ? = 840
[.,[.,[[[.,.],.],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,5),(3,2),(4,1),(5,6),(6,3),(6,4)],7)
=> ? = 840
[.,[.,[[.,[.,[.,.]]],[.,.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,5),(3,4),(4,1),(5,6),(6,2),(6,3)],7)
=> ? = 1260
[.,[.,[[.,[[.,.],.]],[.,.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,5),(3,4),(4,1),(5,6),(6,2),(6,3)],7)
=> ? = 1260
[.,[.,[[[.,.],[.,.]],[.,.]]]]
=> ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
=> ([(0,4),(4,6),(5,2),(5,3),(6,1),(6,5)],7)
=> ? = 630
[.,[.,[[[.,[.,.]],.],[.,.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,5),(3,4),(4,1),(5,6),(6,2),(6,3)],7)
=> ? = 1260
[.,[.,[[[[.,.],.],.],[.,.]]]]
=> ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
=> ([(0,5),(3,4),(4,1),(5,6),(6,2),(6,3)],7)
=> ? = 1260
[.,[.,[[.,[.,[.,[.,.]]]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[.,[[.,[.,[[.,.],.]]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[.,[[.,[[.,.],[.,.]]],.]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([(0,5),(3,4),(4,6),(5,3),(6,1),(6,2)],7)
=> ? = 2520
[.,[.,[[.,[[.,[.,.]],.]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[.,[[.,[[[.,.],.],.]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[.,[[[.,.],[.,[.,.]]],.]]]
=> ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
=> ([(0,5),(3,6),(4,1),(5,3),(6,2),(6,4)],7)
=> ? = 1680
[.,[.,[[[.,.],[[.,.],.]],.]]]
=> ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
=> ([(0,5),(3,6),(4,1),(5,3),(6,2),(6,4)],7)
=> ? = 1680
[.,[.,[[[.,[.,.]],[.,.]],.]]]
=> ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
=> ([(0,5),(3,6),(4,1),(5,3),(6,2),(6,4)],7)
=> ? = 1680
[.,[.,[[[[.,.],.],[.,.]],.]]]
=> ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
=> ([(0,5),(3,6),(4,1),(5,3),(6,2),(6,4)],7)
=> ? = 1680
[.,[.,[[[.,[.,[.,.]]],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[.,[[[.,[[.,.],.]],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[.,[[[[.,.],[.,.]],.],.]]]
=> ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)
=> ([(0,5),(3,4),(4,6),(5,3),(6,1),(6,2)],7)
=> ? = 2520
[.,[.,[[[[.,[.,.]],.],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[.,[[[[[.,.],.],.],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 5040
[.,[[.,.],[.,[.,[.,[.,.]]]]]]
=> ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
=> ([(0,6),(3,5),(4,3),(5,1),(6,2),(6,4)],7)
=> ? = 1008
[.,[[.,.],[.,[.,[[.,.],.]]]]]
=> ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
=> ([(0,6),(3,5),(4,3),(5,1),(6,2),(6,4)],7)
=> ? = 1008
[.,[[.,.],[.,[[.,.],[.,.]]]]]
=> ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
=> ([(0,6),(4,5),(5,2),(5,3),(6,1),(6,4)],7)
=> ? = 504
[.,[[.,.],[.,[[.,[.,.]],.]]]]
=> ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
=> ([(0,6),(3,5),(4,3),(5,1),(6,2),(6,4)],7)
=> ? = 1008
[.,[[.,.],[.,[[[.,.],.],.]]]]
=> ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
=> ([(0,6),(3,5),(4,3),(5,1),(6,2),(6,4)],7)
=> ? = 1008
[.,[[.,.],[[.,.],[.,[.,.]]]]]
=> ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
=> ([(0,6),(4,3),(5,2),(5,4),(6,1),(6,5)],7)
=> ? = 336
[.,[[.,.],[[.,.],[[.,.],.]]]]
=> ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
=> ([(0,6),(4,3),(5,2),(5,4),(6,1),(6,5)],7)
=> ? = 336
[.,[[.,.],[[.,[.,.]],[.,.]]]]
=> ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
=> ([(0,6),(4,3),(5,2),(5,4),(6,1),(6,5)],7)
=> ? = 336
Description
The product of the sizes of the principal order filters in a poset.
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!