show all invariants|show all metadata
Input data and context
% 3_1
r1.y0.y0.y0.u1
,1
% Simplifies with options '-dop.l1.y0.y2.u1.s' to l2.r3.y1.y0.y2.y1.y1.y2.x3.y0.y1.y1.u2.x2.y0.u1.l1.y2.y0.u1
% With options '-c2-dop.l1.y0.y2.u1.s', add these twists to optimize: y0
% Simplifies with options '-dop.l1.y0.y2.u1.s' to l2.y1.y0.r2.y1.y1.y0.x3.y2.x3.x4.y1.y1.u2.y0.u1.l1.y2.x1.u0
% With options '-c2-dop.l1.y0.y2.u1.', add these twists to optimize: y0
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c0-d
(diagram)
(metadata)
% file 'examples/knots/3_1/cxBNr-c0-d', generated by kht++ v0.1-14-gd92fba6-dirty on Sat Mar 20 16:57:55 2021 GMT
1) h^8 q^22 δ^3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^0 q^10 δ^5 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯
options -c2-d
(diagram)
(metadata)
% file 'examples/knots/3_1/cxBNr-c2-d', generated by kht++ v0.1-14-gd92fba6-dirty on Sat Mar 20 16:57:55 2021 GMT
1) h^6 q^18 δ^3 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^0 q^10 δ^5 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮
options -c2-dop.l1.y0.y2.u1.
(diagram)
(metadata)
% file 'examples/knots/3_1/cxBNr-c2-dop.l1.y0.y2.u1.', generated by kht++ v0.1-23-ga307146 on Mon May 17 13:05:10 2021 GMT
1) h^ 0 q^ 2 δ^ 1 ⬮~~S~>⬯—>⬯
2) h^-1 q^-1 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^ 0 q^ 1 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^-3 q^-3 δ^3/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^-7 q^-9 δ^5/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c2-dop.l1.y0.y2.u1.s
(diagram)
(metadata)
% file 'examples/knots/3_1/cxBNr-c2-dop.l1.y0.y2.u1.s', generated by kht++ v0.1-22-gba9f403 on Sat May 15 11:40:08 2021 GMT
1) h^ 0 q^ 2 δ^ 1 ⬮~~S~>⬯—>⬯
2) h^-1 q^-1 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^ 0 q^ 1 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^-3 q^-3 δ^3/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^-7 q^-9 δ^5/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c3-d
(diagram)
(metadata)
% file 'examples/knots/3_1/cxBNr-c3-d', generated by kht++ v0.1-14-gd92fba6-dirty on Sat Mar 20 16:57:55 2021 GMT
1) h^8 q^22 δ^3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^0 q^10 δ^5 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯
options -c3-dop.l1.y0.y2.u1.
(diagram)
(metadata)
% file 'examples/knots/3_1/cxBNr-c3-dop.l1.y0.y2.u1.', generated by kht++ v0.1-23-ga307146 on Mon May 17 13:05:10 2021 GMT
1) h^ 0 q^ 1 δ^1/2 ⬯——D—>⬯~>⬮
2) h^ 2 q^ 5 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^ 3 q^ 7 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^-2 q^-1 δ^3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^-6 q^-7 δ^5/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c5-d
(diagram)
(metadata)
% file 'examples/knots/3_1/cxBNr-c5-d', generated by kht++ v0.1-14-gd92fba6-dirty on Sat Mar 20 16:57:55 2021 GMT
1) h^8 q^22 δ^3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^0 q^10 δ^5 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯
options -c5-dop.l1.y0.y2.u1.
(diagram)
(metadata)
% file 'examples/knots/3_1/cxBNr-c5-dop.l1.y0.y2.u1.', generated by kht++ v0.1-23-ga307146 on Mon May 17 13:05:10 2021 GMT
1) h^ 0 q^ 1 δ^1/2 ⬯——D—>⬯~>⬮
2) h^ 2 q^ 5 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^ 3 q^ 7 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^-2 q^-1 δ^3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^-6 q^-7 δ^5/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c7-d
(diagram)
(metadata)
% file 'examples/knots/3_1/cxBNr-c7-d', generated by kht++ v0.1-14-gd92fba6-dirty on Sat Mar 20 16:57:55 2021 GMT
1) h^8 q^22 δ^3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^0 q^10 δ^5 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯
options -c7-dop.l1.y0.y2.u1.
(diagram)
(metadata)
% file 'examples/knots/3_1/cxBNr-c7-dop.l1.y0.y2.u1.', generated by kht++ v0.1-23-ga307146 on Mon May 17 13:05:10 2021 GMT
1) h^ 0 q^ 1 δ^1/2 ⬯——D—>⬯~>⬮
2) h^ 2 q^ 5 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^ 3 q^ 7 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^-2 q^-1 δ^3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^-6 q^-7 δ^5/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c11-d
(diagram)
(metadata)
% file 'examples/knots/3_1/cxBNr-c11-d', generated by kht++ v0.1-14-gd92fba6-dirty on Sat Mar 20 16:57:55 2021 GMT
1) h^8 q^22 δ^3 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^0 q^10 δ^5 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯
options -c11-dop.l1.y0.y2.u1.
(diagram)
(metadata)
% file 'examples/knots/3_1/cxBNr-c11-dop.l1.y0.y2.u1.', generated by kht++ v0.1-23-ga307146 on Mon May 17 13:05:10 2021 GMT
1) h^ 0 q^ 1 δ^1/2 ⬯——D—>⬯~>⬮
2) h^ 2 q^ 5 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^ 3 q^ 7 δ^1/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^-2 q^-1 δ^3/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^-6 q^-7 δ^5/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c0-d
(diagram)
(metadata)
% file 'examples/knots/3_1/cxKhr-c0-d', generated by kht++ v0.1-14-gd92fba6-dirty on Sat Mar 20 16:57:55 2021 GMT
1) h^ 5 q^17 δ^ 7/2 ⬯~~(-S^2)~>⬯<— r1(∞) q^18 δ_^0
2) h^ 7 q^21 δ^ 7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^24 δ|^3
3) h^ 8 q^23 δ^ 7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^26 δ|^3
4) h^ 3 q^15 δ^ 9/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^18 δ|^4
5) h^-1 q^ 9 δ^11/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^14 δ|^5
options -c2-d
(diagram)
(metadata)
% file 'examples/knots/3_1/cxKhr-c2-d', generated by kht++ v0.1-14-gd92fba6-dirty on Sat Mar 20 16:57:55 2021 GMT
1) h^ 5 q^18 δ^ 4 ⬮~~S^2~>⬮—>⬮~>⬯<—⬯<~⬮<— r1(-1/2) q^62/3 δ|^4
2) h^ 5 q^17 δ^ 7/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^22 δ|^3
3) h^ 6 q^19 δ^ 7/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^24 δ|^3
4) h^ 3 q^15 δ^ 9/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^20 δ|^4
5) h^-1 q^ 9 δ^11/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^14 δ|^5
options -c2-dop.l1.y0.y2.u1.
(diagram)
(metadata)
% file 'examples/knots/3_1/cxKhr-c2-dop.l1.y0.y2.u1.', generated by kht++ v0.1-23-ga307146 on Mon May 17 13:05:10 2021 GMT
1) h^-1 q^ 1 δ^3/2 ⬮~~S~>⬯—>⬯~>⬯<—⬯<~⬮<— r(-2) q^10/3 δ|^3/2
2) h^-2 q^ -2 δ^ 1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^3 δ|^1/2
3) h^-1 q^ 0 δ^ 1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^5 δ|^1/2
4) h^-1 q^ 0 δ^ 1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^5 δ|^1/2
5) h^ 0 q^ 2 δ^ 1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^7 δ|^1/2
6) h^-4 q^ -4 δ^ 2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^1 δ|^3/2
7) h^-3 q^ -2 δ^ 2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^3 δ|^3/2
8) h^-8 q^-10 δ^ 3 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-5 δ|^5/2
9) h^-7 q^ -8 δ^ 3 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-3 δ|^5/2
options -c2-dop.l1.y0.y2.u1.s
(diagram)
(metadata)
% file 'examples/knots/3_1/cxKhr-c2-dop.l1.y0.y2.u1.s', generated by kht++ v0.1-22-gba9f403 on Sat May 15 11:40:08 2021 GMT
1) h^-1 q^ 1 δ^3/2 ⬮~~S~>⬯—>⬯~>⬯<—⬯<~⬮<— r(-2) q^10/3 δ|^3/2
2) h^-2 q^ -2 δ^ 1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^3 δ|^1/2
3) h^-1 q^ 0 δ^ 1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^5 δ|^1/2
4) h^-1 q^ 0 δ^ 1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^5 δ|^1/2
5) h^ 0 q^ 2 δ^ 1 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^7 δ|^1/2
6) h^-4 q^ -4 δ^ 2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^1 δ|^3/2
7) h^-3 q^ -2 δ^ 2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^3 δ|^3/2
8) h^-8 q^-10 δ^ 3 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-5 δ|^5/2
9) h^-7 q^ -8 δ^ 3 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-3 δ|^5/2
options -c3-d
(diagram)
(metadata)
% file 'examples/knots/3_1/cxKhr-c3-d', generated by kht++ v0.1-14-gd92fba6-dirty on Sat Mar 20 16:57:55 2021 GMT
1) h^ 5 q^17 δ^ 7/2 ⬯~~(-S^2)~>⬯<— r1(∞) q^18 δ_^0
2) h^ 7 q^21 δ^ 7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^24 δ|^3
3) h^ 8 q^23 δ^ 7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^26 δ|^3
4) h^ 3 q^15 δ^ 9/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^18 δ|^4
5) h^-1 q^ 9 δ^11/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^14 δ|^5
options -c3-dop.l1.y0.y2.u1.
(diagram)
(metadata)
% file 'examples/knots/3_1/cxKhr-c3-dop.l1.y0.y2.u1.', generated by kht++ v0.1-23-ga307146 on Mon May 17 13:05:10 2021 GMT
1) h^-1 q^ 0 δ^1 ⬯~~(-S^2)~>⬯—>⬯~>⬮<—⬮<~⬯<— r(2) q^8/3 δ|^1
2) h^ 1 q^ 4 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^7 δ|^1/2
3) h^ 2 q^ 6 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^9 δ|^1/2
4) h^ 2 q^ 6 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^9 δ|^1/2
5) h^ 3 q^ 8 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^11 δ|^1/2
6) h^-3 q^-2 δ^2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^1 δ|^3/2
7) h^-2 q^ 0 δ^2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^3 δ|^3/2
8) h^-7 q^-8 δ^3 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-3 δ|^5/2
9) h^-6 q^-6 δ^3 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-1 δ|^5/2
options -c5-d
(diagram)
(metadata)
% file 'examples/knots/3_1/cxKhr-c5-d', generated by kht++ v0.1-14-gd92fba6-dirty on Sat Mar 20 16:57:55 2021 GMT
1) h^ 5 q^17 δ^ 7/2 ⬯~~(-S^2)~>⬯<— r1(∞) q^18 δ_^0
2) h^ 7 q^21 δ^ 7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^24 δ|^3
3) h^ 8 q^23 δ^ 7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^26 δ|^3
4) h^ 3 q^15 δ^ 9/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^18 δ|^4
5) h^-1 q^ 9 δ^11/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^14 δ|^5
options -c5-dop.l1.y0.y2.u1.
(diagram)
(metadata)
% file 'examples/knots/3_1/cxKhr-c5-dop.l1.y0.y2.u1.', generated by kht++ v0.1-23-ga307146 on Mon May 17 13:05:10 2021 GMT
1) h^-1 q^ 0 δ^1 ⬯~~(-S^2)~>⬯—>⬯~>⬮<—⬮<~⬯<— r(2) q^8/3 δ|^1
2) h^ 1 q^ 4 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^7 δ|^1/2
3) h^ 2 q^ 6 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^9 δ|^1/2
4) h^ 2 q^ 6 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^9 δ|^1/2
5) h^ 3 q^ 8 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^11 δ|^1/2
6) h^-3 q^-2 δ^2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^1 δ|^3/2
7) h^-2 q^ 0 δ^2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^3 δ|^3/2
8) h^-7 q^-8 δ^3 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-3 δ|^5/2
9) h^-6 q^-6 δ^3 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-1 δ|^5/2
options -c7-d
(diagram)
(metadata)
% file 'examples/knots/3_1/cxKhr-c7-d', generated by kht++ v0.1-14-gd92fba6-dirty on Sat Mar 20 16:57:55 2021 GMT
1) h^ 5 q^17 δ^ 7/2 ⬯~~(-S^2)~>⬯<— r1(∞) q^18 δ_^0
2) h^ 7 q^21 δ^ 7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^24 δ|^3
3) h^ 8 q^23 δ^ 7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^26 δ|^3
4) h^ 3 q^15 δ^ 9/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^18 δ|^4
5) h^-1 q^ 9 δ^11/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^14 δ|^5
options -c7-dop.l1.y0.y2.u1.
(diagram)
(metadata)
% file 'examples/knots/3_1/cxKhr-c7-dop.l1.y0.y2.u1.', generated by kht++ v0.1-23-ga307146 on Mon May 17 13:05:10 2021 GMT
1) h^-1 q^ 0 δ^1 ⬯~~(-S^2)~>⬯—>⬯~>⬮<—⬮<~⬯<— r(2) q^8/3 δ|^1
2) h^ 1 q^ 4 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^7 δ|^1/2
3) h^ 2 q^ 6 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^9 δ|^1/2
4) h^ 2 q^ 6 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^9 δ|^1/2
5) h^ 3 q^ 8 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^11 δ|^1/2
6) h^-3 q^-2 δ^2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^1 δ|^3/2
7) h^-2 q^ 0 δ^2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^3 δ|^3/2
8) h^-7 q^-8 δ^3 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-3 δ|^5/2
9) h^-6 q^-6 δ^3 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-1 δ|^5/2
options -c11-d
(diagram)
(metadata)
% file 'examples/knots/3_1/cxKhr-c11-d', generated by kht++ v0.1-14-gd92fba6-dirty on Sat Mar 20 16:57:55 2021 GMT
1) h^ 5 q^17 δ^ 7/2 ⬯~~(-S^2)~>⬯<— r1(∞) q^18 δ_^0
2) h^ 7 q^21 δ^ 7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^24 δ|^3
3) h^ 8 q^23 δ^ 7/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^26 δ|^3
4) h^ 3 q^15 δ^ 9/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s1(0) q^18 δ|^4
5) h^-1 q^ 9 δ^11/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^14 δ|^5
options -c11-dop.l1.y0.y2.u1.
(diagram)
(metadata)
% file 'examples/knots/3_1/cxKhr-c11-dop.l1.y0.y2.u1.', generated by kht++ v0.1-23-ga307146 on Mon May 17 13:05:10 2021 GMT
1) h^-1 q^ 0 δ^1 ⬯~~(-S^2)~>⬯—>⬯~>⬮<—⬮<~⬯<— r(2) q^8/3 δ|^1
2) h^ 1 q^ 4 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^7 δ|^1/2
3) h^ 2 q^ 6 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^9 δ|^1/2
4) h^ 2 q^ 6 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^9 δ|^1/2
5) h^ 3 q^ 8 δ^1 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^11 δ|^1/2
6) h^-3 q^-2 δ^2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^1 δ|^3/2
7) h^-2 q^ 0 δ^2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<— s2(0) q^3 δ|^3/2
8) h^-7 q^-8 δ^3 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-3 δ|^5/2
9) h^-6 q^-6 δ^3 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-1 δ|^5/2
Khovanov type D structure \(\mathrm{\widetilde{CKh}}(L)\)
options -c0
(diagram)
(metadata)
% file 'examples/knots/3_1/cxCKh-c0', generated by kht, version v0.1, on Sun Mar 7 13:35:39 2021 GMT
1) h^0 q^2 δ^1 ⬮
2) h^2 q^6 δ^1 ⬮——H—>⬮
options -c2
(diagram)
(metadata)
% file 'examples/knots/3_1/cxCKh-c2', generated by kht, version v0.1, on Mon Mar 8 06:00:19 2021 GMT
1) h^0 q^2 δ^1 ⬮
2) h^2 q^6 δ^1 ⬮——H—>⬮
options -c3
(diagram)
(metadata)
% file 'examples/knots/3_1/cxCKh-c3', generated by kht, version v0.1, on Sun Mar 7 13:35:39 2021 GMT
1) h^0 q^2 δ^1 ⬮
2) h^2 q^6 δ^1 ⬮——H—>⬮
options -c5
(diagram)
(metadata)
% file 'examples/knots/3_1/cxCKh-c5', generated by kht, version v0.1, on Sun Mar 7 13:35:39 2021 GMT
1) h^0 q^2 δ^1 ⬮
2) h^2 q^6 δ^1 ⬮——H—>⬮
options -c7
(diagram)
(metadata)
% file 'examples/knots/3_1/cxCKh-c7', generated by kht, version v0.1, on Sun Mar 7 13:35:39 2021 GMT
1) h^0 q^2 δ^1 ⬮
2) h^2 q^6 δ^1 ⬮——H—>⬮
options -c11
(diagram)
(metadata)
% file 'examples/knots/3_1/cxCKh-c11', generated by kht, version v0.1, on Sun Mar 7 13:35:39 2021 GMT
1) h^0 q^2 δ^1 ⬮
2) h^2 q^6 δ^1 ⬮——H—>⬮