- FindStat

Identifier

Mp00013: Binary trees —to poset⟶ Posets
Mp00206: Posets —antichains of maximal size⟶ Lattices
Mp00197: Lattices —lattice of congruences⟶ Lattices
St001651: Lattices ⟶ ℤ

Values

[.,[.,.]] => ([(0,1)],2) => ([(0,1)],2) => ([(0,1)],2) => 0

[[.,.],.] => ([(0,1)],2) => ([(0,1)],2) => ([(0,1)],2) => 0

[.,[.,[.,.]]] => ([(0,2),(2,1)],3) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[.,[[.,.],.]] => ([(0,2),(2,1)],3) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[[.,[.,.]],.] => ([(0,2),(2,1)],3) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[[[.,.],.],.] => ([(0,2),(2,1)],3) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[.,[.,[.,[.,.]]]] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0

[.,[.,[[.,.],.]]] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0

[.,[[.,[.,.]],.]] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0

[.,[[[.,.],.],.]] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0

[[.,.],[.,[.,.]]] => ([(0,3),(1,2),(2,3)],4) => ([(0,1)],2) => ([(0,1)],2) => 0

[[.,.],[[.,.],.]] => ([(0,3),(1,2),(2,3)],4) => ([(0,1)],2) => ([(0,1)],2) => 0

[[.,[.,.]],[.,.]] => ([(0,3),(1,2),(2,3)],4) => ([(0,1)],2) => ([(0,1)],2) => 0

[[[.,.],.],[.,.]] => ([(0,3),(1,2),(2,3)],4) => ([(0,1)],2) => ([(0,1)],2) => 0

[[.,[.,[.,.]]],.] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0

[[.,[[.,.],.]],.] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0

[[[.,[.,.]],.],.] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0

[[[[.,.],.],.],.] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0

