show all invariants|show all metadata
Input data and context
% PosX
l1.x0
,1% With options '-c2', add these twists to optimize: y0
% With options '-c3', add these twists to optimize: y0
% With options '-c5', add these twists to optimize: y0
% With options '-c7', add these twists to optimize: y0
% With options '-c11', add these twists to optimize: y0
% With options '-c2', add these twists to optimize: y0
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c0
(diagram)
(metadata)
% file 'examples/tests/PosX/cxBNr-c0', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^0 q^1 δ^1/2 ⬮~~S~>⬯
options -c2
(diagram)
(metadata)
% file 'examples/tests/PosX/cxBNr-c2', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^0 q^1 δ^1/2 ⬮~~S~>⬯
options -c3
(diagram)
(metadata)
% file 'examples/tests/PosX/cxBNr-c3', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^0 q^1 δ^1/2 ⬮~~S~>⬯
options -c5
(diagram)
(metadata)
% file 'examples/tests/PosX/cxBNr-c5', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^0 q^1 δ^1/2 ⬮~~S~>⬯
options -c7
(diagram)
(metadata)
% file 'examples/tests/PosX/cxBNr-c7', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^0 q^1 δ^1/2 ⬮~~S~>⬯
options -c11
(diagram)
(metadata)
% file 'examples/tests/PosX/cxBNr-c11', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^0 q^1 δ^1/2 ⬮~~S~>⬯
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c0
(diagram)
(metadata)
% file 'examples/tests/PosX/cxKhr-c0', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^-1 q^0 δ^1 ⬮~~(-S)~>⬯—>⬯<~⬮<— r(-1) q^3/2 δ|^1
options -c2
(diagram)
(metadata)
% file 'examples/tests/PosX/cxKhr-c2', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^-1 q^0 δ^1 ⬮~~S~>⬯—>⬯<~⬮<— r(-1) q^3/2 δ|^1
options -c3
(diagram)
(metadata)
% file 'examples/tests/PosX/cxKhr-c3', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^-1 q^0 δ^1 ⬮~~(-S)~>⬯—>⬯<~⬮<— r(-1) q^3/2 δ|^1
options -c5
(diagram)
(metadata)
% file 'examples/tests/PosX/cxKhr-c5', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^-1 q^0 δ^1 ⬮~~(-S)~>⬯—>⬯<~⬮<— r(-1) q^3/2 δ|^1
options -c7
(diagram)
(metadata)
% file 'examples/tests/PosX/cxKhr-c7', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^-1 q^0 δ^1 ⬮~~(-S)~>⬯—>⬯<~⬮<— r(-1) q^3/2 δ|^1
options -c11
(diagram)
(metadata)
% file 'examples/tests/PosX/cxKhr-c11', generated by kht, version v0.1, on Sun Mar 7 14:26:54 2021 GMT
1) h^-1 q^0 δ^1 ⬮~~(-S)~>⬯—>⬯<~⬮<— r(-1) q^3/2 δ|^1