show all invariants|show all metadata
Input data and context
% SkyeTangle
l1.r3.x0.y2.y2.y1.y1.y2.y2.y2.x0.u1
,1
% With options '-c2', add these twists to optimize: y0.y0.y0.y0
% With options '-c3', add these twists to optimize: y0.y0.y0.y0
% With options '-c5', add these twists to optimize: y0.y0.y0.y0
% With options '-c7', add these twists to optimize: y0.y0.y0.y0
% With options '-c11', add these twists to optimize: y0.y0.y0.y0
% With options '-c2-q', add these twists to optimize: y0.y0.y0.y0
% With options '-c3-q', add these twists to optimize: y0.y0.y0.y0
% With options '-c5-q', add these twists to optimize: y0.y0.y0.y0
% With options '-c7-q', add these twists to optimize: y0.y0.y0.y0
% With options '-c11-q', add these twists to optimize: y0.y0.y0.y0
% Simplifies with options '-q' to l0.r3.y1.y2.y2.y1.y1.y2.x0.y2.x1.u2
% Simplifies with options '-q' to l0.y1.r2.x3.y2.y1.y1.y2.y2.y2.x0.u1
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c0
(diagram)
(metadata)
% file 'examples/tests/SkyeTangle/cxBNr-c0', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^0 q^8 δ^4 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<—⬮
options -c2
(diagram)
(metadata)
% file 'examples/tests/SkyeTangle/cxBNr-c2', generated by kht++ v0.1-38-g2000325-dirty on Mon Dec 6 10:05:53 2021 GMT
1) h^0 q^8 δ^4 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<—⬮
options -c3
(diagram)
(metadata)
% file 'examples/tests/SkyeTangle/cxBNr-c3', generated by kht++ v0.1-38-g2000325-dirty on Mon Dec 6 10:24:32 2021 GMT
1) h^0 q^8 δ^4 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<—⬮
options -c5
(diagram)
(metadata)
% file 'examples/tests/SkyeTangle/cxBNr-c5', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^0 q^8 δ^4 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<—⬮
options -c7
(diagram)
(metadata)
% file 'examples/tests/SkyeTangle/cxBNr-c7', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^0 q^8 δ^4 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<—⬮
options -c11
(diagram)
(metadata)
% file 'examples/tests/SkyeTangle/cxBNr-c11', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^0 q^8 δ^4 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<—⬮
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c0
(diagram)
(metadata)
% file 'examples/tests/SkyeTangle/cxKhr-c0', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^ 3 q^12 δ^ 3 ⬮~~(-S^2)~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<— r(-1/4) q^84/5 δ|^3
2) h^ 3 q^13 δ^7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^18 δ|^3
3) h^-1 q^ 7 δ^9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^12 δ|^4
options -c2
(diagram)
(metadata)
% file 'examples/tests/SkyeTangle/cxKhr-c2', generated by kht++ v0.1-38-g2000325-dirty on Mon Dec 6 10:05:53 2021 GMT
1) h^ 3 q^12 δ^ 3 ⬮~~S^2~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<— r(-1/4) q^84/5 δ|^3
2) h^ 3 q^13 δ^7/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^18 δ|^3
3) h^-1 q^ 7 δ^9/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^12 δ|^4
options -c3
(diagram)
(metadata)
% file 'examples/tests/SkyeTangle/cxKhr-c3', generated by kht++ v0.1-38-g2000325-dirty on Mon Dec 6 10:24:32 2021 GMT
1) h^ 3 q^12 δ^ 3 ⬮~~(-S^2)~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<— r(-1/4) q^84/5 δ|^3
2) h^ 3 q^13 δ^7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^18 δ|^3
3) h^-1 q^ 7 δ^9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^12 δ|^4
options -c5
(diagram)
(metadata)
% file 'examples/tests/SkyeTangle/cxKhr-c5', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^ 3 q^12 δ^ 3 ⬮~~(-S^2)~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<— r(-1/4) q^84/5 δ|^3
2) h^ 3 q^13 δ^7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^18 δ|^3
3) h^-1 q^ 7 δ^9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^12 δ|^4
options -c7
(diagram)
(metadata)
% file 'examples/tests/SkyeTangle/cxKhr-c7', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^ 3 q^12 δ^ 3 ⬮~~(-S^2)~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<— r(-1/4) q^84/5 δ|^3
2) h^ 3 q^13 δ^7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^18 δ|^3
3) h^-1 q^ 7 δ^9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^12 δ|^4
options -c11
(diagram)
(metadata)
% file 'examples/tests/SkyeTangle/cxKhr-c11', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^ 3 q^12 δ^ 3 ⬮~~(-S^2)~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<— r(-1/4) q^84/5 δ|^3
2) h^ 3 q^13 δ^7/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^18 δ|^3
3) h^-1 q^ 7 δ^9/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^12 δ|^4