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