show all invariants|show all metadata
Input data and context
% 9_46-1check
% direct computation from quotient tangle
r1.y0.x2.y0.x2.y0.r2.y1.y3.u2.y2.x1.x0.x0.y2.u1.x0.x0
,1,1
% Simplifies with options '-qs' to r1.x2.y0.y0.x1.x2.x1.r2.x1.x1.x4.y3.y4.u0.x0.x1.x1.u2
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/9_46-1check/cxBNr-c2', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^ 0 q^ 0 δ^ 0 ⬯
2) h^ 1 q^ 0 δ^-1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-3 q^-6 δ^ 0 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/9_46-1check/cxBNr-c3', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^1 q^ 0 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^0 q^-1 δ^-1/2 ⬮<—D——⬮<~⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/9_46-1check/cxBNr-c5', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^1 q^ 0 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^0 q^-1 δ^-1/2 ⬮<—D——⬮<~⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/9_46-1check/cxBNr-c7', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^1 q^ 0 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^0 q^-1 δ^-1/2 ⬮<—D——⬮<~⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/9_46-1check/cxBNr-c11', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^1 q^ 0 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^0 q^-1 δ^-1/2 ⬮<—D——⬮<~⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/9_46-1check/cxKhr-c2', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^-1 q^-1 δ^ 1/2 ⬯~~S^2~>⬯<— r(∞) q^0 δ_^1/2
2) h^ 0 q^-1 δ^-1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^4 δ|^-1
3) h^ 1 q^ 1 δ^-1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^6 δ|^-1
4) h^-4 q^-7 δ^ 1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-2 δ|^0
5) h^-3 q^-5 δ^ 1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^0 δ|^0
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/9_46-1check/cxKhr-c3', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^-3 q^-5 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮<—⬮<~⬯<— r(1/2) q^-8/3 δ|^0
2) h^-1 q^-1 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^2 δ|^0
3) h^ 0 q^-1 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^4 δ|^-1
4) h^ 1 q^ 1 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^6 δ|^-1
5) h^-4 q^-7 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-2 δ|^0
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/9_46-1check/cxKhr-c5', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^-3 q^-5 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮<—⬮<~⬯<— r(1/2) q^-8/3 δ|^0
2) h^-1 q^-1 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^2 δ|^0
3) h^ 0 q^-1 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^4 δ|^-1
4) h^ 1 q^ 1 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^6 δ|^-1
5) h^-4 q^-7 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-2 δ|^0
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/9_46-1check/cxKhr-c7', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^-3 q^-5 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮<—⬮<~⬯<— r(1/2) q^-8/3 δ|^0
2) h^-1 q^-1 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^2 δ|^0
3) h^ 0 q^-1 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^4 δ|^-1
4) h^ 1 q^ 1 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^6 δ|^-1
5) h^-4 q^-7 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-2 δ|^0
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/9_46-1check/cxKhr-c11', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^-3 q^-5 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮<—⬮<~⬯<— r(1/2) q^-8/3 δ|^0
2) h^-1 q^-1 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^2 δ|^0
3) h^ 0 q^-1 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^4 δ|^-1
4) h^ 1 q^ 1 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^6 δ|^-1
5) h^-4 q^-7 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-2 δ|^0