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