show all invariants|show all metadata
Input data and context
% ThinInterval1-4.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.y1.x0.u1
,1
% Simplifies with options '-qs' to l2.x1.x1.l3.l4.x5.x3.x5.x6.x5.x3.x3.x3.x3.x3.x3.x3.x3.x3.y4.y3.r3.y4.x6.x5.y2.y3.x2.x1.x6.x5.x6.x5.x4.x2.u3.x1.x1.y0.y1.u2.x2.u1.u0.x0
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c2-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-4/cxBNr-c2-qs', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:47:58 2021 GMT
1) h^ -7 q^-38 δ^ -12 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^ -6 q^-36 δ^ -12 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^-24 q^-71 δ^-23/2 ⬮——D—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c2-qs
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-4/cxKhr-c2-qs', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:47:58 2021 GMT
1) h^ -8 q^-39 δ^-23/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-34 δ|^-12
2) h^ -7 q^-37 δ^-23/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-12
3) h^ -7 q^-37 δ^-23/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-12
4) h^ -6 q^-35 δ^-23/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-30 δ|^-12
5) h^ -6 q^-35 δ^-23/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-30 δ|^-12
6) h^-25 q^-72 δ^ -11 ⬮~~S^2~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬮<— r(-1/20) q^-1072/21 δ|^-11
Khovanov type D structure \(\mathrm{\widetilde{CKh}}(L)\)
options -c0
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-4/cxCKh-c0', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^ 0 q^12 δ^6 ⬮
2) h^ 6 q^22 δ^5 ⬮——H—>⬮
3) h^ 8 q^26 δ^5 ⬮——H—>⬮
4) h^10 q^30 δ^5 ⬮——H—>⬮
5) h^ 2 q^16 δ^6 ⬮——H—>⬮
6) h^ 4 q^18 δ^5 ⬮——H^2—>⬮
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-4/cxCKh-c2', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^ 0 q^12 δ^6 ⬮
2) h^ 6 q^22 δ^5 ⬮——H—>⬮
3) h^ 8 q^26 δ^5 ⬮——H—>⬮
4) h^10 q^30 δ^5 ⬮——H—>⬮
5) h^ 2 q^16 δ^6 ⬮——H—>⬮
6) h^ 4 q^18 δ^5 ⬮——H^2—>⬮
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-4/cxCKh-c3', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^ 0 q^12 δ^6 ⬮
2) h^ 6 q^22 δ^5 ⬮——H—>⬮
3) h^ 8 q^26 δ^5 ⬮——H—>⬮
4) h^10 q^30 δ^5 ⬮——H—>⬮
5) h^ 2 q^16 δ^6 ⬮——H—>⬮
6) h^ 4 q^18 δ^5 ⬮——H^2—>⬮
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-4/cxCKh-c5', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^ 0 q^12 δ^6 ⬮
2) h^ 6 q^22 δ^5 ⬮——H—>⬮
3) h^ 8 q^26 δ^5 ⬮——H—>⬮
4) h^10 q^30 δ^5 ⬮——H—>⬮
5) h^ 2 q^16 δ^6 ⬮——H—>⬮
6) h^ 4 q^18 δ^5 ⬮——H^2—>⬮
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-4/cxCKh-c7', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^ 0 q^12 δ^6 ⬮
2) h^ 6 q^22 δ^5 ⬮——H—>⬮
3) h^ 8 q^26 δ^5 ⬮——H—>⬮
4) h^10 q^30 δ^5 ⬮——H—>⬮
5) h^ 2 q^16 δ^6 ⬮——H—>⬮
6) h^ 4 q^18 δ^5 ⬮——H^2—>⬮
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/ThinInterval1-4/cxCKh-c11', generated by kht++ v0.1-14-gd92fba6 on Thu Apr 22 09:52:43 2021 GMT
1) h^ 0 q^12 δ^6 ⬮
2) h^ 6 q^22 δ^5 ⬮——H—>⬮
3) h^ 8 q^26 δ^5 ⬮——H—>⬮
4) h^10 q^30 δ^5 ⬮——H—>⬮
5) h^ 2 q^16 δ^6 ⬮——H—>⬮
6) h^ 4 q^18 δ^5 ⬮——H^2—>⬮