show all invariants|show all metadata
Input data and context
% 2023-08-02-family-0
r1.x0.x0.l2.x1.x1.
y2.y2.
y3.x2.y1.y0.x2.x1.u0
,1
% Fixed orientations: l1.x0.x0.l2.x1.x1.y2.y2.y3.x2.y1.y0.x2.x1.u0,1
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c2
(diagram)
(metadata)
% file 'examples/miscellaneous/2023-08-02-family-0/cxBNr-c2', generated by kht++ v0.1-65-g25961a7-dirty on Wed Aug 2 07:36:34 2023 GMT
1) h^ 0 q^ 0 δ^0 ⬯<—D——⬯~>⬮—>⬮~>⬮—>⬮~>⬯
2) h^-2 q^-4 δ^0 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-1 q^-2 δ^0 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ 0 q^ 0 δ^0 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^-5 q^-8 δ^1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c3
(diagram)
(metadata)
% file 'examples/miscellaneous/2023-08-02-family-0/cxBNr-c3', generated by kht++ v0.1-65-g25961a7-dirty on Wed Aug 2 07:36:34 2023 GMT
1) h^ 0 q^ 0 δ^0 ⬯<—D——⬯~>⬮—>⬮~>⬮—>⬮~>⬯
2) h^-2 q^-4 δ^0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-1 q^-2 δ^0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ 0 q^ 0 δ^0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^-5 q^-8 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c5
(diagram)
(metadata)
% file 'examples/miscellaneous/2023-08-02-family-0/cxBNr-c5', generated by kht++ v0.1-65-g25961a7-dirty on Wed Aug 2 07:36:34 2023 GMT
1) h^ 0 q^ 0 δ^0 ⬯<—D——⬯~>⬮—>⬮~>⬮—>⬮~>⬯
2) h^-2 q^-4 δ^0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-1 q^-2 δ^0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ 0 q^ 0 δ^0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^-5 q^-8 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c7
(diagram)
(metadata)
% file 'examples/miscellaneous/2023-08-02-family-0/cxBNr-c7', generated by kht++ v0.1-65-g25961a7-dirty on Wed Aug 2 07:36:34 2023 GMT
1) h^ 0 q^ 0 δ^0 ⬯<—D——⬯~>⬮—>⬮~>⬮—>⬮~>⬯
2) h^-2 q^-4 δ^0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-1 q^-2 δ^0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ 0 q^ 0 δ^0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^-5 q^-8 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c11
(diagram)
(metadata)
% file 'examples/miscellaneous/2023-08-02-family-0/cxBNr-c11', generated by kht++ v0.1-65-g25961a7-dirty on Wed Aug 2 07:36:34 2023 GMT
1) h^ 0 q^ 0 δ^0 ⬯<—D——⬯~>⬮—>⬮~>⬮—>⬮~>⬯
2) h^-2 q^-4 δ^0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-1 q^-2 δ^0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ 0 q^ 0 δ^0 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^-5 q^-8 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c2
(diagram)
(metadata)
% file 'examples/miscellaneous/2023-08-02-family-0/cxKhr-c2', generated by kht++ v0.1-65-g25961a7-dirty on Wed Aug 2 07:36:34 2023 GMT
1) h^-1 q^-1 δ^1/2 ⬯~~S^2~>⬯<— r(∞) q^0 δ_^1/2
2) h^-3 q^-5 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^0 δ|^0
3) h^-2 q^-3 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^0
4) h^-2 q^-3 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^0
5) h^-2 q^-3 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^0
6) h^-1 q^-1 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^4 δ|^0
7) h^-1 q^-1 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^4 δ|^0
8) h^ 0 q^ 1 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^6 δ|^0
9) h^-6 q^-9 δ^3/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-4 δ|^1
10) h^-5 q^-7 δ^3/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-2 δ|^1
options -c3
(diagram)
(metadata)
% file 'examples/miscellaneous/2023-08-02-family-0/cxKhr-c3', generated by kht++ v0.1-65-g25961a7-dirty on Wed Aug 2 07:36:34 2023 GMT
1) h^-1 q^-1 δ^1/2 ⬯~~(-S^2)~>⬯<— r(∞) q^0 δ_^1/2
2) h^-3 q^-5 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^0 δ|^0
3) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^0
4) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^0
5) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^0
6) h^-1 q^-1 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^4 δ|^0
7) h^-1 q^-1 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^4 δ|^0
8) h^ 0 q^ 1 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^6 δ|^0
9) h^-6 q^-9 δ^3/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-4 δ|^1
10) h^-5 q^-7 δ^3/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-2 δ|^1
options -c5
(diagram)
(metadata)
% file 'examples/miscellaneous/2023-08-02-family-0/cxKhr-c5', generated by kht++ v0.1-65-g25961a7-dirty on Wed Aug 2 07:36:34 2023 GMT
1) h^-1 q^-1 δ^1/2 ⬯~~(-S^2)~>⬯<— r(∞) q^0 δ_^1/2
2) h^-3 q^-5 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^0 δ|^0
3) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^0
4) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^0
5) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^0
6) h^-1 q^-1 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^4 δ|^0
7) h^-1 q^-1 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^4 δ|^0
8) h^ 0 q^ 1 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^6 δ|^0
9) h^-6 q^-9 δ^3/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-4 δ|^1
10) h^-5 q^-7 δ^3/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-2 δ|^1
options -c7
(diagram)
(metadata)
% file 'examples/miscellaneous/2023-08-02-family-0/cxKhr-c7', generated by kht++ v0.1-65-g25961a7-dirty on Wed Aug 2 07:36:34 2023 GMT
1) h^-1 q^-1 δ^1/2 ⬯~~(-S^2)~>⬯<— r(∞) q^0 δ_^1/2
2) h^-3 q^-5 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^0 δ|^0
3) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^0
4) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^0
5) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^0
6) h^-1 q^-1 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^4 δ|^0
7) h^-1 q^-1 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^4 δ|^0
8) h^ 0 q^ 1 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^6 δ|^0
9) h^-6 q^-9 δ^3/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-4 δ|^1
10) h^-5 q^-7 δ^3/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-2 δ|^1
options -c11
(diagram)
(metadata)
% file 'examples/miscellaneous/2023-08-02-family-0/cxKhr-c11', generated by kht++ v0.1-65-g25961a7-dirty on Wed Aug 2 07:36:34 2023 GMT
1) h^-1 q^-1 δ^1/2 ⬯~~(-S^2)~>⬯<— r(∞) q^0 δ_^1/2
2) h^-3 q^-5 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^0 δ|^0
3) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^0
4) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^0
5) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^2 δ|^0
6) h^-1 q^-1 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^4 δ|^0
7) h^-1 q^-1 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^4 δ|^0
8) h^ 0 q^ 1 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^6 δ|^0
9) h^-6 q^-9 δ^3/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-4 δ|^1
10) h^-5 q^-7 δ^3/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-2 δ|^1