show all invariants|show all metadata
Input data and context
% ThinInterval1-2.kht, from meeing with Liam on 2021-04-20
% belongs to a family of tangles for which the set of thin fillings is a proper interval
s.l1.x0.y1.y2.y1.y1.x0.u1
,1
% Simplifies with options '-qs' to r0.l3.x4.x1.r2.x1.x3.x4.x3.x3.x3.y2.y3.x2.x2.y1.u2.x2.y1.u2.u1.x0.x0.x0.x0.x0.x0.x0.x0.x0
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c2-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-2/cxBNr-c2-qs', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:47:39 2021 GMT
1) h^ -4 q^-24 δ^ -8 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^-16 q^-47 δ^-15/2 ⬮——D—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c2-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-2/cxKhr-c2-qs', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:47:39 2021 GMT
1) h^ -6 q^-27 δ^-15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-8
2) h^ -5 q^-25 δ^-15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-8
3) h^ -4 q^-23 δ^-15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-18 δ|^-8
4) h^-17 q^-48 δ^ -7 ⬮~~S^2~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<— r(-1/12) q^-456/13 δ|^-7
Khovanov type D structure \(\mathrm{\widetilde{CKh}}(L)\)
options -c0
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-2/cxCKh-c0', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^ 8 δ^4 ⬮
2) h^6 q^18 δ^3 ⬮——H—>⬮
3) h^2 q^12 δ^4 ⬮——H—>⬮
4) h^4 q^14 δ^3 ⬮——H^2—>⬮
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-2/cxCKh-c2', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^ 8 δ^4 ⬮
2) h^6 q^18 δ^3 ⬮——H—>⬮
3) h^2 q^12 δ^4 ⬮——H—>⬮
4) h^4 q^14 δ^3 ⬮——H^2—>⬮
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-2/cxCKh-c3', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^ 8 δ^4 ⬮
2) h^6 q^18 δ^3 ⬮——H—>⬮
3) h^2 q^12 δ^4 ⬮——H—>⬮
4) h^4 q^14 δ^3 ⬮——H^2—>⬮
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-2/cxCKh-c5', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^ 8 δ^4 ⬮
2) h^6 q^18 δ^3 ⬮——H—>⬮
3) h^2 q^12 δ^4 ⬮——H—>⬮
4) h^4 q^14 δ^3 ⬮——H^2—>⬮
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-2/cxCKh-c7', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^ 8 δ^4 ⬮
2) h^6 q^18 δ^3 ⬮——H—>⬮
3) h^2 q^12 δ^4 ⬮——H—>⬮
4) h^4 q^14 δ^3 ⬮——H^2—>⬮
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-2/cxCKh-c11', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^ 8 δ^4 ⬮
2) h^6 q^18 δ^3 ⬮——H—>⬮
3) h^2 q^12 δ^4 ⬮——H—>⬮
4) h^4 q^14 δ^3 ⬮——H^2—>⬮