show all invariants|show all metadata
Input data and context
% 9_46-2n
% another computation of 9_46-2, this time from the diagram in [Figure 14, Boyle-Issa]
s.y0.l2.y1.y0.y1.y1.l3.y2.y4.u3.y1.y1.y0.y1.u2.y0
,1
% Simplifies with options '-q' to l0.y1.l1.l2.y3.y3.y5.y4.y3.y5.l3.y2.y4.y4.y6.y6.y5.y4.y4.y4.y6.y5.y4.u3.y4.y5.y3.y4.y3.y3.u2.x1.u2.y1.x2.y0.u1.y0
% Simplifies with options '-qs' to l1.l3.x2.l1.x0.x2.x1.x3.y4.x2.y3.y4.y4.y3.l5.x4.y1.x3.y2.u3.y4.y4.y3.y5.y4.y4.y3.y4.y4.y5.y4.u2.u1.y1.y0.x2.u1.y0
Khovanov type D structure \(\mathrm{\widetilde{CKh}}(L)\)
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/9_46-2n/cxCKh-c2', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^ 0 q^ 0 δ^0 ⬮
2) h^-6 q^-12 δ^0 ⬮——H—>⬮
3) h^-4 q^ -8 δ^0 ⬮——H—>⬮
4) h^-3 q^ -6 δ^0 ⬮——H—>⬮
5) h^-1 q^ -2 δ^0 ⬮——H—>⬮
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/9_46-2n/cxCKh-c3', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^ 0 q^ 0 δ^0 ⬮
2) h^-6 q^-12 δ^0 ⬮——H—>⬮
3) h^-4 q^ -8 δ^0 ⬮——H—>⬮
4) h^-3 q^ -6 δ^0 ⬮——H—>⬮
5) h^-1 q^ -2 δ^0 ⬮——H—>⬮
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/9_46-2n/cxCKh-c5', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^ 0 q^ 0 δ^0 ⬮
2) h^-6 q^-12 δ^0 ⬮——H—>⬮
3) h^-4 q^ -8 δ^0 ⬮——H—>⬮
4) h^-3 q^ -6 δ^0 ⬮——H—>⬮
5) h^-1 q^ -2 δ^0 ⬮——H—>⬮
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/9_46-2n/cxCKh-c7', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^ 0 q^ 0 δ^0 ⬮
2) h^-6 q^-12 δ^0 ⬮——H—>⬮
3) h^-4 q^ -8 δ^0 ⬮——H—>⬮
4) h^-3 q^ -6 δ^0 ⬮——H—>⬮
5) h^-1 q^ -2 δ^0 ⬮——H—>⬮
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/9_46-2n/cxCKh-c11', generated by kht, version v0.1, on Sun Mar 7 18:15:17 2021 GMT
1) h^ 0 q^ 0 δ^0 ⬮
2) h^-6 q^-12 δ^0 ⬮——H—>⬮
3) h^-4 q^ -8 δ^0 ⬮——H—>⬮
4) h^-3 q^ -6 δ^0 ⬮——H—>⬮
5) h^-1 q^ -2 δ^0 ⬮——H—>⬮