show all invariants|show all metadata
Input data and context
% 9_37-2
s.l2.y1.x0.l2.x1.x1.x3.u2.y0.u1
,1
% Simplifies with options '-q' to r1.r2.y4.y3.x2.r3.y4.x1.x2.r4.x3.x3.y5.x4.y5.y6.y7.x2.x3.x3.y1.x2.y3.x4.u3.x1.y2.u3.u2.x0.x1.u2
% Simplifies with options '-qs' to r1.r2.y4.y3.x2.x1.r2.y3.y4.r5.x4.x3.x3.x2.x4.x3.y5.y4.y1.y2.x3.u2.x2.y4.x3.y5.y6.u4.x1.u2.x0.u1
% Simplifies with options '-qs' to r1.y2.r3.x2.x2.x1.r4.y5.x3.x2.r3.y4.x3.x2.y1.y5.x4.x3.y5.y4.y6.y2.x3.x4.u2.x1.x0.u3.y3.u2.x1.u2
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c2-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_37-2/cxBNr-c2-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^ -6 q^-22 δ^-5 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^-10 q^-28 δ^-4 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-10 q^-28 δ^-4 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ -9 q^-26 δ^-4 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^-14 q^-34 δ^-3 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
6) h^-13 q^-32 δ^-3 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
7) h^-13 q^-32 δ^-3 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
8) h^-12 q^-30 δ^-3 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
9) h^-17 q^-38 δ^-2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
10) h^-16 q^-36 δ^-2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
11) h^ -8 q^-24 δ^-4 ⬯<—D——⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯
options -c3-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_37-2/cxBNr-c3-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^ -8 q^-24 δ^ -4 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^-13 q^-32 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^-12 q^-30 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^-12 q^-30 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^-11 q^-28 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
6) h^-17 q^-38 δ^ -2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
7) h^-16 q^-36 δ^ -2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
8) h^ -6 q^-22 δ^ -5 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
9) h^-10 q^-28 δ^ -4 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
10) h^ -9 q^-26 δ^ -4 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
11) h^ -8 q^-23 δ^-7/2 ⬮——D—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯
options -c5-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_37-2/cxBNr-c5-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^ -8 q^-24 δ^ -4 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^-13 q^-32 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^-12 q^-30 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^-12 q^-30 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^-11 q^-28 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
6) h^-17 q^-38 δ^ -2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
7) h^-16 q^-36 δ^ -2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
8) h^ -6 q^-22 δ^ -5 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
9) h^-10 q^-28 δ^ -4 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
10) h^ -9 q^-26 δ^ -4 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
11) h^ -8 q^-23 δ^-7/2 ⬮——D—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯
options -c7-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_37-2/cxBNr-c7-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^ -8 q^-24 δ^ -4 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^-13 q^-32 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^-12 q^-30 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^-12 q^-30 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^-11 q^-28 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
6) h^-17 q^-38 δ^ -2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
7) h^-16 q^-36 δ^ -2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
8) h^ -6 q^-22 δ^ -5 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
9) h^-10 q^-28 δ^ -4 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
10) h^ -9 q^-26 δ^ -4 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
11) h^ -8 q^-23 δ^-7/2 ⬮——D—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯
options -c11-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_37-2/cxBNr-c11-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^ -8 q^-24 δ^ -4 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^-13 q^-32 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^-12 q^-30 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^-12 q^-30 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^-11 q^-28 δ^ -3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
6) h^-17 q^-38 δ^ -2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
7) h^-16 q^-36 δ^ -2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
8) h^ -6 q^-22 δ^ -5 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
9) h^-10 q^-28 δ^ -4 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
10) h^ -9 q^-26 δ^ -4 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
11) h^ -8 q^-23 δ^-7/2 ⬮——D—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c2-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_37-2/cxKhr-c2-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^ -9 q^-25 δ^-7/2 ⬯~~S^2~>⬯<— r(∞) q^-24 δ_^0
2) h^ -7 q^-23 δ^-9/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-18 δ|^-5
3) h^ -6 q^-21 δ^-9/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-5
4) h^ -6 q^-21 δ^-9/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-5
5) h^-11 q^-29 δ^-7/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-24 δ|^-4
6) h^-11 q^-29 δ^-7/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-24 δ|^-4
7) h^-10 q^-27 δ^-7/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-4
8) h^-10 q^-27 δ^-7/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-4
9) h^-10 q^-27 δ^-7/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-4
10) h^-10 q^-27 δ^-7/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-4
11) h^ -9 q^-25 δ^-7/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-4
12) h^-15 q^-35 δ^-5/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-30 δ|^-3
13) h^-14 q^-33 δ^-5/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-28 δ|^-3
14) h^-14 q^-33 δ^-5/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-28 δ|^-3
15) h^-14 q^-33 δ^-5/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-28 δ|^-3
16) h^-13 q^-31 δ^-5/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-3
17) h^-13 q^-31 δ^-5/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-3
18) h^-13 q^-31 δ^-5/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-3
19) h^-12 q^-29 δ^-5/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-24 δ|^-3
20) h^-18 q^-39 δ^-3/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-34 δ|^-2
21) h^-17 q^-37 δ^-3/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-2
22) h^-17 q^-37 δ^-3/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-2
23) h^-16 q^-35 δ^-3/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-30 δ|^-2
options -c3-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_37-2/cxKhr-c3-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^ -9 q^-24 δ^ -3 ⬮~~(-S^2)~>⬮—>⬮~>⬯<—⬯<~⬮<— r(-1/2) q^-64/3 δ|^-3
2) h^ -9 q^-25 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-22 δ|^-4
3) h^ -8 q^-23 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-20 δ|^-4
4) h^ -8 q^-23 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-20 δ|^-4
5) h^-14 q^-33 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-30 δ|^-3
6) h^-13 q^-31 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-28 δ|^-3
7) h^-13 q^-31 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-28 δ|^-3
8) h^-13 q^-31 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-28 δ|^-3
9) h^-12 q^-29 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-26 δ|^-3
10) h^-12 q^-29 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-26 δ|^-3
11) h^-12 q^-29 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-26 δ|^-3
12) h^-11 q^-27 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-24 δ|^-3
13) h^-18 q^-39 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-36 δ|^-2
14) h^-17 q^-37 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-34 δ|^-2
15) h^-17 q^-37 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-34 δ|^-2
16) h^-16 q^-35 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-32 δ|^-2
17) h^ -7 q^-23 δ^-9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-18 δ|^-5
18) h^ -6 q^-21 δ^-9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-5
19) h^ -6 q^-21 δ^-9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-5
20) h^-11 q^-29 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-24 δ|^-4
21) h^-10 q^-27 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-4
22) h^-10 q^-27 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-4
23) h^ -9 q^-25 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-4
options -c5-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_37-2/cxKhr-c5-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^ -9 q^-24 δ^ -3 ⬮~~(-S^2)~>⬮—>⬮~>⬯<—⬯<~⬮<— r(-1/2) q^-64/3 δ|^-3
2) h^ -9 q^-25 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-22 δ|^-4
3) h^ -8 q^-23 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-20 δ|^-4
4) h^ -8 q^-23 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-20 δ|^-4
5) h^-14 q^-33 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-30 δ|^-3
6) h^-13 q^-31 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-28 δ|^-3
7) h^-13 q^-31 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-28 δ|^-3
8) h^-13 q^-31 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-28 δ|^-3
9) h^-12 q^-29 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-26 δ|^-3
10) h^-12 q^-29 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-26 δ|^-3
11) h^-12 q^-29 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-26 δ|^-3
12) h^-11 q^-27 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-24 δ|^-3
13) h^-18 q^-39 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-36 δ|^-2
14) h^-17 q^-37 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-34 δ|^-2
15) h^-17 q^-37 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-34 δ|^-2
16) h^-16 q^-35 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-32 δ|^-2
17) h^ -7 q^-23 δ^-9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-18 δ|^-5
18) h^ -6 q^-21 δ^-9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-5
19) h^ -6 q^-21 δ^-9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-5
20) h^-11 q^-29 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-24 δ|^-4
21) h^-10 q^-27 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-4
22) h^-10 q^-27 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-4
23) h^ -9 q^-25 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-4
options -c7-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_37-2/cxKhr-c7-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^ -9 q^-24 δ^ -3 ⬮~~(-S^2)~>⬮—>⬮~>⬯<—⬯<~⬮<— r(-1/2) q^-64/3 δ|^-3
2) h^ -9 q^-25 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-22 δ|^-4
3) h^ -8 q^-23 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-20 δ|^-4
4) h^ -8 q^-23 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-20 δ|^-4
5) h^-14 q^-33 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-30 δ|^-3
6) h^-13 q^-31 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-28 δ|^-3
7) h^-13 q^-31 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-28 δ|^-3
8) h^-13 q^-31 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-28 δ|^-3
9) h^-12 q^-29 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-26 δ|^-3
10) h^-12 q^-29 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-26 δ|^-3
11) h^-12 q^-29 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-26 δ|^-3
12) h^-11 q^-27 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-24 δ|^-3
13) h^-18 q^-39 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-36 δ|^-2
14) h^-17 q^-37 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-34 δ|^-2
15) h^-17 q^-37 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-34 δ|^-2
16) h^-16 q^-35 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-32 δ|^-2
17) h^ -7 q^-23 δ^-9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-18 δ|^-5
18) h^ -6 q^-21 δ^-9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-5
19) h^ -6 q^-21 δ^-9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-5
20) h^-11 q^-29 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-24 δ|^-4
21) h^-10 q^-27 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-4
22) h^-10 q^-27 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-4
23) h^ -9 q^-25 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-4
options -c11-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_37-2/cxKhr-c11-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^ -9 q^-24 δ^ -3 ⬮~~(-S^2)~>⬮—>⬮~>⬯<—⬯<~⬮<— r(-1/2) q^-64/3 δ|^-3
2) h^ -9 q^-25 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-22 δ|^-4
3) h^ -8 q^-23 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-20 δ|^-4
4) h^ -8 q^-23 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-20 δ|^-4
5) h^-14 q^-33 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-30 δ|^-3
6) h^-13 q^-31 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-28 δ|^-3
7) h^-13 q^-31 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-28 δ|^-3
8) h^-13 q^-31 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-28 δ|^-3
9) h^-12 q^-29 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-26 δ|^-3
10) h^-12 q^-29 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-26 δ|^-3
11) h^-12 q^-29 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-26 δ|^-3
12) h^-11 q^-27 δ^-5/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-24 δ|^-3
13) h^-18 q^-39 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-36 δ|^-2
14) h^-17 q^-37 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-34 δ|^-2
15) h^-17 q^-37 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-34 δ|^-2
16) h^-16 q^-35 δ^-3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^-32 δ|^-2
17) h^ -7 q^-23 δ^-9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-18 δ|^-5
18) h^ -6 q^-21 δ^-9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-5
19) h^ -6 q^-21 δ^-9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-5
20) h^-11 q^-29 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-24 δ|^-4
21) h^-10 q^-27 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-4
22) h^-10 q^-27 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-4
23) h^ -9 q^-25 δ^-7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-4
Khovanov type D structure \(\mathrm{\widetilde{CKh}}(L)\)
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/9_37-2/cxCKh-c2', generated by kht, version v0.1, on Sun Mar 7 18:15:16 2021 GMT
1) h^ 0 q^ 0 δ^0 ⬮
2) h^-5 q^-10 δ^0 ⬮——H—>⬮
3) h^-4 q^ -8 δ^0 ⬮——H—>⬮
4) h^-4 q^ -8 δ^0 ⬮——H—>⬮
5) h^-3 q^ -6 δ^0 ⬮——H—>⬮
6) h^-3 q^ -6 δ^0 ⬮——H—>⬮
7) h^-2 q^ -4 δ^0 ⬮——H—>⬮
8) h^-2 q^ -4 δ^0 ⬮——H—>⬮
9) h^-2 q^ -4 δ^0 ⬮——H—>⬮
10) h^-2 q^ -4 δ^0 ⬮——H—>⬮
11) h^-2 q^ -4 δ^0 ⬮——H—>⬮
12) h^-1 q^ -2 δ^0 ⬮——H—>⬮
13) h^-1 q^ -2 δ^0 ⬮——H—>⬮
14) h^-1 q^ -2 δ^0 ⬮——H—>⬮
15) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
16) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
17) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
18) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
19) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
20) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
21) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
22) h^ 2 q^ 4 δ^0 ⬮——H—>⬮
23) h^ 3 q^ 6 δ^0 ⬮——H—>⬮
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/9_37-2/cxCKh-c3', generated by kht, version v0.1, on Sun Mar 7 18:15:16 2021 GMT
1) h^ 0 q^ 0 δ^0 ⬮
2) h^-5 q^-10 δ^0 ⬮——H—>⬮
3) h^-4 q^ -8 δ^0 ⬮——H—>⬮
4) h^-4 q^ -8 δ^0 ⬮——H—>⬮
5) h^-3 q^ -6 δ^0 ⬮——H—>⬮
6) h^-3 q^ -6 δ^0 ⬮——H—>⬮
7) h^-2 q^ -4 δ^0 ⬮——H—>⬮
8) h^-2 q^ -4 δ^0 ⬮——H—>⬮
9) h^-2 q^ -4 δ^0 ⬮——H—>⬮
10) h^-2 q^ -4 δ^0 ⬮——H—>⬮
11) h^-2 q^ -4 δ^0 ⬮——H—>⬮
12) h^-1 q^ -2 δ^0 ⬮——H—>⬮
13) h^-1 q^ -2 δ^0 ⬮——H—>⬮
14) h^-1 q^ -2 δ^0 ⬮——H—>⬮
15) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
16) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
17) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
18) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
19) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
20) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
21) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
22) h^ 2 q^ 4 δ^0 ⬮——H—>⬮
23) h^ 3 q^ 6 δ^0 ⬮——H—>⬮
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/9_37-2/cxCKh-c5', generated by kht, version v0.1, on Sun Mar 7 18:15:16 2021 GMT
1) h^ 0 q^ 0 δ^0 ⬮
2) h^-5 q^-10 δ^0 ⬮——H—>⬮
3) h^-4 q^ -8 δ^0 ⬮——H—>⬮
4) h^-4 q^ -8 δ^0 ⬮——H—>⬮
5) h^-3 q^ -6 δ^0 ⬮——H—>⬮
6) h^-3 q^ -6 δ^0 ⬮——H—>⬮
7) h^-2 q^ -4 δ^0 ⬮——H—>⬮
8) h^-2 q^ -4 δ^0 ⬮——H—>⬮
9) h^-2 q^ -4 δ^0 ⬮——H—>⬮
10) h^-2 q^ -4 δ^0 ⬮——H—>⬮
11) h^-2 q^ -4 δ^0 ⬮——H—>⬮
12) h^-1 q^ -2 δ^0 ⬮——H—>⬮
13) h^-1 q^ -2 δ^0 ⬮——H—>⬮
14) h^-1 q^ -2 δ^0 ⬮——H—>⬮
15) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
16) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
17) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
18) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
19) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
20) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
21) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
22) h^ 2 q^ 4 δ^0 ⬮——H—>⬮
23) h^ 3 q^ 6 δ^0 ⬮——H—>⬮
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/9_37-2/cxCKh-c7', generated by kht, version v0.1, on Sun Mar 7 18:15:16 2021 GMT
1) h^ 0 q^ 0 δ^0 ⬮
2) h^-5 q^-10 δ^0 ⬮——H—>⬮
3) h^-4 q^ -8 δ^0 ⬮——H—>⬮
4) h^-4 q^ -8 δ^0 ⬮——H—>⬮
5) h^-3 q^ -6 δ^0 ⬮——H—>⬮
6) h^-3 q^ -6 δ^0 ⬮——H—>⬮
7) h^-2 q^ -4 δ^0 ⬮——H—>⬮
8) h^-2 q^ -4 δ^0 ⬮——H—>⬮
9) h^-2 q^ -4 δ^0 ⬮——H—>⬮
10) h^-2 q^ -4 δ^0 ⬮——H—>⬮
11) h^-2 q^ -4 δ^0 ⬮——H—>⬮
12) h^-1 q^ -2 δ^0 ⬮——H—>⬮
13) h^-1 q^ -2 δ^0 ⬮——H—>⬮
14) h^-1 q^ -2 δ^0 ⬮——H—>⬮
15) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
16) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
17) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
18) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
19) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
20) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
21) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
22) h^ 2 q^ 4 δ^0 ⬮——H—>⬮
23) h^ 3 q^ 6 δ^0 ⬮——H—>⬮
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/9_37-2/cxCKh-c11', generated by kht, version v0.1, on Sun Mar 7 18:15:16 2021 GMT
1) h^ 0 q^ 0 δ^0 ⬮
2) h^-5 q^-10 δ^0 ⬮——H—>⬮
3) h^-4 q^ -8 δ^0 ⬮——H—>⬮
4) h^-4 q^ -8 δ^0 ⬮——H—>⬮
5) h^-3 q^ -6 δ^0 ⬮——H—>⬮
6) h^-3 q^ -6 δ^0 ⬮——H—>⬮
7) h^-2 q^ -4 δ^0 ⬮——H—>⬮
8) h^-2 q^ -4 δ^0 ⬮——H—>⬮
9) h^-2 q^ -4 δ^0 ⬮——H—>⬮
10) h^-2 q^ -4 δ^0 ⬮——H—>⬮
11) h^-2 q^ -4 δ^0 ⬮——H—>⬮
12) h^-1 q^ -2 δ^0 ⬮——H—>⬮
13) h^-1 q^ -2 δ^0 ⬮——H—>⬮
14) h^-1 q^ -2 δ^0 ⬮——H—>⬮
15) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
16) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
17) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
18) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
19) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
20) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
21) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
22) h^ 2 q^ 4 δ^0 ⬮——H—>⬮
23) h^ 3 q^ 6 δ^0 ⬮——H—>⬮