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