show all invariants|show all metadata
Input data and context
% (2,-7)-pretzel tangle
l1.x2.y0.x2.y0.x2.x2.x2.x2.x2.u1
,1,1
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c2
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m7/cxBNr-c2', generated by kht++ v0.1-110-gad0cb61-dirty on Mon Jun 1 16:47:17 2026 GMT
1) h^-2 q^-11 δ^-7/2 ⬮<—D——⬮<~⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯
2) r(1/2) q^-65/3 δ|^-3: h^-9 q^-24 δ^ -3 ⬯~~S~>⬮—>⬮~>⬮<—⬮<~⬯<—
3) r(1/2) q^-53/3 δ|^-3: h^-7 q^-20 δ^ -3 ⬯~~S~>⬮—>⬮~>⬮<—⬮<~⬯<—
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c2
(diagram)
(metadata)
% file 'examples/pretzeltangles/PT2m7/cxKhr-c2', generated by kht++ v0.1-110-gad0cb61-dirty on Mon Jun 1 16:47:17 2026 GMT
1) r(1/2) q^-68/3 δ|^-5/2: h^-10 q^-25 δ^-5/2 ⬯~~S~>⬮—>⬮~>⬮<—⬮<~⬯<—
2) r(1/2) q^-62/3 δ|^-5/2: h^ -9 q^-23 δ^-5/2 ⬯~~S~>⬮—>⬮~>⬮<—⬮<~⬯<—
3) r(1/2) q^-56/3 δ|^-5/2: h^ -8 q^-21 δ^-5/2 ⬯~~S~>⬮—>⬮~>⬮<—⬮<~⬯<—
4) r(1/2) q^-50/3 δ|^-5/2: h^ -7 q^-19 δ^-5/2 ⬯~~S~>⬮—>⬮~>⬮<—⬮<~⬯<—
5) r(1/2) q^-38/3 δ|^-5/2: h^ -5 q^-15 δ^-5/2 ⬯~~S~>⬮—>⬮~>⬮<—⬮<~⬯<—
6) s4(0) q^-12 δ|^-3: h^ -6 q^-17 δ^-5/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—