show all invariants|show all metadata
Input data and context
% 9_41
s.l2.x1.y0.y0.l2.x1.x3.u2.x1.x0.y2.u1
,1
% Simplifies with options '-q' to l2.y1.l2.x3.y2.y1.y1.y2.y2.y2.y1.y2.y2.y1.y2.y1.r4.x3.x2.x1.y4.y3.x5.x4.x1.x2.y0.y1.u2.x1.u0.y0.y1.u2
% Simplifies with options '-qs' to r1.x2.y1.r3.y2.y1.y1.y2.y2.y1.y2.y2.y1.y1.y2.y1.l3.x2.y3.x1.y2.y4.y3.x1.x2.x2.x1.u0.x3.x2.u1.y0.y1.u2
% Simplifies with options '-qs' to r2.r3.y2.y1.y2.y1.y2.y1.y1.y2.y2.y1.y1.y2.l1.y4.y2.y3.y4.y2.x1.y3.y4.x5.x6.y3.x2.x4.y3.u2.y0.u1.x1.u0
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c2-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_41/cxBNr-c2-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^18 q^50 δ^ 7 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^14 q^44 δ^ 8 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^14 q^44 δ^ 8 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^15 q^46 δ^ 8 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^10 q^38 δ^ 9 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
6) h^10 q^38 δ^ 9 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
7) h^11 q^40 δ^ 9 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
8) h^ 6 q^32 δ^10 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
9) h^ 7 q^34 δ^10 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
10) h^ 3 q^28 δ^11 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
11) h^ 0 q^24 δ^12 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯
options -c3-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_41/cxBNr-c3-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^20 q^54 δ^ 7 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^15 q^46 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^16 q^48 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^16 q^48 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^11 q^40 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
6) h^12 q^42 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
7) h^12 q^42 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
8) h^ 7 q^34 δ^10 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
9) h^ 8 q^36 δ^10 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
10) h^ 3 q^28 δ^11 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
11) h^ 0 q^24 δ^12 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮
options -c5-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_41/cxBNr-c5-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^20 q^54 δ^ 7 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^15 q^46 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^16 q^48 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^16 q^48 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^11 q^40 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
6) h^12 q^42 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
7) h^12 q^42 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
8) h^ 7 q^34 δ^10 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
9) h^ 8 q^36 δ^10 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
10) h^ 3 q^28 δ^11 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
11) h^ 0 q^24 δ^12 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮
options -c7-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_41/cxBNr-c7-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^20 q^54 δ^ 7 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^15 q^46 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^16 q^48 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^16 q^48 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^11 q^40 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
6) h^12 q^42 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
7) h^12 q^42 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
8) h^ 7 q^34 δ^10 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
9) h^ 8 q^36 δ^10 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
10) h^ 3 q^28 δ^11 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
11) h^ 0 q^24 δ^12 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮
options -c11-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_41/cxBNr-c11-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^20 q^54 δ^ 7 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^15 q^46 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^16 q^48 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^16 q^48 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^11 q^40 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
6) h^12 q^42 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
7) h^12 q^42 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
8) h^ 7 q^34 δ^10 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
9) h^ 8 q^36 δ^10 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
10) h^ 3 q^28 δ^11 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
11) h^ 0 q^24 δ^12 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c2-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_41/cxKhr-c2-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^15 q^47 δ^17/2 ⬯~~S^2~>⬯<— r(∞) q^48 δ_^0
2) h^17 q^49 δ^15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^54 δ|^7
3) h^18 q^51 δ^15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^56 δ|^7
4) h^13 q^43 δ^17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^48 δ|^8
5) h^13 q^43 δ^17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^48 δ|^8
6) h^14 q^45 δ^17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^50 δ|^8
7) h^14 q^45 δ^17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^50 δ|^8
8) h^14 q^45 δ^17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^50 δ|^8
9) h^15 q^47 δ^17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^52 δ|^8
10) h^ 9 q^37 δ^19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^42 δ|^9
11) h^ 9 q^37 δ^19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^42 δ|^9
12) h^10 q^39 δ^19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^44 δ|^9
13) h^10 q^39 δ^19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^44 δ|^9
14) h^10 q^39 δ^19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^44 δ|^9
15) h^11 q^41 δ^19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^46 δ|^9
16) h^11 q^41 δ^19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^46 δ|^9
17) h^ 5 q^31 δ^21/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^36 δ|^10
18) h^ 6 q^33 δ^21/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^38 δ|^10
19) h^ 6 q^33 δ^21/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^38 δ|^10
20) h^ 7 q^35 δ^21/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^40 δ|^10
21) h^ 7 q^35 δ^21/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^40 δ|^10
22) h^ 2 q^27 δ^23/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^32 δ|^11
23) h^ 3 q^29 δ^23/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^34 δ|^11
24) h^ 3 q^29 δ^23/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^34 δ|^11
25) h^-1 q^23 δ^25/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^28 δ|^12
options -c3-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_41/cxKhr-c3-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^13 q^43 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬮<—⬮<~⬯<— r(1/2) q^136/3 δ|^8
2) h^19 q^53 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^56 δ|^7
3) h^20 q^55 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^58 δ|^7
4) h^14 q^45 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^48 δ|^8
5) h^15 q^47 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^50 δ|^8
6) h^15 q^47 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^50 δ|^8
7) h^15 q^47 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^50 δ|^8
8) h^16 q^49 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^52 δ|^8
9) h^16 q^49 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^52 δ|^8
10) h^10 q^39 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^42 δ|^9
11) h^11 q^41 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^44 δ|^9
12) h^11 q^41 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^44 δ|^9
13) h^11 q^41 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^44 δ|^9
14) h^12 q^43 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^46 δ|^9
15) h^12 q^43 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^46 δ|^9
16) h^ 6 q^33 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^36 δ|^10
17) h^ 7 q^35 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^38 δ|^10
18) h^ 7 q^35 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^38 δ|^10
19) h^ 8 q^37 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^40 δ|^10
20) h^ 3 q^29 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^32 δ|^11
21) h^ 9 q^37 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^42 δ|^9
22) h^ 5 q^31 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^36 δ|^10
23) h^ 2 q^27 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^32 δ|^11
24) h^ 3 q^29 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^34 δ|^11
25) h^-1 q^23 δ^25/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^28 δ|^12
options -c5-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_41/cxKhr-c5-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^13 q^43 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬮<—⬮<~⬯<— r(1/2) q^136/3 δ|^8
2) h^19 q^53 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^56 δ|^7
3) h^20 q^55 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^58 δ|^7
4) h^14 q^45 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^48 δ|^8
5) h^15 q^47 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^50 δ|^8
6) h^15 q^47 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^50 δ|^8
7) h^15 q^47 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^50 δ|^8
8) h^16 q^49 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^52 δ|^8
9) h^16 q^49 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^52 δ|^8
10) h^10 q^39 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^42 δ|^9
11) h^11 q^41 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^44 δ|^9
12) h^11 q^41 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^44 δ|^9
13) h^11 q^41 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^44 δ|^9
14) h^12 q^43 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^46 δ|^9
15) h^12 q^43 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^46 δ|^9
16) h^ 6 q^33 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^36 δ|^10
17) h^ 7 q^35 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^38 δ|^10
18) h^ 7 q^35 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^38 δ|^10
19) h^ 8 q^37 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^40 δ|^10
20) h^ 3 q^29 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^32 δ|^11
21) h^ 9 q^37 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^42 δ|^9
22) h^ 5 q^31 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^36 δ|^10
23) h^ 2 q^27 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^32 δ|^11
24) h^ 3 q^29 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^34 δ|^11
25) h^-1 q^23 δ^25/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^28 δ|^12
options -c7-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_41/cxKhr-c7-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^13 q^43 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬮<—⬮<~⬯<— r(1/2) q^136/3 δ|^8
2) h^19 q^53 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^56 δ|^7
3) h^20 q^55 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^58 δ|^7
4) h^14 q^45 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^48 δ|^8
5) h^15 q^47 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^50 δ|^8
6) h^15 q^47 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^50 δ|^8
7) h^15 q^47 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^50 δ|^8
8) h^16 q^49 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^52 δ|^8
9) h^16 q^49 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^52 δ|^8
10) h^10 q^39 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^42 δ|^9
11) h^11 q^41 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^44 δ|^9
12) h^11 q^41 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^44 δ|^9
13) h^11 q^41 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^44 δ|^9
14) h^12 q^43 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^46 δ|^9
15) h^12 q^43 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^46 δ|^9
16) h^ 6 q^33 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^36 δ|^10
17) h^ 7 q^35 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^38 δ|^10
18) h^ 7 q^35 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^38 δ|^10
19) h^ 8 q^37 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^40 δ|^10
20) h^ 3 q^29 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^32 δ|^11
21) h^ 9 q^37 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^42 δ|^9
22) h^ 5 q^31 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^36 δ|^10
23) h^ 2 q^27 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^32 δ|^11
24) h^ 3 q^29 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^34 δ|^11
25) h^-1 q^23 δ^25/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^28 δ|^12
options -c11-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_41/cxKhr-c11-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^13 q^43 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬮<—⬮<~⬯<— r(1/2) q^136/3 δ|^8
2) h^19 q^53 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^56 δ|^7
3) h^20 q^55 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^58 δ|^7
4) h^14 q^45 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^48 δ|^8
5) h^15 q^47 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^50 δ|^8
6) h^15 q^47 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^50 δ|^8
7) h^15 q^47 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^50 δ|^8
8) h^16 q^49 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^52 δ|^8
9) h^16 q^49 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^52 δ|^8
10) h^10 q^39 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^42 δ|^9
11) h^11 q^41 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^44 δ|^9
12) h^11 q^41 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^44 δ|^9
13) h^11 q^41 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^44 δ|^9
14) h^12 q^43 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^46 δ|^9
15) h^12 q^43 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^46 δ|^9
16) h^ 6 q^33 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^36 δ|^10
17) h^ 7 q^35 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^38 δ|^10
18) h^ 7 q^35 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^38 δ|^10
19) h^ 8 q^37 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^40 δ|^10
20) h^ 3 q^29 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^32 δ|^11
21) h^ 9 q^37 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^42 δ|^9
22) h^ 5 q^31 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^36 δ|^10
23) h^ 2 q^27 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^32 δ|^11
24) h^ 3 q^29 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^34 δ|^11
25) h^-1 q^23 δ^25/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^28 δ|^12
Khovanov type D structure \(\mathrm{\widetilde{CKh}}(L)\)
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/9_41/cxCKh-c2', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^ 0 q^ 0 δ^0 ⬮
2) h^-6 q^-12 δ^0 ⬮——H—>⬮
3) h^-5 q^-10 δ^0 ⬮——H—>⬮
4) h^-5 q^-10 δ^0 ⬮——H—>⬮
5) h^-4 q^ -8 δ^0 ⬮——H—>⬮
6) h^-4 q^ -8 δ^0 ⬮——H—>⬮
7) h^-4 q^ -8 δ^0 ⬮——H—>⬮
8) h^-3 q^ -6 δ^0 ⬮——H—>⬮
9) h^-3 q^ -6 δ^0 ⬮——H—>⬮
10) h^-3 q^ -6 δ^0 ⬮——H—>⬮
11) h^-3 q^ -6 δ^0 ⬮——H—>⬮
12) h^-2 q^ -4 δ^0 ⬮——H—>⬮
13) h^-2 q^ -4 δ^0 ⬮——H—>⬮
14) h^-2 q^ -4 δ^0 ⬮——H—>⬮
15) h^-2 q^ -4 δ^0 ⬮——H—>⬮
16) h^-1 q^ -2 δ^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^ 0 q^ 0 δ^0 ⬮——H—>⬮
21) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
22) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
23) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
24) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
25) h^ 2 q^ 4 δ^0 ⬮——H—>⬮
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/9_41/cxCKh-c3', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^ 0 q^ 0 δ^0 ⬮
2) h^-6 q^-12 δ^0 ⬮——H—>⬮
3) h^-5 q^-10 δ^0 ⬮——H—>⬮
4) h^-5 q^-10 δ^0 ⬮——H—>⬮
5) h^-4 q^ -8 δ^0 ⬮——H—>⬮
6) h^-4 q^ -8 δ^0 ⬮——H—>⬮
7) h^-4 q^ -8 δ^0 ⬮——H—>⬮
8) h^-3 q^ -6 δ^0 ⬮——H—>⬮
9) h^-3 q^ -6 δ^0 ⬮——H—>⬮
10) h^-3 q^ -6 δ^0 ⬮——H—>⬮
11) h^-3 q^ -6 δ^0 ⬮——H—>⬮
12) h^-2 q^ -4 δ^0 ⬮——H—>⬮
13) h^-2 q^ -4 δ^0 ⬮——H—>⬮
14) h^-2 q^ -4 δ^0 ⬮——H—>⬮
15) h^-2 q^ -4 δ^0 ⬮——H—>⬮
16) h^-1 q^ -2 δ^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^ 0 q^ 0 δ^0 ⬮——H—>⬮
21) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
22) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
23) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
24) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
25) h^ 2 q^ 4 δ^0 ⬮——H—>⬮
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/9_41/cxCKh-c5', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^ 0 q^ 0 δ^0 ⬮
2) h^-6 q^-12 δ^0 ⬮——H—>⬮
3) h^-5 q^-10 δ^0 ⬮——H—>⬮
4) h^-5 q^-10 δ^0 ⬮——H—>⬮
5) h^-4 q^ -8 δ^0 ⬮——H—>⬮
6) h^-4 q^ -8 δ^0 ⬮——H—>⬮
7) h^-4 q^ -8 δ^0 ⬮——H—>⬮
8) h^-3 q^ -6 δ^0 ⬮——H—>⬮
9) h^-3 q^ -6 δ^0 ⬮——H—>⬮
10) h^-3 q^ -6 δ^0 ⬮——H—>⬮
11) h^-3 q^ -6 δ^0 ⬮——H—>⬮
12) h^-2 q^ -4 δ^0 ⬮——H—>⬮
13) h^-2 q^ -4 δ^0 ⬮——H—>⬮
14) h^-2 q^ -4 δ^0 ⬮——H—>⬮
15) h^-2 q^ -4 δ^0 ⬮——H—>⬮
16) h^-1 q^ -2 δ^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^ 0 q^ 0 δ^0 ⬮——H—>⬮
21) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
22) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
23) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
24) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
25) h^ 2 q^ 4 δ^0 ⬮——H—>⬮
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/9_41/cxCKh-c7', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^ 0 q^ 0 δ^0 ⬮
2) h^-6 q^-12 δ^0 ⬮——H—>⬮
3) h^-5 q^-10 δ^0 ⬮——H—>⬮
4) h^-5 q^-10 δ^0 ⬮——H—>⬮
5) h^-4 q^ -8 δ^0 ⬮——H—>⬮
6) h^-4 q^ -8 δ^0 ⬮——H—>⬮
7) h^-4 q^ -8 δ^0 ⬮——H—>⬮
8) h^-3 q^ -6 δ^0 ⬮——H—>⬮
9) h^-3 q^ -6 δ^0 ⬮——H—>⬮
10) h^-3 q^ -6 δ^0 ⬮——H—>⬮
11) h^-3 q^ -6 δ^0 ⬮——H—>⬮
12) h^-2 q^ -4 δ^0 ⬮——H—>⬮
13) h^-2 q^ -4 δ^0 ⬮——H—>⬮
14) h^-2 q^ -4 δ^0 ⬮——H—>⬮
15) h^-2 q^ -4 δ^0 ⬮——H—>⬮
16) h^-1 q^ -2 δ^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^ 0 q^ 0 δ^0 ⬮——H—>⬮
21) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
22) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
23) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
24) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
25) h^ 2 q^ 4 δ^0 ⬮——H—>⬮
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/9_41/cxCKh-c11', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^ 0 q^ 0 δ^0 ⬮
2) h^-6 q^-12 δ^0 ⬮——H—>⬮
3) h^-5 q^-10 δ^0 ⬮——H—>⬮
4) h^-5 q^-10 δ^0 ⬮——H—>⬮
5) h^-4 q^ -8 δ^0 ⬮——H—>⬮
6) h^-4 q^ -8 δ^0 ⬮——H—>⬮
7) h^-4 q^ -8 δ^0 ⬮——H—>⬮
8) h^-3 q^ -6 δ^0 ⬮——H—>⬮
9) h^-3 q^ -6 δ^0 ⬮——H—>⬮
10) h^-3 q^ -6 δ^0 ⬮——H—>⬮
11) h^-3 q^ -6 δ^0 ⬮——H—>⬮
12) h^-2 q^ -4 δ^0 ⬮——H—>⬮
13) h^-2 q^ -4 δ^0 ⬮——H—>⬮
14) h^-2 q^ -4 δ^0 ⬮——H—>⬮
15) h^-2 q^ -4 δ^0 ⬮——H—>⬮
16) h^-1 q^ -2 δ^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^ 0 q^ 0 δ^0 ⬮——H—>⬮
21) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
22) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
23) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
24) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
25) h^ 2 q^ 4 δ^0 ⬮——H—>⬮