show all invariants|show all metadata
Input data and context
% ThinInterval1-3.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.y1.x0.u1
,1
% Simplifies with options '-qs' to l0.x1.l3.y2.x3.y1.x0.y1.x2.x3.x2.y1.y2.x1.x1.y0.y1.x0.x3.y2.u3.u2.x0.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-3/cxBNr-c2-qs', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:47:47 2021 GMT
1) h^ -2 q^-20 δ^ -8 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^ -1 q^-18 δ^ -8 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-16 q^-47 δ^-15/2 ⬮——D—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c2-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-3/cxKhr-c2-qs', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:47:47 2021 GMT
1) h^ -3 q^-21 δ^-15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-8
2) h^ -2 q^-19 δ^-15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-14 δ|^-8
3) h^ -2 q^-19 δ^-15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-14 δ|^-8
4) h^ -1 q^-17 δ^-15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-12 δ|^-8
5) h^-17 q^-48 δ^ -7 ⬮~~S^2~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<— r(-1/16) q^-528/17 δ|^-7
Khovanov type D structure \(\mathrm{\widetilde{CKh}}(L)\)
options -c0
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-3/cxCKh-c0', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^10 δ^5 ⬮
2) h^6 q^20 δ^4 ⬮——H—>⬮
3) h^8 q^24 δ^4 ⬮——H—>⬮
4) h^2 q^14 δ^5 ⬮——H—>⬮
5) h^4 q^16 δ^4 ⬮——H^2—>⬮
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-3/cxCKh-c2', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^10 δ^5 ⬮
2) h^6 q^20 δ^4 ⬮——H—>⬮
3) h^8 q^24 δ^4 ⬮——H—>⬮
4) h^2 q^14 δ^5 ⬮——H—>⬮
5) h^4 q^16 δ^4 ⬮——H^2—>⬮
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-3/cxCKh-c3', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^10 δ^5 ⬮
2) h^6 q^20 δ^4 ⬮——H—>⬮
3) h^8 q^24 δ^4 ⬮——H—>⬮
4) h^2 q^14 δ^5 ⬮——H—>⬮
5) h^4 q^16 δ^4 ⬮——H^2—>⬮
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-3/cxCKh-c5', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^10 δ^5 ⬮
2) h^6 q^20 δ^4 ⬮——H—>⬮
3) h^8 q^24 δ^4 ⬮——H—>⬮
4) h^2 q^14 δ^5 ⬮——H—>⬮
5) h^4 q^16 δ^4 ⬮——H^2—>⬮
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-3/cxCKh-c7', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^10 δ^5 ⬮
2) h^6 q^20 δ^4 ⬮——H—>⬮
3) h^8 q^24 δ^4 ⬮——H—>⬮
4) h^2 q^14 δ^5 ⬮——H—>⬮
5) h^4 q^16 δ^4 ⬮——H^2—>⬮
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-3/cxCKh-c11', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^0 q^10 δ^5 ⬮
2) h^6 q^20 δ^4 ⬮——H—>⬮
3) h^8 q^24 δ^4 ⬮——H—>⬮
4) h^2 q^14 δ^5 ⬮——H—>⬮
5) h^4 q^16 δ^4 ⬮——H^2—>⬮