show all invariants|show all metadata
Input data and context
% BKMt2
l1.r3.y0.y0.x2.y1.x2.x2.x2.x2.l4.y3.y2.y2.u1.x2.y1.y1.u0
,1
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt2/cxBNr-c2', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:14:12 2024 GMT
1) h^-2 q^-5 δ^-1/2 ⬮——D—>⬮~>⬯
2) h^-2 q^-6 δ^ -1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-1 q^-4 δ^ -1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ 0 q^-2 δ^ -1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^-4 q^-8 δ^ 0 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt2/cxBNr-c3', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:14:12 2024 GMT
1) h^-2 q^-5 δ^-1/2 ⬮——D—>⬮~>⬯
2) h^-2 q^-6 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-1 q^-4 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ 0 q^-2 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^-4 q^-8 δ^ 0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt2/cxBNr-c5', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:14:12 2024 GMT
1) h^-2 q^-5 δ^-1/2 ⬮——D—>⬮~>⬯
2) h^-2 q^-6 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-1 q^-4 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ 0 q^-2 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^-4 q^-8 δ^ 0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt2/cxBNr-c7', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:14:12 2024 GMT
1) h^-2 q^-5 δ^-1/2 ⬮——D—>⬮~>⬯
2) h^-2 q^-6 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-1 q^-4 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ 0 q^-2 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^-4 q^-8 δ^ 0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt2/cxBNr-c11', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:14:12 2024 GMT
1) h^-2 q^-5 δ^-1/2 ⬮——D—>⬮~>⬯
2) h^-2 q^-6 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-1 q^-4 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ 0 q^-2 δ^ -1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^-4 q^-8 δ^ 0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt2/cxKhr-c2', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:14:12 2024 GMT
1) h^-3 q^-6 δ^ 0 ⬮~~S^2~>⬮—>⬮~>⬯<—⬯<~⬮<— r(-1/2) q^-10/3 δ|^0
2) h^-3 q^-7 δ^-1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-2 δ|^-1
3) h^-2 q^-5 δ^-1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^0 δ|^-1
4) h^-2 q^-5 δ^-1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^0 δ|^-1
5) h^-1 q^-3 δ^-1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^-1
6) h^-1 q^-3 δ^-1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^-1
7) h^ 0 q^-1 δ^-1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^4 δ|^-1
8) h^-5 q^-9 δ^ 1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-4 δ|^0
9) h^-4 q^-7 δ^ 1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-2 δ|^0
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt2/cxKhr-c3', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:14:12 2024 GMT
1) h^-3 q^-6 δ^ 0 ⬮~~(-S^2)~>⬮—>⬮~>⬯<—⬯<~⬮<— r(-1/2) q^-10/3 δ|^0
2) h^-3 q^-7 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-2 δ|^-1
3) h^-2 q^-5 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^0 δ|^-1
4) h^-2 q^-5 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^0 δ|^-1
5) h^-1 q^-3 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^-1
6) h^-1 q^-3 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^-1
7) h^ 0 q^-1 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^4 δ|^-1
8) h^-5 q^-9 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-4 δ|^0
9) h^-4 q^-7 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-2 δ|^0
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt2/cxKhr-c5', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:14:12 2024 GMT
1) h^-3 q^-6 δ^ 0 ⬮~~(-S^2)~>⬮—>⬮~>⬯<—⬯<~⬮<— r(-1/2) q^-10/3 δ|^0
2) h^-3 q^-7 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-2 δ|^-1
3) h^-2 q^-5 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^0 δ|^-1
4) h^-2 q^-5 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^0 δ|^-1
5) h^-1 q^-3 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^-1
6) h^-1 q^-3 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^-1
7) h^ 0 q^-1 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^4 δ|^-1
8) h^-5 q^-9 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-4 δ|^0
9) h^-4 q^-7 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-2 δ|^0
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt2/cxKhr-c7', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:14:12 2024 GMT
1) h^-3 q^-6 δ^ 0 ⬮~~(-S^2)~>⬮—>⬮~>⬯<—⬯<~⬮<— r(-1/2) q^-10/3 δ|^0
2) h^-3 q^-7 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-2 δ|^-1
3) h^-2 q^-5 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^0 δ|^-1
4) h^-2 q^-5 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^0 δ|^-1
5) h^-1 q^-3 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^-1
6) h^-1 q^-3 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^-1
7) h^ 0 q^-1 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^4 δ|^-1
8) h^-5 q^-9 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-4 δ|^0
9) h^-4 q^-7 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-2 δ|^0
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt2/cxKhr-c11', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:14:12 2024 GMT
1) h^-3 q^-6 δ^ 0 ⬮~~(-S^2)~>⬮—>⬮~>⬯<—⬯<~⬮<— r(-1/2) q^-10/3 δ|^0
2) h^-3 q^-7 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-2 δ|^-1
3) h^-2 q^-5 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^0 δ|^-1
4) h^-2 q^-5 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^0 δ|^-1
5) h^-1 q^-3 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^-1
6) h^-1 q^-3 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^-1
7) h^ 0 q^-1 δ^-1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^4 δ|^-1
8) h^-5 q^-9 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-4 δ|^0
9) h^-4 q^-7 δ^ 1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-2 δ|^0