show all invariants|show all metadata
Input data and context
% 2021-06-01-family-7
r1.r2.x0.y4.x0.y4.y1.x3.y2.y2.y2.y2.y2.y2.y2.y1.x3.u4.u0.x0.x0.x0.x0.x0.x0.x0
,1,0
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c2
(diagram)
(metadata)
% file 'examples/miscellaneous/2021-06-01-family-7/cxBNr-c2', generated by kht++ v0.1-25-gc037710 on Tue Jun 1 06:35:17 2021 GMT
1) h^ 0 q^ 0 δ^ 0 ⬮
2) h^-4 q^-7 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-3 q^-5 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^-2 q^-3 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c3
(diagram)
(metadata)
% file 'examples/miscellaneous/2021-06-01-family-7/cxBNr-c3', generated by kht++ v0.1-25-gc037710 on Tue Jun 1 06:35:17 2021 GMT
1) h^ 0 q^ 0 δ^ 0 ⬮
2) h^-4 q^-7 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-3 q^-5 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c5
(diagram)
(metadata)
% file 'examples/miscellaneous/2021-06-01-family-7/cxBNr-c5', generated by kht++ v0.1-25-gc037710 on Tue Jun 1 06:35:17 2021 GMT
1) h^ 0 q^ 0 δ^ 0 ⬮
2) h^-4 q^-7 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-3 q^-5 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c7
(diagram)
(metadata)
% file 'examples/miscellaneous/2021-06-01-family-7/cxBNr-c7', generated by kht++ v0.1-25-gc037710 on Tue Jun 1 06:35:17 2021 GMT
1) h^ 0 q^ 0 δ^ 0 ⬮
2) h^-4 q^-7 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-3 q^-5 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c11
(diagram)
(metadata)
% file 'examples/miscellaneous/2021-06-01-family-7/cxBNr-c11', generated by kht++ v0.1-25-gc037710 on Tue Jun 1 06:35:17 2021 GMT
1) h^ 0 q^ 0 δ^ 0 ⬮
2) h^-4 q^-7 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-3 q^-5 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^-2 q^-3 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c2
(diagram)
(metadata)
% file 'examples/miscellaneous/2021-06-01-family-7/cxKhr-c2', generated by kht++ v0.1-25-gc037710 on Tue Jun 1 06:35:17 2021 GMT
1) h^-1 q^-1 δ^1/2 ⬮~~S^2~>⬮<— r(0) q^0 δ|^1/2
2) h^-5 q^-8 δ^ 1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-3 δ|^1/2
3) h^-4 q^-6 δ^ 1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-1 δ|^1/2
4) h^-4 q^-6 δ^ 1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-1 δ|^1/2
5) h^-3 q^-4 δ^ 1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^1 δ|^1/2
6) h^-3 q^-4 δ^ 1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^1 δ|^1/2
7) h^-2 q^-2 δ^ 1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^3 δ|^1/2
options -c3
(diagram)
(metadata)
% file 'examples/miscellaneous/2021-06-01-family-7/cxKhr-c3', generated by kht++ v0.1-25-gc037710 on Tue Jun 1 06:35:17 2021 GMT
1) h^-1 q^-1 δ^1/2 ⬮~~(-S^2)~>⬮<— r(0) q^0 δ|^1/2
2) h^-5 q^-8 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-3 δ|^1/2
3) h^-4 q^-6 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-1 δ|^1/2
4) h^-4 q^-6 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-1 δ|^1/2
5) h^-3 q^-4 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^1 δ|^1/2
6) h^-3 q^-4 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^1 δ|^1/2
7) h^-2 q^-2 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^3 δ|^1/2
options -c5
(diagram)
(metadata)
% file 'examples/miscellaneous/2021-06-01-family-7/cxKhr-c5', generated by kht++ v0.1-25-gc037710 on Tue Jun 1 06:35:17 2021 GMT
1) h^-1 q^-1 δ^1/2 ⬮~~(-S^2)~>⬮<— r(0) q^0 δ|^1/2
2) h^-5 q^-8 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-3 δ|^1/2
3) h^-4 q^-6 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-1 δ|^1/2
4) h^-4 q^-6 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-1 δ|^1/2
5) h^-3 q^-4 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^1 δ|^1/2
6) h^-3 q^-4 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^1 δ|^1/2
7) h^-2 q^-2 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^3 δ|^1/2
options -c7
(diagram)
(metadata)
% file 'examples/miscellaneous/2021-06-01-family-7/cxKhr-c7', generated by kht++ v0.1-25-gc037710 on Tue Jun 1 06:35:17 2021 GMT
1) h^-1 q^-1 δ^1/2 ⬮~~(-S^2)~>⬮<— r(0) q^0 δ|^1/2
2) h^-5 q^-8 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-3 δ|^1/2
3) h^-4 q^-6 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-1 δ|^1/2
4) h^-4 q^-6 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-1 δ|^1/2
5) h^-3 q^-4 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^1 δ|^1/2
6) h^-3 q^-4 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^1 δ|^1/2
7) h^-2 q^-2 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^3 δ|^1/2
options -c11
(diagram)
(metadata)
% file 'examples/miscellaneous/2021-06-01-family-7/cxKhr-c11', generated by kht++ v0.1-25-gc037710 on Tue Jun 1 06:35:17 2021 GMT
1) h^-1 q^-1 δ^1/2 ⬮~~(-S^2)~>⬮<— r(0) q^0 δ|^1/2
2) h^-5 q^-8 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-3 δ|^1/2
3) h^-4 q^-6 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-1 δ|^1/2
4) h^-4 q^-6 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-1 δ|^1/2
5) h^-3 q^-4 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^1 δ|^1/2
6) h^-3 q^-4 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^1 δ|^1/2
7) h^-2 q^-2 δ^ 1 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^3 δ|^1/2