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