show all invariants|show all metadata
Input data and context
% ThinInterval1-1.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.x0.u1
,1
% Simplifies with options '-qs' to l2.r3.x1.y2.x3.x3.y4.y3.x1.x2.x1.u3.x1.x2.x1.x2.x2.x2.u0.x0.x0.x0.x0.x0.x0.x0
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c2-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-1/cxBNr-c2-qs', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:45:42 2021 GMT
1) h^-8 q^-23 δ^-7/2 ⬮——D—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯
2) h^ 1 q^ -6 δ^ -4 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c2-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-1/cxKhr-c2-qs', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:45:42 2021 GMT
1) h^ 0 q^ -7 δ^-7/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-2 δ|^-4
2) h^ 1 q^ -5 δ^-7/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^0 δ|^-4
3) h^-9 q^-24 δ^ -3 ⬮~~S^2~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<— r(-1/8) q^-136/9 δ|^-3
Khovanov type D structure \(\mathrm{\widetilde{CKh}}(L)\)
options -c0
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-1/cxCKh-c0', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^ 6 δ^3 ⬮
2) h^2 q^10 δ^3 ⬮——H—>⬮
3) h^4 q^12 δ^2 ⬮——H^2—>⬮
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-1/cxCKh-c2', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^ 6 δ^3 ⬮
2) h^2 q^10 δ^3 ⬮——H—>⬮
3) h^4 q^12 δ^2 ⬮——H^2—>⬮
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-1/cxCKh-c3', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^ 6 δ^3 ⬮
2) h^2 q^10 δ^3 ⬮——H—>⬮
3) h^4 q^12 δ^2 ⬮——H^2—>⬮
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-1/cxCKh-c5', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^ 6 δ^3 ⬮
2) h^2 q^10 δ^3 ⬮——H—>⬮
3) h^4 q^12 δ^2 ⬮——H^2—>⬮
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-1/cxCKh-c7', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^ 6 δ^3 ⬮
2) h^2 q^10 δ^3 ⬮——H—>⬮
3) h^4 q^12 δ^2 ⬮——H^2—>⬮
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-1/cxCKh-c11', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^ 6 δ^3 ⬮
2) h^2 q^10 δ^3 ⬮——H—>⬮
3) h^4 q^12 δ^2 ⬮——H^2—>⬮