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