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