[.,[.,[.,[.,[.,.]]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[.,[.,[.,[[.,.],.]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[.,[.,[[.,[.,.]],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[.,[.,[[[.,.],.],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[.,[[.,.],[.,[.,.]]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,1)],2) => ([(0,1)],2) => 0

[.,[[.,.],[[.,.],.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,1)],2) => ([(0,1)],2) => 0

[.,[[.,[.,.]],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,1)],2) => ([(0,1)],2) => 0

[.,[[[.,.],.],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,1)],2) => ([(0,1)],2) => 0

[.,[[.,[.,[.,.]]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[.,[[.,[[.,.],.]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[.,[[[.,[.,.]],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[.,[[[[.,.],.],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[[.,.],[.,[.,[.,.]]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[[.,.],[.,[[.,.],.]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[[.,.],[[.,[.,.]],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[[.,.],[[[.,.],.],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[[.,[.,.]],[.,[.,.]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[[.,[.,.]],[[.,.],.]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[[[.,.],.],[.,[.,.]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[[[.,.],.],[[.,.],.]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[[.,[.,[.,.]]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[[.,[[.,.],.]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[[[.,[.,.]],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[[[[.,.],.],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[[.,[.,[.,[.,.]]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[[.,[.,[[.,.],.]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[[.,[[.,[.,.]],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[[.,[[[.,.],.],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[[[.,.],[.,[.,.]]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,1)],2) => ([(0,1)],2) => 0

[[[.,.],[[.,.],.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,1)],2) => ([(0,1)],2) => 0

[[[.,[.,.]],[.,.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,1)],2) => ([(0,1)],2) => 0

[[[[.,.],.],[.,.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,1)],2) => ([(0,1)],2) => 0

[[[.,[.,[.,.]]],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[[[.,[[.,.],.]],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[[[[.,[.,.]],.],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[[[[[.,.],.],.],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16) => 0

[.,[.,[.,[.,[.,[.,.]]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[.,[.,[.,[.,[[.,.],.]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[.,[.,[.,[[.,[.,.]],.]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[.,[.,[.,[[[.,.],.],.]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[.,[.,[[.,.],[.,[.,.]]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,1)],2) => ([(0,1)],2) => 0

[.,[.,[[.,.],[[.,.],.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,1)],2) => ([(0,1)],2) => 0

[.,[.,[[.,[.,.]],[.,.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,1)],2) => ([(0,1)],2) => 0

[.,[.,[[[.,.],.],[.,.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,1)],2) => ([(0,1)],2) => 0

[.,[.,[[.,[.,[.,.]]],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[.,[.,[[.,[[.,.],.]],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[.,[.,[[[.,[.,.]],.],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[.,[.,[[[[.,.],.],.],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[.,[[.,.],[.,[.,[.,.]]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[.,[[.,.],[.,[[.,.],.]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[.,[[.,.],[[.,[.,.]],.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[.,[[.,.],[[[.,.],.],.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[.,[[.,[.,.]],[.,[.,.]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[.,[[.,[.,.]],[[.,.],.]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[.,[[[.,.],.],[.,[.,.]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[.,[[[.,.],.],[[.,.],.]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[.,[[.,[.,[.,.]]],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[.,[[.,[[.,.],.]],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[.,[[[.,[.,.]],.],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[.,[[[[.,.],.],.],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,2),(2,1)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0

[.,[[.,[.,[.,[.,.]]]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[.,[[.,[.,[[.,.],.]]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[.,[[.,[[.,[.,.]],.]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[.,[[.,[[[.,.],.],.]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[.,[[[.,.],[.,[.,.]]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,1)],2) => ([(0,1)],2) => 0

[.,[[[.,.],[[.,.],.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,1)],2) => ([(0,1)],2) => 0

[.,[[[.,[.,.]],[.,.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,1)],2) => ([(0,1)],2) => 0

[.,[[[[.,.],.],[.,.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,1)],2) => ([(0,1)],2) => 0

[.,[[[.,[.,[.,.]]],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[.,[[[.,[[.,.],.]],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[.,[[[[.,[.,.]],.],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[.,[[[[[.,.],.],.],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32) => 0

[[.,.],[.,[.,[.,[.,.]]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,3),(2,1),(3,2)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0

[[.,.],[.,[.,[[.,.],.]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,3),(2,1),(3,2)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0

[[.,.],[.,[[.,[.,.]],.]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,3),(2,1),(3,2)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0

[[.,.],[.,[[[.,.],.],.]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,3),(2,1),(3,2)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0

[[.,.],[[.,.],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,1)],2) => ([(0,1)],2) => 0

[[.,.],[[.,.],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,1)],2) => ([(0,1)],2) => 0

[[.,.],[[.,[.,.]],[.,.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,1)],2) => ([(0,1)],2) => 0

[[.,.],[[[.,.],.],[.,.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,1)],2) => ([(0,1)],2) => 0

[[.,.],[[.,[.,[.,.]]],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,3),(2,1),(3,2)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0

[[.,.],[[.,[[.,.],.]],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,3),(2,1),(3,2)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0

[[.,.],[[[.,[.,.]],.],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,3),(2,1),(3,2)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0

>>> Load all 790 entries. <<<

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 Frankl number of a lattice.
For a lattice $L$ on at least two elements, this is
$$ \max_x(|L|-2|[x, 1]|), $$
where we maximize over all join irreducible elements and $[x, 1]$ denotes the interval from $x$ to the top element. Frankl's conjecture asserts that this number is non-negative, and zero if and only if $L$ is a Boolean lattice.

Map

lattice of congruences

Description

The lattice of congruences of a lattice.
A congruence of a lattice is an equivalence relation such that $a_1 \cong a_2$ and $b_1 \cong b_2$ implies $a_1 \vee b_1 \cong a_2 \vee b_2$ and $a_1 \wedge b_1 \cong a_2 \wedge b_2$.
The set of congruences ordered by refinement forms a lattice.

Map

antichains of maximal size

Description

The lattice of antichains of maximal size in a poset.
The set of antichains of maximal size can be ordered by setting $A \leq B \leftrightarrow \mathop{\downarrow} A \subseteq \mathop{\downarrow} B$, where $\mathop{\downarrow} A$ is the order ideal generated by $A$.
This is a sublattice of the lattice of all antichains with respect to the same order relation. In particular, it is distributive.

Map

to poset

Description

Return the poset obtained by interpreting the tree as a Hasse diagram.