show all invariants|show all metadata
Input data and context
% mo9_30634
s.r2.y1.y0.y1.y0.
y1.y2.y2.y1.x2.y1.
l1.x0.y1.u2.x1.x2.x0.u1
,1
% Simplifies with options '-qs' to r1.y0.r1.x2.y1.y0.l5.x4.x3.y2.y1.y0.l2.y1.y1.x3.x4.y5.y6.y2.y3.y4.x3.y0.y1.y2.y5.y3.y4.y4.y5.y3.y4.y2.y1.x2.y3.y2.y2.y1.r1.x0.x2.r3.y2.x1.y2.u1.x0.x7.x6.y1.y2.x3.x4.u5.x2.x1.x3.x2.x0.x1.x4.x3.x1.u2.x0.x3.y1.u2.u0.x1.x1.x1.x1.x1.x1.x1.x1.x1.x1.x1.x1.x1.x1
Khovanov type D structure \(\mathrm{\widetilde{CKh}}(L)\)
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/mo9_30634/cxCKh-c2', generated by kht++ v0.1-64-gbf0da36 on Mon Jul 31 15:04:58 2023 GMT
1) h^ 0 q^12 δ^6 ⬮
2) h^10 q^26 δ^3 ⬮——H—>⬮
3) h^12 q^30 δ^3 ⬮——H—>⬮
4) h^13 q^32 δ^3 ⬮——H—>⬮
5) h^15 q^36 δ^3 ⬮——H—>⬮
6) h^ 6 q^20 δ^4 ⬮——H—>⬮
7) h^ 7 q^22 δ^4 ⬮——H—>⬮
8) h^ 8 q^24 δ^4 ⬮——H—>⬮
9) h^ 9 q^26 δ^4 ⬮——H—>⬮
10) h^ 9 q^26 δ^4 ⬮——H—>⬮
11) h^10 q^28 δ^4 ⬮——H—>⬮
12) h^11 q^30 δ^4 ⬮——H—>⬮
13) h^12 q^32 δ^4 ⬮——H—>⬮
14) h^ 6 q^22 δ^5 ⬮——H—>⬮
15) h^ 2 q^16 δ^6 ⬮——H—>⬮
16) h^ 8 q^24 δ^4 ⬮——H^2—>⬮
17) h^ 4 q^18 δ^5 ⬮——H^2—>⬮
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/mo9_30634/cxCKh-c3', generated by kht++ v0.1-64-gbf0da36 on Mon Jul 31 15:04:58 2023 GMT
1) h^ 0 q^12 δ^6 ⬮
2) h^12 q^30 δ^3 ⬮——H—>⬮
3) h^15 q^36 δ^3 ⬮——H—>⬮
4) h^ 7 q^22 δ^4 ⬮——H—>⬮
5) h^ 8 q^24 δ^4 ⬮——H—>⬮
6) h^ 8 q^24 δ^4 ⬮——H—>⬮
7) h^10 q^28 δ^4 ⬮——H—>⬮
8) h^11 q^30 δ^4 ⬮——H—>⬮
9) h^ 2 q^16 δ^6 ⬮——H—>⬮
10) h^ 6 q^20 δ^4 ⬮——H^2—>⬮
11) h^ 4 q^18 δ^5 ⬮——H^2—>⬮
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/mo9_30634/cxCKh-c5', generated by kht++ v0.1-64-gbf0da36 on Mon Jul 31 15:04:58 2023 GMT
1) h^ 0 q^12 δ^6 ⬮
2) h^12 q^30 δ^3 ⬮——H—>⬮
3) h^15 q^36 δ^3 ⬮——H—>⬮
4) h^ 7 q^22 δ^4 ⬮——H—>⬮
5) h^ 8 q^24 δ^4 ⬮——H—>⬮
6) h^ 8 q^24 δ^4 ⬮——H—>⬮
7) h^10 q^28 δ^4 ⬮——H—>⬮
8) h^11 q^30 δ^4 ⬮——H—>⬮
9) h^ 2 q^16 δ^6 ⬮——H—>⬮
10) h^ 6 q^20 δ^4 ⬮——H^2—>⬮
11) h^ 4 q^18 δ^5 ⬮——H^2—>⬮
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/mo9_30634/cxCKh-c7', generated by kht++ v0.1-64-gbf0da36 on Mon Jul 31 15:04:58 2023 GMT
1) h^ 0 q^12 δ^6 ⬮
2) h^12 q^30 δ^3 ⬮——H—>⬮
3) h^15 q^36 δ^3 ⬮——H—>⬮
4) h^ 7 q^22 δ^4 ⬮——H—>⬮
5) h^ 8 q^24 δ^4 ⬮——H—>⬮
6) h^ 8 q^24 δ^4 ⬮——H—>⬮
7) h^10 q^28 δ^4 ⬮——H—>⬮
8) h^11 q^30 δ^4 ⬮——H—>⬮
9) h^ 2 q^16 δ^6 ⬮——H—>⬮
10) h^ 6 q^20 δ^4 ⬮——H^2—>⬮
11) h^ 4 q^18 δ^5 ⬮——H^2—>⬮
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/mo9_30634/cxCKh-c11', generated by kht++ v0.1-64-gbf0da36 on Mon Jul 31 15:04:58 2023 GMT
1) h^ 0 q^12 δ^6 ⬮
2) h^12 q^30 δ^3 ⬮——H—>⬮
3) h^15 q^36 δ^3 ⬮——H—>⬮
4) h^ 7 q^22 δ^4 ⬮——H—>⬮
5) h^ 8 q^24 δ^4 ⬮——H—>⬮
6) h^ 8 q^24 δ^4 ⬮——H—>⬮
7) h^10 q^28 δ^4 ⬮——H—>⬮
8) h^11 q^30 δ^4 ⬮——H—>⬮
9) h^ 2 q^16 δ^6 ⬮——H—>⬮
10) h^ 6 q^20 δ^4 ⬮——H^2—>⬮
11) h^ 4 q^18 δ^5 ⬮——H^2—>⬮
Rasmussen's s-invariant
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/mo9_30634/cxCKh-c2', generated by kht++ v0.1-64-gbf0da36 on Mon Jul 31 15:04:58 2023 GMT
12
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/mo9_30634/cxCKh-c3', generated by kht++ v0.1-64-gbf0da36 on Mon Jul 31 15:04:58 2023 GMT
12
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/mo9_30634/cxCKh-c5', generated by kht++ v0.1-64-gbf0da36 on Mon Jul 31 15:04:58 2023 GMT
12
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/mo9_30634/cxCKh-c7', generated by kht++ v0.1-64-gbf0da36 on Mon Jul 31 15:04:58 2023 GMT
12
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/mo9_30634/cxCKh-c11', generated by kht++ v0.1-64-gbf0da36 on Mon Jul 31 15:04:58 2023 GMT
12