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