@@ -1129,7 +1129,8 @@ def rise_contact_involution(self) -> TIP:
1129
1129
1130
1130
EXAMPLES::
1131
1131
1132
- sage: tip = TamariIntervalPoset(8, [(1,2), (2,4), (3,4), (6,7), (3,2), (5,4), (6,4), (8,7)])
1132
+ sage: tip = TamariIntervalPoset(8, [(1,2), (2,4), (3,4), (6,7),
1133
+ ....: (3,2), (5,4), (6,4), (8,7)])
1133
1134
sage: t = tip.rise_contact_involution(); t
1134
1135
The Tamari interval of size 8 induced by relations [(2, 8), (3, 8),
1135
1136
(4, 5), (5, 7), (6, 7), (7, 8), (8, 1), (7, 2), (6, 2), (5, 3),
@@ -1840,13 +1841,16 @@ def lower_binary_tree(self):
1840
1841
1841
1842
EXAMPLES::
1842
1843
1843
- sage: ip = TamariIntervalPoset(6,[(3,2),(4,3),(5,2),(6,5),(1,2),(4,5)]); ip
1844
- The Tamari interval of size 6 induced by relations [(1, 2), (4, 5), (6, 5), (5, 2), (4, 3), (3, 2)]
1844
+ sage: ip = TamariIntervalPoset(6, [(3,2),(4,3),(5,2),(6,5),(1,2),(4,5)]); ip
1845
+ The Tamari interval of size 6 induced by relations
1846
+ [(1, 2), (4, 5), (6, 5), (5, 2), (4, 3), (3, 2)]
1845
1847
sage: ip.lower_binary_tree()
1846
1848
[[., .], [[., [., .]], [., .]]]
1847
- sage: TamariIntervalPosets.final_forest(ip.lower_binary_tree()) == ip.final_forest()
1849
+ sage: ff = TamariIntervalPosets.final_forest(ip.lower_binary_tree())
1850
+ sage: ff == ip.final_forest()
1848
1851
True
1849
- sage: ip == TamariIntervalPosets.from_binary_trees(ip.lower_binary_tree(),ip.upper_binary_tree())
1852
+ sage: ip == TamariIntervalPosets.from_binary_trees(ip.lower_binary_tree(),
1853
+ ....: ip.upper_binary_tree())
1850
1854
True
1851
1855
"""
1852
1856
return self .min_linear_extension ().binary_search_tree_shape (left_to_right = False )
@@ -1891,9 +1895,11 @@ def upper_binary_tree(self):
1891
1895
EXAMPLES::
1892
1896
1893
1897
sage: ip = TamariIntervalPoset(6,[(3,2),(4,3),(5,2),(6,5),(1,2),(4,5)]); ip
1894
- The Tamari interval of size 6 induced by relations [(1, 2), (4, 5), (6, 5), (5, 2), (4, 3), (3, 2)]
1898
+ The Tamari interval of size 6 induced by relations
1899
+ [(1, 2), (4, 5), (6, 5), (5, 2), (4, 3), (3, 2)]
1895
1900
sage: ip.upper_binary_tree()
1896
1901
[[., .], [., [[., .], [., .]]]]
1902
+
1897
1903
sage: TamariIntervalPosets.initial_forest(ip.upper_binary_tree()) == ip.initial_forest()
1898
1904
True
1899
1905
sage: ip == TamariIntervalPosets.from_binary_trees(ip.lower_binary_tree(),ip.upper_binary_tree())
@@ -1941,8 +1947,9 @@ def subposet(self, start, end) -> TIP:
1941
1947
1942
1948
EXAMPLES::
1943
1949
1944
- sage: ip = TamariIntervalPoset(6,[(3,2),(4,3),(5,2),(6,5),(1,2),(3,5),(4,5)]); ip
1945
- The Tamari interval of size 6 induced by relations [(1, 2), (3, 5), (4, 5), (6, 5), (5, 2), (4, 3), (3, 2)]
1950
+ sage: ip = TamariIntervalPoset(6, [(3,2),(4,3),(5,2),(6,5),(1,2),(3,5),(4,5)]); ip
1951
+ The Tamari interval of size 6 induced by relations
1952
+ [(1, 2), (3, 5), (4, 5), (6, 5), (5, 2), (4, 3), (3, 2)]
1946
1953
sage: ip.subposet(1,3)
1947
1954
The Tamari interval of size 2 induced by relations [(1, 2)]
1948
1955
sage: ip.subposet(1,4)
@@ -2109,12 +2116,16 @@ def lower_contained_intervals(self) -> Iterator[TIP]:
2109
2116
2110
2117
EXAMPLES::
2111
2118
2112
- sage: ip = TamariIntervalPoset(4,[(2,4),(3,4),(2,1),(3,1)])
2119
+ sage: ip = TamariIntervalPoset(4, [(2,4),(3,4),(2,1),(3,1)])
2113
2120
sage: list(ip.lower_contained_intervals())
2114
- [The Tamari interval of size 4 induced by relations [(2, 4), (3, 4), (3, 1), (2, 1)],
2115
- The Tamari interval of size 4 induced by relations [(1, 4), (2, 4), (3, 4), (3, 1), (2, 1)],
2116
- The Tamari interval of size 4 induced by relations [(2, 3), (3, 4), (3, 1), (2, 1)],
2117
- The Tamari interval of size 4 induced by relations [(1, 4), (2, 3), (3, 4), (3, 1), (2, 1)]]
2121
+ [The Tamari interval of size 4 induced by relations
2122
+ [(2, 4), (3, 4), (3, 1), (2, 1)],
2123
+ The Tamari interval of size 4 induced by relations
2124
+ [(1, 4), (2, 4), (3, 4), (3, 1), (2, 1)],
2125
+ The Tamari interval of size 4 induced by relations
2126
+ [(2, 3), (3, 4), (3, 1), (2, 1)],
2127
+ The Tamari interval of size 4 induced by relations
2128
+ [(1, 4), (2, 3), (3, 4), (3, 1), (2, 1)]]
2118
2129
sage: ip = TamariIntervalPoset(4,[])
2119
2130
sage: len(list(ip.lower_contained_intervals()))
2120
2131
14
@@ -2256,12 +2267,15 @@ def maximal_chain_tamari_intervals(self) -> Iterator[TIP]:
2256
2267
2257
2268
EXAMPLES::
2258
2269
2259
- sage: ip = TamariIntervalPoset(4,[(2,4),(3,4),(2,1),(3,1)])
2270
+ sage: ip = TamariIntervalPoset(4, [(2,4),(3,4),(2,1),(3,1)])
2260
2271
sage: list(ip.maximal_chain_tamari_intervals())
2261
- [The Tamari interval of size 4 induced by relations [(2, 4), (3, 4), (3, 1), (2, 1)],
2262
- The Tamari interval of size 4 induced by relations [(2, 4), (3, 4), (4, 1), (3, 1), (2, 1)],
2263
- The Tamari interval of size 4 induced by relations [(2, 4), (3, 4), (4, 1), (3, 2), (2, 1)]]
2264
- sage: ip = TamariIntervalPoset(4,[])
2272
+ [The Tamari interval of size 4 induced by relations
2273
+ [(2, 4), (3, 4), (3, 1), (2, 1)],
2274
+ The Tamari interval of size 4 induced by relations
2275
+ [(2, 4), (3, 4), (4, 1), (3, 1), (2, 1)],
2276
+ The Tamari interval of size 4 induced by relations
2277
+ [(2, 4), (3, 4), (4, 1), (3, 2), (2, 1)]]
2278
+ sage: ip = TamariIntervalPoset(4, [])
2265
2279
sage: list(ip.maximal_chain_tamari_intervals())
2266
2280
[The Tamari interval of size 4 induced by relations [],
2267
2281
The Tamari interval of size 4 induced by relations [(2, 1)],
@@ -2405,7 +2419,8 @@ def tamari_inversions_iter(self) -> Iterator[tuple[int, int]]:
2405
2419
sage: list(T.tamari_inversions_iter())
2406
2420
[(4, 5)]
2407
2421
2408
- sage: T = TamariIntervalPoset(8, [(2, 7), (3, 7), (4, 7), (5, 7), (6, 7), (8, 7), (6, 4), (5, 4), (4, 3), (3, 2)])
2422
+ sage: T = TamariIntervalPoset(8, [(2, 7), (3, 7), (4, 7), (5, 7), (6, 7),
2423
+ ....: (8, 7), (6, 4), (5, 4), (4, 3), (3, 2)])
2409
2424
sage: list(T.tamari_inversions_iter())
2410
2425
[(1, 2), (1, 7), (5, 6)]
2411
2426
@@ -2565,12 +2580,14 @@ def decomposition_to_triple(self) -> None | tuple[TIP, TIP, int]:
2565
2580
2566
2581
EXAMPLES::
2567
2582
2568
- sage: tip = TamariIntervalPoset(8, [(1,2), (2,4), (3,4), (6,7), (3,2), (5,4), (6,4), (8,7)])
2583
+ sage: tip = TamariIntervalPoset(8, [(1,2), (2,4), (3,4), (6,7),
2584
+ ....: (3,2), (5,4), (6,4), (8,7)])
2569
2585
sage: tip.decomposition_to_triple()
2570
2586
(The Tamari interval of size 3 induced by relations [(1, 2), (3, 2)],
2571
- The Tamari interval of size 4 induced by relations [(2, 3), (4, 3)],
2572
- 2)
2573
- sage: tip == TamariIntervalPosets.recomposition_from_triple(*tip.decomposition_to_triple())
2587
+ The Tamari interval of size 4 induced by relations [(2, 3), (4, 3)],
2588
+ 2)
2589
+ sage: tip == TamariIntervalPosets.recomposition_from_triple(
2590
+ ....: *tip.decomposition_to_triple())
2574
2591
True
2575
2592
2576
2593
TESTS::
@@ -2600,7 +2617,8 @@ def grafting_tree(self) -> LabelledBinaryTree:
2600
2617
2601
2618
EXAMPLES::
2602
2619
2603
- sage: tip = TamariIntervalPoset(8, [(1,2), (2,4), (3,4), (6,7), (3,2), (5,4), (6,4), (8,7)])
2620
+ sage: tip = TamariIntervalPoset(8, [(1,2), (2,4), (3,4), (6,7),
2621
+ ....: (3,2), (5,4), (6,4), (8,7)])
2604
2622
sage: tip.grafting_tree()
2605
2623
2[1[0[., .], 0[., .]], 0[., 1[0[., .], 0[., .]]]]
2606
2624
sage: tip == TamariIntervalPosets.from_grafting_tree(tip.grafting_tree())
@@ -2906,7 +2924,7 @@ class options(GlobalOptions):
2906
2924
sage: TIP = TamariIntervalPosets
2907
2925
sage: TIP.options.latex_color_decreasing
2908
2926
red
2909
- sage: TIP.options.latex_color_decreasing= 'green'
2927
+ sage: TIP.options.latex_color_decreasing = 'green'
2910
2928
sage: TIP.options.latex_color_decreasing
2911
2929
green
2912
2930
sage: TIP.options._reset()
@@ -3243,7 +3261,8 @@ def from_binary_trees(tree1, tree2) -> TIP:
3243
3261
sage: tree1 = BinaryTree([[],[[None,[]],[]]])
3244
3262
sage: tree2 = BinaryTree([None,[None,[None,[[],[]]]]])
3245
3263
sage: TamariIntervalPosets.from_binary_trees(tree1,tree2)
3246
- The Tamari interval of size 6 induced by relations [(4, 5), (6, 5), (5, 2), (4, 3), (3, 2)]
3264
+ The Tamari interval of size 6 induced by relations
3265
+ [(4, 5), (6, 5), (5, 2), (4, 3), (3, 2)]
3247
3266
3248
3267
sage: tree3 = BinaryTree([None,[None,[[],[None,[]]]]])
3249
3268
sage: TamariIntervalPosets.from_binary_trees(tree1,tree3)
0 commit comments