show all invariants|show all metadata
Input data and context
% BKMt1
r1.x0.l2.x1.x1.l3.x2.y4.x2.y4.r2.x1.x3.u2.y0.y2.y2.y2.u1.y0.u1
,1
% Fixed orientations: r1.x0.l2.x1.x1.l3.x2.y4.x2.y4.l2.x1.x3.u2.y0.y2.y2.y2.u1.y0.u1,1
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt1/cxBNr-c2', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:15:48 2024 GMT
1) h^ 0 q^ -1 δ^-1/2 ⬯<~S^2~~⬯<—⬯<~⬮<—⬮~>⬯—>⬯~>⬯—>⬯~>⬮
2) h^-8 q^-14 δ^ 1 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
3) h^-7 q^-12 δ^ 1 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
4) h^-6 q^-10 δ^ 1 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt1/cxBNr-c3', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:15:48 2024 GMT
1) h^ 0 q^ -1 δ^-1/2 ⬯<~S^2~~⬯<—⬯<~⬮<—⬮~>⬯—>⬯~>⬯—>⬯~>⬮
2) h^-8 q^-14 δ^ 1 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
3) h^-7 q^-12 δ^ 1 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
4) h^-6 q^-10 δ^ 1 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt1/cxBNr-c5', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:15:48 2024 GMT
1) h^ 0 q^ -1 δ^-1/2 ⬯<~S^2~~⬯<—⬯<~⬮<—⬮~>⬯—>⬯~>⬯—>⬯~>⬮
2) h^-8 q^-14 δ^ 1 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
3) h^-7 q^-12 δ^ 1 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
4) h^-6 q^-10 δ^ 1 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt1/cxBNr-c7', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:15:48 2024 GMT
1) h^ 0 q^ -1 δ^-1/2 ⬯<~S^2~~⬯<—⬯<~⬮<—⬮~>⬯—>⬯~>⬯—>⬯~>⬮
2) h^-8 q^-14 δ^ 1 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
3) h^-7 q^-12 δ^ 1 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
4) h^-6 q^-10 δ^ 1 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt1/cxBNr-c11', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:15:48 2024 GMT
1) h^ 0 q^ -1 δ^-1/2 ⬯<~S^2~~⬯<—⬯<~⬮<—⬮~>⬯—>⬯~>⬯—>⬯~>⬮
2) h^-8 q^-14 δ^ 1 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
3) h^-7 q^-12 δ^ 1 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
4) h^-6 q^-10 δ^ 1 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt1/cxKhr-c2', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:15:48 2024 GMT
1) h^-4 q^ -7 δ^1/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯<~⬯<—⬯<~⬮<— r(-3) q^-15/4 δ|^1/2
2) h^-5 q^ -9 δ^1/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-4 δ_^0
3) h^-9 q^-15 δ^3/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-10 δ_^1
4) h^-8 q^-13 δ^3/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-8 δ_^1
5) h^-8 q^-13 δ^3/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-8 δ_^1
6) h^-7 q^-11 δ^3/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-6 δ_^1
7) h^-7 q^-11 δ^3/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-6 δ_^1
8) h^-6 q^ -9 δ^3/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-4 δ_^1
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt1/cxKhr-c3', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:15:48 2024 GMT
1) h^-4 q^ -7 δ^1/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯<~⬯<—⬯<~⬮<— r(-3) q^-15/4 δ|^1/2
2) h^-5 q^ -9 δ^1/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-4 δ_^0
3) h^-9 q^-15 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-10 δ_^1
4) h^-8 q^-13 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-8 δ_^1
5) h^-8 q^-13 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-8 δ_^1
6) h^-7 q^-11 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-6 δ_^1
7) h^-7 q^-11 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-6 δ_^1
8) h^-6 q^ -9 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-4 δ_^1
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt1/cxKhr-c5', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:15:48 2024 GMT
1) h^-4 q^ -7 δ^1/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯<~⬯<—⬯<~⬮<— r(-3) q^-15/4 δ|^1/2
2) h^-5 q^ -9 δ^1/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-4 δ_^0
3) h^-9 q^-15 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-10 δ_^1
4) h^-8 q^-13 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-8 δ_^1
5) h^-8 q^-13 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-8 δ_^1
6) h^-7 q^-11 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-6 δ_^1
7) h^-7 q^-11 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-6 δ_^1
8) h^-6 q^ -9 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-4 δ_^1
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt1/cxKhr-c7', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:15:48 2024 GMT
1) h^-4 q^ -7 δ^1/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯<~⬯<—⬯<~⬮<— r(-3) q^-15/4 δ|^1/2
2) h^-5 q^ -9 δ^1/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-4 δ_^0
3) h^-9 q^-15 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-10 δ_^1
4) h^-8 q^-13 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-8 δ_^1
5) h^-8 q^-13 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-8 δ_^1
6) h^-7 q^-11 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-6 δ_^1
7) h^-7 q^-11 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-6 δ_^1
8) h^-6 q^ -9 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-4 δ_^1
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/BKMt1/cxKhr-c11', generated by kht++ v0.1-76-g9c28ffa on Wed Dec 11 16:15:48 2024 GMT
1) h^-4 q^ -7 δ^1/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯<~⬯<—⬯<~⬮<— r(-3) q^-15/4 δ|^1/2
2) h^-5 q^ -9 δ^1/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-4 δ_^0
3) h^-9 q^-15 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-10 δ_^1
4) h^-8 q^-13 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-8 δ_^1
5) h^-8 q^-13 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-8 δ_^1
6) h^-7 q^-11 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-6 δ_^1
7) h^-7 q^-11 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-6 δ_^1
8) h^-6 q^ -9 δ^3/2 ⬮~~(-S)~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<— s4(∞) q^-4 δ_^1