show all invariants|show all metadata
Input data and context
% 9_42
s.r1.x0.y1.y2.y1.x0.x0.u1
,1
% Simplifies with options '-q' to l1.y2.r3.x2.x2.y3.x1.y4.x2.x3.x2.x2.x3.x2.x3.x2.x3.x2.y1.y2.y0.y1.u3.u2.x0.x0
% Simplifies with options '-qs' to l1.l3.y2.y4.y3.x4.x4.x2.x1.x4.y3.x2.y4.x3.x2.x3.x2.x2.y1.x3.x3.x4.u2.x1.x2.u0
% Simplifies with options '-qs' to l1.y2.l1.x3.y2.y3.y3.y4.x1.x2.x3.x3.x2.x2.x3.x3.x2.x3.u1.y0.x2.u1.x0.x0.x0.x0
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c2-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_42/cxBNr-c2-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^0 q^0 δ^ 0 ⬯
2) h^5 q^8 δ^-1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^1 q^2 δ^ 0 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c3-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_42/cxBNr-c3-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^0 q^0 δ^ 0 ⬯
2) h^5 q^8 δ^-1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^1 q^2 δ^ 0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c5-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_42/cxBNr-c5-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^0 q^0 δ^ 0 ⬯
2) h^5 q^8 δ^-1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^1 q^2 δ^ 0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c7-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_42/cxBNr-c7-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^0 q^0 δ^ 0 ⬯
2) h^5 q^8 δ^-1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^1 q^2 δ^ 0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c11-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_42/cxBNr-c11-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^0 q^0 δ^ 0 ⬯
2) h^5 q^8 δ^-1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^1 q^2 δ^ 0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c2-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_42/cxKhr-c2-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^-1 q^-1 δ^ 1/2 ⬯~~S^2~>⬯<— r(∞) q^0 δ_^1/2
2) h^ 4 q^ 7 δ^-1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^12 δ|^-1
3) h^ 5 q^ 9 δ^-1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^14 δ|^-1
4) h^ 0 q^ 1 δ^ 1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^6 δ|^0
5) h^ 1 q^ 3 δ^ 1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^8 δ|^0
options -c3-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_42/cxKhr-c3-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^-1 q^-1 δ^ 1/2 ⬯~~(-S^2)~>⬯<— r(∞) q^0 δ_^1/2
2) h^ 4 q^ 7 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^12 δ|^-1
3) h^ 5 q^ 9 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^14 δ|^-1
4) h^ 0 q^ 1 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^6 δ|^0
5) h^ 1 q^ 3 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^8 δ|^0
options -c5-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_42/cxKhr-c5-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^-1 q^-1 δ^ 1/2 ⬯~~(-S^2)~>⬯<— r(∞) q^0 δ_^1/2
2) h^ 4 q^ 7 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^12 δ|^-1
3) h^ 5 q^ 9 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^14 δ|^-1
4) h^ 0 q^ 1 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^6 δ|^0
5) h^ 1 q^ 3 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^8 δ|^0
options -c7-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_42/cxKhr-c7-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^-1 q^-1 δ^ 1/2 ⬯~~(-S^2)~>⬯<— r(∞) q^0 δ_^1/2
2) h^ 4 q^ 7 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^12 δ|^-1
3) h^ 5 q^ 9 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^14 δ|^-1
4) h^ 0 q^ 1 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^6 δ|^0
5) h^ 1 q^ 3 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^8 δ|^0
options -c11-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/9_42/cxKhr-c11-qs', generated by kht, version v0.1, on Sun Mar 7 19:25:23 2021 GMT
1) h^-1 q^-1 δ^ 1/2 ⬯~~(-S^2)~>⬯<— r(∞) q^0 δ_^1/2
2) h^ 4 q^ 7 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^12 δ|^-1
3) h^ 5 q^ 9 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^14 δ|^-1
4) h^ 0 q^ 1 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^6 δ|^0
5) h^ 1 q^ 3 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^8 δ|^0
Khovanov type D structure \(\mathrm{\widetilde{CKh}}(L)\)
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/9_42/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^-6 δ^1 ⬮——H—>⬮
3) h^-2 q^-2 δ^1 ⬮——H—>⬮
4) h^-1 q^ 0 δ^1 ⬮——H—>⬮
5) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/9_42/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^-6 δ^1 ⬮——H—>⬮
3) h^-2 q^-2 δ^1 ⬮——H—>⬮
4) h^-1 q^ 0 δ^1 ⬮——H—>⬮
5) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/9_42/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^-6 δ^1 ⬮——H—>⬮
3) h^-2 q^-2 δ^1 ⬮——H—>⬮
4) h^-1 q^ 0 δ^1 ⬮——H—>⬮
5) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/9_42/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^-6 δ^1 ⬮——H—>⬮
3) h^-2 q^-2 δ^1 ⬮——H—>⬮
4) h^-1 q^ 0 δ^1 ⬮——H—>⬮
5) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/9_42/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^-6 δ^1 ⬮——H—>⬮
3) h^-2 q^-2 δ^1 ⬮——H—>⬮
4) h^-1 q^ 0 δ^1 ⬮——H—>⬮
5) h^ 1 q^ 4 δ^1 ⬮——H—>⬮