show all invariants|show all metadata
Input data and context
% (2,-3)-pretzel tangle
l1.x2.y0.x2.y0.x2.u1
,0,1
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c2
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxBNr-c2', generated by kht++ v0.1-110-gad0cb61-dirty on Mon Jun 1 16:47:17 2026 GMT
1) h^0 q^-1 δ^-1/2 ⬮<—D——⬮<~⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯
options -c2p.y0.y0.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxBNr-c2p.y0.y0.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 16:28:54 2024 GMT
1) h^0 q^-2 δ^-1 ⬯<~S~~⬮<—⬮<~⬮<—⬮<~⬯—>⬯~>⬮—>⬮~>⬮—>⬮
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c2
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxKhr-c2', generated by kht++ v0.1-110-gad0cb61-dirty on Mon Jun 1 16:47:17 2026 GMT
1) r(1/2) q^-8/3 δ|^1/2: h^-3 q^-5 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮<—⬮<~⬯<—
2) s4(0) q^-2 δ|^0: h^-4 q^-7 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
options -c2p.y0.y0.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxKhr-c2p.y0.y0.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 16:28:54 2024 GMT
1) h^-5 q^ -9 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬮<—⬮<~⬮<—⬮<~⬯<— r(1/4) q^-24/5 δ|^0
2) h^-6 q^-11 δ^1/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s4(0) q^-6 δ|^0
Khovanov type D structure \(\mathrm{\widetilde{CKh}}(L)\)
options -c2P.r1.p.y0.y0.r1.x0.x0.x0.x2.u1.u1.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxCKh-c2P.r1.p.y0.y0.r1.x0.x0.x0.x2.u1.u1.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 17:09:52 2024 GMT
1) h^ -2 q^-10 δ^-3 ⬮
2) h^-10 q^-26 δ^-3 ⬮——H—>⬮
3) h^ -9 q^-24 δ^-3 ⬮——H—>⬮
4) h^ -8 q^-22 δ^-3 ⬮——H—>⬮
5) h^ -8 q^-22 δ^-3 ⬮——H—>⬮
6) h^ -7 q^-20 δ^-3 ⬮——H—>⬮
7) h^ -7 q^-20 δ^-3 ⬮——H—>⬮
8) h^ -7 q^-20 δ^-3 ⬮——H—>⬮
9) h^ -6 q^-18 δ^-3 ⬮——H—>⬮
10) h^ -6 q^-18 δ^-3 ⬮——H—>⬮
11) h^ -5 q^-16 δ^-3 ⬮——H—>⬮
12) h^ -5 q^-16 δ^-3 ⬮——H—>⬮
13) h^ -5 q^-16 δ^-3 ⬮——H—>⬮
14) h^ -4 q^-14 δ^-3 ⬮——H—>⬮
15) h^ -3 q^-12 δ^-3 ⬮——H—>⬮
options -c2P.r1.p.y0.y0.r1.x0.x0.x0.x2.u1.x0.x0.u1.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxCKh-c2P.r1.p.y0.y0.r1.x0.x0.x0.x2.u1.x0.x0.u1.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 17:11:02 2024 GMT
1) h^-2 q^-10 δ^-3 ⬮
2) h^-8 q^-22 δ^-3 ⬮——H—>⬮
3) h^-7 q^-20 δ^-3 ⬮——H—>⬮
4) h^-6 q^-18 δ^-3 ⬮——H—>⬮
5) h^-6 q^-18 δ^-3 ⬮——H—>⬮
6) h^-5 q^-16 δ^-3 ⬮——H—>⬮
7) h^-5 q^-16 δ^-3 ⬮——H—>⬮
8) h^-4 q^-14 δ^-3 ⬮——H—>⬮
9) h^-3 q^-12 δ^-3 ⬮——H—>⬮
10) h^-3 q^-12 δ^-3 ⬮——H—>⬮
11) h^-1 q^ -8 δ^-3 ⬮——H—>⬮
options -c2P.r1.p.y0.y0.r1.x0.x0.x0.x2.u1.y0.y0.u1.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxCKh-c2P.r1.p.y0.y0.r1.x0.x0.x0.x2.u1.y0.y0.u1.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 17:11:07 2024 GMT
1) h^ -2 q^-10 δ^-3 ⬮
2) h^-12 q^-30 δ^-3 ⬮——H—>⬮
3) h^-11 q^-28 δ^-3 ⬮——H—>⬮
4) h^-10 q^-26 δ^-3 ⬮——H—>⬮
5) h^-10 q^-26 δ^-3 ⬮——H—>⬮
6) h^ -9 q^-24 δ^-3 ⬮——H—>⬮
7) h^ -9 q^-24 δ^-3 ⬮——H—>⬮
8) h^ -9 q^-24 δ^-3 ⬮——H—>⬮
9) h^ -8 q^-22 δ^-3 ⬮——H—>⬮
10) h^ -8 q^-22 δ^-3 ⬮——H—>⬮
11) h^ -7 q^-20 δ^-3 ⬮——H—>⬮
12) h^ -7 q^-20 δ^-3 ⬮——H—>⬮
13) h^ -7 q^-20 δ^-3 ⬮——H—>⬮
14) h^ -7 q^-20 δ^-3 ⬮——H—>⬮
15) h^ -6 q^-18 δ^-3 ⬮——H—>⬮
16) h^ -6 q^-18 δ^-3 ⬮——H—>⬮
17) h^ -5 q^-16 δ^-3 ⬮——H—>⬮
18) h^ -5 q^-16 δ^-3 ⬮——H—>⬮
19) h^ -4 q^-14 δ^-3 ⬮——H—>⬮
options -c2P.r1.p.y0.y0.r1.x0.x2.u1.u1.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxCKh-c2P.r1.p.y0.y0.r1.x0.x2.u1.u1.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 17:08:23 2024 GMT
1) h^-2 q^ -8 δ^-2 ⬮
2) h^-8 q^-20 δ^-2 ⬮——H—>⬮
3) h^-7 q^-18 δ^-2 ⬮——H—>⬮
4) h^-6 q^-16 δ^-2 ⬮——H—>⬮
5) h^-5 q^-14 δ^-2 ⬮——H—>⬮
6) h^-5 q^-14 δ^-2 ⬮——H—>⬮
7) h^-4 q^-12 δ^-2 ⬮——H—>⬮
8) h^-3 q^-10 δ^-2 ⬮——H—>⬮
options -c2P.r1.p.y0.y0.r1.y0.y0.y0.y2.u1.u1.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxCKh-c2P.r1.p.y0.y0.r1.y0.y0.y0.y2.u1.u1.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 17:10:00 2024 GMT
1) h^-2 q^ -4 δ^0 ⬮
2) h^-7 q^-14 δ^0 ⬮——H—>⬮
3) h^-6 q^-12 δ^0 ⬮——H—>⬮
4) h^-5 q^-10 δ^0 ⬮——H—>⬮
5) h^-5 q^-10 δ^0 ⬮——H—>⬮
6) h^-4 q^ -8 δ^0 ⬮——H—>⬮
7) h^-4 q^ -8 δ^0 ⬮——H—>⬮
8) h^-4 q^ -8 δ^0 ⬮——H—>⬮
9) h^-3 q^ -6 δ^0 ⬮——H—>⬮
10) h^-3 q^ -6 δ^0 ⬮——H—>⬮
11) h^-2 q^ -4 δ^0 ⬮——H—>⬮
12) h^-2 q^ -4 δ^0 ⬮——H—>⬮
13) h^-2 q^ -4 δ^0 ⬮——H—>⬮
14) h^-1 q^ -2 δ^0 ⬮——H—>⬮
15) h^-1 q^ -2 δ^0 ⬮——H—>⬮
16) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
17) h^ 0 q^ 0 δ^0 ⬮——H—>⬮
18) h^ 1 q^ 2 δ^0 ⬮——H—>⬮
options -c2P.r1.p.y0.y0.r1.y0.y0.y0.y2.u1.x0.x0.x0.u1.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxCKh-c2P.r1.p.y0.y0.r1.y0.y0.y0.y2.u1.x0.x0.x0.u1.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 17:10:28 2024 GMT
1) h^-2 q^ -8 δ^-2 ⬮
2) h^-8 q^-20 δ^-2 ⬮——H—>⬮
3) h^-7 q^-18 δ^-2 ⬮——H—>⬮
4) h^-6 q^-16 δ^-2 ⬮——H—>⬮
5) h^-6 q^-16 δ^-2 ⬮——H—>⬮
6) h^-5 q^-14 δ^-2 ⬮——H—>⬮
7) h^-5 q^-14 δ^-2 ⬮——H—>⬮
8) h^-4 q^-12 δ^-2 ⬮——H—>⬮
9) h^-4 q^-12 δ^-2 ⬮——H—>⬮
10) h^-3 q^-10 δ^-2 ⬮——H—>⬮
11) h^-3 q^-10 δ^-2 ⬮——H—>⬮
12) h^-1 q^ -6 δ^-2 ⬮——H—>⬮
options -c2P.r1.p.y0.y0.r1.y0.y0.y0.y2.u1.y0.y0.y0.u1.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxCKh-c2P.r1.p.y0.y0.r1.y0.y0.y0.y2.u1.y0.y0.y0.u1.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 17:10:33 2024 GMT
1) h^ -2 q^ -8 δ^-2 ⬮
2) h^-14 q^-32 δ^-2 ⬮——H—>⬮
3) h^-13 q^-30 δ^-2 ⬮——H—>⬮
4) h^-12 q^-28 δ^-2 ⬮——H—>⬮
5) h^-12 q^-28 δ^-2 ⬮——H—>⬮
6) h^-11 q^-26 δ^-2 ⬮——H—>⬮
7) h^-11 q^-26 δ^-2 ⬮——H—>⬮
8) h^-11 q^-26 δ^-2 ⬮——H—>⬮
9) h^-10 q^-24 δ^-2 ⬮——H—>⬮
10) h^-10 q^-24 δ^-2 ⬮——H—>⬮
11) h^ -9 q^-22 δ^-2 ⬮——H—>⬮
12) h^ -9 q^-22 δ^-2 ⬮——H—>⬮
13) h^ -9 q^-22 δ^-2 ⬮——H—>⬮
14) h^ -9 q^-22 δ^-2 ⬮——H—>⬮
15) h^ -8 q^-20 δ^-2 ⬮——H—>⬮
16) h^ -8 q^-20 δ^-2 ⬮——H—>⬮
17) h^ -7 q^-18 δ^-2 ⬮——H—>⬮
18) h^ -7 q^-18 δ^-2 ⬮——H—>⬮
19) h^ -7 q^-18 δ^-2 ⬮——H—>⬮
20) h^ -6 q^-16 δ^-2 ⬮——H—>⬮
21) h^ -6 q^-16 δ^-2 ⬮——H—>⬮
22) h^ -5 q^-14 δ^-2 ⬮——H—>⬮
23) h^ -4 q^-12 δ^-2 ⬮——H—>⬮
24) h^ -4 q^-12 δ^-2 ⬮——H—>⬮
Rasmussen's s-invariant
options -c2P.r1.p.y0.y0.r1.x0.x0.x0.x2.u1.u1.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxCKh-c2P.r1.p.y0.y0.r1.x0.x0.x0.x2.u1.u1.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 17:09:52 2024 GMT
-10
options -c2P.r1.p.y0.y0.r1.x0.x0.x0.x2.u1.x0.x0.u1.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxCKh-c2P.r1.p.y0.y0.r1.x0.x0.x0.x2.u1.x0.x0.u1.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 17:11:02 2024 GMT
-10
options -c2P.r1.p.y0.y0.r1.x0.x0.x0.x2.u1.y0.y0.u1.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxCKh-c2P.r1.p.y0.y0.r1.x0.x0.x0.x2.u1.y0.y0.u1.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 17:11:07 2024 GMT
-10
options -c2P.r1.p.y0.y0.r1.x0.x2.u1.u1.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxCKh-c2P.r1.p.y0.y0.r1.x0.x2.u1.u1.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 17:08:23 2024 GMT
-8
options -c2P.r1.p.y0.y0.r1.y0.y0.y0.y2.u1.u1.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxCKh-c2P.r1.p.y0.y0.r1.y0.y0.y0.y2.u1.u1.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 17:10:00 2024 GMT
-4
options -c2P.r1.p.y0.y0.r1.y0.y0.y0.y2.u1.x0.x0.x0.u1.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxCKh-c2P.r1.p.y0.y0.r1.y0.y0.y0.y2.u1.x0.x0.x0.u1.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 17:10:28 2024 GMT
-8
options -c2P.r1.p.y0.y0.r1.y0.y0.y0.y2.u1.y0.y0.y0.u1.
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m3-rev/cxCKh-c2P.r1.p.y0.y0.r1.y0.y0.y0.y2.u1.y0.y0.y0.u1.', generated by kht++ v0.1-74-ga200107 on Fri Jul 19 17:10:33 2024 GMT
-8