show all invariants|show all metadata
Input data and context
% 9_15-2
s.r1.x0.x0.y1.x0.x0.x0.x0.x1.u2
,1
% Symmetry 2 of a 2-bridge knot corresponding to the fraction 39/-22 = [-2,4,2,2] (Sakuma, Prop. 3.6, Case (1), symmetry 2).
% Simplifies with options '-qs' to l1.y2.x1.l2.x1.y3.x2.x1.x2.x2.x2.x1.x4.x2.y3.y4.y2.y3.x1.x2.x1.x1.x2.x1.x2.x1.x1.x2.x1.x1.x2.x2.x1.x2.x1.x1.x2.y3.x1.x1.u2.y0.y1.u2
Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)
options -c2-q
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxBNr-c2-q', generated by kht, version v0.1, on Sun Mar 7 16:05:13 2021 GMT
1) h^ 2 q^-20 δ^ -12 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^ -2 q^-26 δ^ -11 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^ -2 q^-26 δ^ -11 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ -6 q^-32 δ^ -10 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^ -6 q^-32 δ^ -10 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
6) h^-10 q^-38 δ^ -9 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
7) h^-10 q^-38 δ^ -9 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
8) h^-14 q^-44 δ^ -8 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
9) h^-16 q^-47 δ^-15/2 ⬮——D—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯
options -c3-q
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxBNr-c3-q', generated by kht, version v0.1, on Sun Mar 7 16:05:13 2021 GMT
1) h^ 2 q^-20 δ^ -12 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^ -2 q^-26 δ^ -11 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^ -2 q^-26 δ^ -11 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ -6 q^-32 δ^ -10 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^ -6 q^-32 δ^ -10 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
6) h^-10 q^-38 δ^ -9 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
7) h^-10 q^-38 δ^ -9 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
8) h^-14 q^-44 δ^ -8 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
9) h^-16 q^-47 δ^-15/2 ⬮——D—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯
options -c5-q
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxBNr-c5-q', generated by kht, version v0.1, on Sun Mar 7 16:05:13 2021 GMT
1) h^ 2 q^-20 δ^ -12 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^ -2 q^-26 δ^ -11 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^ -2 q^-26 δ^ -11 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ -6 q^-32 δ^ -10 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^ -6 q^-32 δ^ -10 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
6) h^-10 q^-38 δ^ -9 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
7) h^-10 q^-38 δ^ -9 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
8) h^-14 q^-44 δ^ -8 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
9) h^-16 q^-47 δ^-15/2 ⬮——D—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯
options -c7-q
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxBNr-c7-q', generated by kht, version v0.1, on Sun Mar 7 16:05:13 2021 GMT
1) h^ 2 q^-20 δ^ -12 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^ -2 q^-26 δ^ -11 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^ -2 q^-26 δ^ -11 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ -6 q^-32 δ^ -10 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^ -6 q^-32 δ^ -10 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
6) h^-10 q^-38 δ^ -9 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
7) h^-10 q^-38 δ^ -9 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
8) h^-14 q^-44 δ^ -8 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
9) h^-16 q^-47 δ^-15/2 ⬮——D—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯
options -c11-q
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxBNr-c11-q', generated by kht, version v0.1, on Sun Mar 7 16:05:13 2021 GMT
1) h^ 2 q^-20 δ^ -12 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^ -2 q^-26 δ^ -11 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^ -2 q^-26 δ^ -11 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ -6 q^-32 δ^ -10 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^ -6 q^-32 δ^ -10 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
6) h^-10 q^-38 δ^ -9 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
7) h^-10 q^-38 δ^ -9 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
8) h^-14 q^-44 δ^ -8 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
9) h^-16 q^-47 δ^-15/2 ⬮——D—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯
Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)
options -c2-q
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxKhr-c2-q', generated by kht, version v0.1, on Sun Mar 7 16:05:13 2021 GMT
1) h^-17 q^-48 δ^ -7 ⬮~~S^2~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<— r(-1/4) q^-216/5 δ|^-7
2) h^ 1 q^-21 δ^-23/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-12
3) h^ 2 q^-19 δ^-23/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-14 δ|^-12
4) h^ -3 q^-27 δ^-21/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-11
5) h^ -3 q^-27 δ^-21/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-11
6) h^ -2 q^-25 δ^-21/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-11
7) h^ -2 q^-25 δ^-21/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-11
8) h^ -7 q^-33 δ^-19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-28 δ|^-10
9) h^ -7 q^-33 δ^-19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-28 δ|^-10
10) h^ -6 q^-31 δ^-19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-10
11) h^ -6 q^-31 δ^-19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-10
12) h^ -6 q^-31 δ^-19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-10
13) h^-11 q^-39 δ^-17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-34 δ|^-9
14) h^-11 q^-39 δ^-17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-34 δ|^-9
15) h^-10 q^-37 δ^-17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-9
16) h^-10 q^-37 δ^-17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-9
17) h^-10 q^-37 δ^-17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-9
18) h^-15 q^-45 δ^-15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-40 δ|^-8
19) h^-14 q^-43 δ^-15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-38 δ|^-8
20) h^-14 q^-43 δ^-15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-38 δ|^-8
options -c3-q
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxKhr-c3-q', generated by kht, version v0.1, on Sun Mar 7 16:05:13 2021 GMT
1) h^-17 q^-48 δ^ -7 ⬮~~(-S^2)~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<— r(-1/4) q^-216/5 δ|^-7
2) h^ 1 q^-21 δ^-23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-12
3) h^ 2 q^-19 δ^-23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-14 δ|^-12
4) h^ -3 q^-27 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-11
5) h^ -3 q^-27 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-11
6) h^ -2 q^-25 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-11
7) h^ -2 q^-25 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-11
8) h^ -7 q^-33 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-28 δ|^-10
9) h^ -7 q^-33 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-28 δ|^-10
10) h^ -6 q^-31 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-10
11) h^ -6 q^-31 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-10
12) h^ -6 q^-31 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-10
13) h^-11 q^-39 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-34 δ|^-9
14) h^-11 q^-39 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-34 δ|^-9
15) h^-10 q^-37 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-9
16) h^-10 q^-37 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-9
17) h^-10 q^-37 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-9
18) h^-15 q^-45 δ^-15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-40 δ|^-8
19) h^-14 q^-43 δ^-15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-38 δ|^-8
20) h^-14 q^-43 δ^-15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-38 δ|^-8
options -c5-q
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxKhr-c5-q', generated by kht, version v0.1, on Sun Mar 7 16:05:13 2021 GMT
1) h^-17 q^-48 δ^ -7 ⬮~~(-S^2)~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<— r(-1/4) q^-216/5 δ|^-7
2) h^ 1 q^-21 δ^-23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-12
3) h^ 2 q^-19 δ^-23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-14 δ|^-12
4) h^ -3 q^-27 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-11
5) h^ -3 q^-27 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-11
6) h^ -2 q^-25 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-11
7) h^ -2 q^-25 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-11
8) h^ -7 q^-33 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-28 δ|^-10
9) h^ -7 q^-33 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-28 δ|^-10
10) h^ -6 q^-31 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-10
11) h^ -6 q^-31 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-10
12) h^ -6 q^-31 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-10
13) h^-11 q^-39 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-34 δ|^-9
14) h^-11 q^-39 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-34 δ|^-9
15) h^-10 q^-37 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-9
16) h^-10 q^-37 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-9
17) h^-10 q^-37 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-9
18) h^-15 q^-45 δ^-15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-40 δ|^-8
19) h^-14 q^-43 δ^-15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-38 δ|^-8
20) h^-14 q^-43 δ^-15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-38 δ|^-8
options -c7-q
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxKhr-c7-q', generated by kht, version v0.1, on Sun Mar 7 16:05:13 2021 GMT
1) h^-17 q^-48 δ^ -7 ⬮~~(-S^2)~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<— r(-1/4) q^-216/5 δ|^-7
2) h^ 1 q^-21 δ^-23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-12
3) h^ 2 q^-19 δ^-23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-14 δ|^-12
4) h^ -3 q^-27 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-11
5) h^ -3 q^-27 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-11
6) h^ -2 q^-25 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-11
7) h^ -2 q^-25 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-11
8) h^ -7 q^-33 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-28 δ|^-10
9) h^ -7 q^-33 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-28 δ|^-10
10) h^ -6 q^-31 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-10
11) h^ -6 q^-31 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-10
12) h^ -6 q^-31 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-10
13) h^-11 q^-39 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-34 δ|^-9
14) h^-11 q^-39 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-34 δ|^-9
15) h^-10 q^-37 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-9
16) h^-10 q^-37 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-9
17) h^-10 q^-37 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-9
18) h^-15 q^-45 δ^-15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-40 δ|^-8
19) h^-14 q^-43 δ^-15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-38 δ|^-8
20) h^-14 q^-43 δ^-15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-38 δ|^-8
options -c11-q
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxKhr-c11-q', generated by kht, version v0.1, on Sun Mar 7 16:05:13 2021 GMT
1) h^-17 q^-48 δ^ -7 ⬮~~(-S^2)~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯<~⬮<—⬮<~⬮<— r(-1/4) q^-216/5 δ|^-7
2) h^ 1 q^-21 δ^-23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-16 δ|^-12
3) h^ 2 q^-19 δ^-23/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-14 δ|^-12
4) h^ -3 q^-27 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-11
5) h^ -3 q^-27 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-22 δ|^-11
6) h^ -2 q^-25 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-11
7) h^ -2 q^-25 δ^-21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-20 δ|^-11
8) h^ -7 q^-33 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-28 δ|^-10
9) h^ -7 q^-33 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-28 δ|^-10
10) h^ -6 q^-31 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-10
11) h^ -6 q^-31 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-10
12) h^ -6 q^-31 δ^-19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-26 δ|^-10
13) h^-11 q^-39 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-34 δ|^-9
14) h^-11 q^-39 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-34 δ|^-9
15) h^-10 q^-37 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-9
16) h^-10 q^-37 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-9
17) h^-10 q^-37 δ^-17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-32 δ|^-9
18) h^-15 q^-45 δ^-15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-40 δ|^-8
19) h^-14 q^-43 δ^-15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-38 δ|^-8
20) h^-14 q^-43 δ^-15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<— s2(0) q^-38 δ|^-8
Khovanov type D structure \(\mathrm{\widetilde{CKh}}(L)\)
options -c0
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxCKh-c0', generated by kht, version v0.1, on Sun Mar 7 15:45:53 2021 GMT
1) h^ 0 q^ 2 δ^1 ⬮
2) h^-2 q^-2 δ^1 ⬮——H—>⬮
3) h^-1 q^ 0 δ^1 ⬮——H—>⬮
4) h^ 0 q^ 2 δ^1 ⬮——H—>⬮
5) h^ 0 q^ 2 δ^1 ⬮——H—>⬮
6) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
7) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
8) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
9) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
10) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
11) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
12) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
13) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
14) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
15) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
16) h^ 4 q^10 δ^1 ⬮——H—>⬮
17) h^ 4 q^10 δ^1 ⬮——H—>⬮
18) h^ 4 q^10 δ^1 ⬮——H—>⬮
19) h^ 5 q^12 δ^1 ⬮——H—>⬮
20) h^ 6 q^14 δ^1 ⬮——H—>⬮
options -c2
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxCKh-c2', generated by kht, version v0.1, on Sun Mar 7 15:58:53 2021 GMT
1) h^ 0 q^ 2 δ^1 ⬮
2) h^-2 q^-2 δ^1 ⬮——H—>⬮
3) h^-1 q^ 0 δ^1 ⬮——H—>⬮
4) h^ 0 q^ 2 δ^1 ⬮——H—>⬮
5) h^ 0 q^ 2 δ^1 ⬮——H—>⬮
6) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
7) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
8) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
9) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
10) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
11) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
12) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
13) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
14) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
15) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
16) h^ 4 q^10 δ^1 ⬮——H—>⬮
17) h^ 4 q^10 δ^1 ⬮——H—>⬮
18) h^ 4 q^10 δ^1 ⬮——H—>⬮
19) h^ 5 q^12 δ^1 ⬮——H—>⬮
20) h^ 6 q^14 δ^1 ⬮——H—>⬮
options -c3
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxCKh-c3', generated by kht, version v0.1, on Sun Mar 7 15:58:53 2021 GMT
1) h^ 0 q^ 2 δ^1 ⬮
2) h^-2 q^-2 δ^1 ⬮——H—>⬮
3) h^-1 q^ 0 δ^1 ⬮——H—>⬮
4) h^ 0 q^ 2 δ^1 ⬮——H—>⬮
5) h^ 0 q^ 2 δ^1 ⬮——H—>⬮
6) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
7) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
8) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
9) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
10) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
11) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
12) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
13) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
14) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
15) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
16) h^ 4 q^10 δ^1 ⬮——H—>⬮
17) h^ 4 q^10 δ^1 ⬮——H—>⬮
18) h^ 4 q^10 δ^1 ⬮——H—>⬮
19) h^ 5 q^12 δ^1 ⬮——H—>⬮
20) h^ 6 q^14 δ^1 ⬮——H—>⬮
options -c5
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxCKh-c5', generated by kht, version v0.1, on Sun Mar 7 15:58:53 2021 GMT
1) h^ 0 q^ 2 δ^1 ⬮
2) h^-2 q^-2 δ^1 ⬮——H—>⬮
3) h^-1 q^ 0 δ^1 ⬮——H—>⬮
4) h^ 0 q^ 2 δ^1 ⬮——H—>⬮
5) h^ 0 q^ 2 δ^1 ⬮——H—>⬮
6) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
7) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
8) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
9) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
10) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
11) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
12) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
13) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
14) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
15) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
16) h^ 4 q^10 δ^1 ⬮——H—>⬮
17) h^ 4 q^10 δ^1 ⬮——H—>⬮
18) h^ 4 q^10 δ^1 ⬮——H—>⬮
19) h^ 5 q^12 δ^1 ⬮——H—>⬮
20) h^ 6 q^14 δ^1 ⬮——H—>⬮
options -c7
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxCKh-c7', generated by kht, version v0.1, on Sun Mar 7 15:58:53 2021 GMT
1) h^ 0 q^ 2 δ^1 ⬮
2) h^-2 q^-2 δ^1 ⬮——H—>⬮
3) h^-1 q^ 0 δ^1 ⬮——H—>⬮
4) h^ 0 q^ 2 δ^1 ⬮——H—>⬮
5) h^ 0 q^ 2 δ^1 ⬮——H—>⬮
6) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
7) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
8) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
9) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
10) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
11) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
12) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
13) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
14) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
15) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
16) h^ 4 q^10 δ^1 ⬮——H—>⬮
17) h^ 4 q^10 δ^1 ⬮——H—>⬮
18) h^ 4 q^10 δ^1 ⬮——H—>⬮
19) h^ 5 q^12 δ^1 ⬮——H—>⬮
20) h^ 6 q^14 δ^1 ⬮——H—>⬮
options -c11
(diagram)
(metadata)
% file 'examples/strong_inversions/2-bridge_knots/9_15-2/cxCKh-c11', generated by kht, version v0.1, on Sun Mar 7 15:58:53 2021 GMT
1) h^ 0 q^ 2 δ^1 ⬮
2) h^-2 q^-2 δ^1 ⬮——H—>⬮
3) h^-1 q^ 0 δ^1 ⬮——H—>⬮
4) h^ 0 q^ 2 δ^1 ⬮——H—>⬮
5) h^ 0 q^ 2 δ^1 ⬮——H—>⬮
6) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
7) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
8) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
9) h^ 1 q^ 4 δ^1 ⬮——H—>⬮
10) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
11) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
12) h^ 2 q^ 6 δ^1 ⬮——H—>⬮
13) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
14) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
15) h^ 3 q^ 8 δ^1 ⬮——H—>⬮
16) h^ 4 q^10 δ^1 ⬮——H—>⬮
17) h^ 4 q^10 δ^1 ⬮——H—>⬮
18) h^ 4 q^10 δ^1 ⬮——H—>⬮
19) h^ 5 q^12 δ^1 ⬮——H—>⬮
20) h^ 6 q^14 δ^1 ⬮——H—>⬮