hide all invariants|show all metadata

kht++: examples/strong_inversions/9_46-2wo_bandcrash

Input data and context

% 9_46-2wo_bandcrash
% direct computation of tangle obtained from 9_46-2check by undoing a bandcrash move
r1.y0.x2.y0.x2.y0.u1.r2.r3.y1.y0.y2.y1.y1.y2.y0.y1.y1.y0.y2.y1.u3.u2.y0.y0.y0.y0.y0.y0
,1,1
% Simplifies with options '-qs' to r0.x1.x2.y0.y0.y1.u2.r1.x2.r3.y2.y0.y1.y1.y2.y2.y1.y0.y1.y2.y4.y4.y4.y4.x3.u2.x2.u1.y0

Bar-Natan multicurve BN~(T)

options -c2 (diagram) (metadata)

1) h^10 q^34 δ^ 7 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^11 q^36 δ^ 7 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^ 6 q^28 δ^ 8 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
4) h^ 8 q^32 δ^ 8 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
5) h^ 4 q^26 δ^ 9 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
6) h^ 0 q^20 δ^10 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮

options -c3 (diagram) (metadata)

1) h^12 q^38 δ^ 7 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^13 q^40 δ^ 7 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^ 8 q^32 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^ 8 q^32 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^ 4 q^26 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
6) h^ 0 q^20 δ^10 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮

options -c5 (diagram) (metadata)

1) h^12 q^38 δ^ 7 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^13 q^40 δ^ 7 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^ 8 q^32 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^ 8 q^32 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^ 4 q^26 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
6) h^ 0 q^20 δ^10 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮

options -c7 (diagram) (metadata)

1) h^12 q^38 δ^ 7 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^13 q^40 δ^ 7 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^ 8 q^32 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^ 8 q^32 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^ 4 q^26 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
6) h^ 0 q^20 δ^10 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮

options -c11 (diagram) (metadata)

1) h^12 q^38 δ^ 7 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
2) h^13 q^40 δ^ 7 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
3) h^ 8 q^32 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
4) h^ 8 q^32 δ^ 8 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—
5) h^ 4 q^26 δ^ 9 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
6) h^ 0 q^20 δ^10 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮

Khovanov multicurve Kh~(T)

options -c2 (diagram) (metadata)

 1) h^11 q^37 δ^15/2 ⬯~~S~>⬮—>⬮~>⬮<—⬮<~⬯<—     r(1/2) q^118/3 δ|^7
 2) h^ 9 q^33 δ^15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^38 δ|^7
 3) h^10 q^35 δ^15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^40 δ|^7
 4) h^10 q^35 δ^15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^40 δ|^7
 5) h^11 q^37 δ^15/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^42 δ|^7
 6) h^ 5 q^27 δ^17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^32 δ|^8
 7) h^ 6 q^29 δ^17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^34 δ|^8
 8) h^ 7 q^31 δ^17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^36 δ|^8
 9) h^ 7 q^31 δ^17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^36 δ|^8
10) h^ 8 q^33 δ^17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^38 δ|^8
11) h^ 3 q^25 δ^19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^30 δ|^9
12) h^ 3 q^25 δ^19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^30 δ|^9
13) h^ 4 q^27 δ^19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^32 δ|^9
14) h^-1 q^19 δ^21/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^24 δ|^10

options -c3 (diagram) (metadata)

 1) h^11 q^37 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^40 δ|^7
 2) h^12 q^39 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^42 δ|^7
 3) h^12 q^39 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^42 δ|^7
 4) h^13 q^41 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^44 δ|^7
 5) h^ 7 q^31 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^34 δ|^8
 6) h^ 7 q^31 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^34 δ|^8
 7) h^ 8 q^33 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^36 δ|^8
 8) h^ 8 q^33 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^36 δ|^8
 9) h^ 3 q^25 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^28 δ|^9
10) h^ 9 q^33 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬮<—⬮<~⬮<—⬮<~⬯<—     r(1/4) q^186/5 δ|^7
11) h^ 5 q^27 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^32 δ|^8
12) h^ 3 q^25 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^30 δ|^9
13) h^ 4 q^27 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^32 δ|^9
14) h^-1 q^19 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^24 δ|^10

options -c5 (diagram) (metadata)

 1) h^11 q^37 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^40 δ|^7
 2) h^12 q^39 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^42 δ|^7
 3) h^12 q^39 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^42 δ|^7
 4) h^13 q^41 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^44 δ|^7
 5) h^ 7 q^31 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^34 δ|^8
 6) h^ 7 q^31 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^34 δ|^8
 7) h^ 8 q^33 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^36 δ|^8
 8) h^ 8 q^33 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^36 δ|^8
 9) h^ 3 q^25 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^28 δ|^9
10) h^ 9 q^33 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬮<—⬮<~⬮<—⬮<~⬯<—     r(1/4) q^186/5 δ|^7
11) h^ 5 q^27 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^32 δ|^8
12) h^ 3 q^25 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^30 δ|^9
13) h^ 4 q^27 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^32 δ|^9
14) h^-1 q^19 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^24 δ|^10

options -c7 (diagram) (metadata)

 1) h^11 q^37 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^40 δ|^7
 2) h^12 q^39 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^42 δ|^7
 3) h^12 q^39 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^42 δ|^7
 4) h^13 q^41 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^44 δ|^7
 5) h^ 7 q^31 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^34 δ|^8
 6) h^ 7 q^31 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^34 δ|^8
 7) h^ 8 q^33 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^36 δ|^8
 8) h^ 8 q^33 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^36 δ|^8
 9) h^ 3 q^25 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^28 δ|^9
10) h^ 9 q^33 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬮<—⬮<~⬮<—⬮<~⬯<—     r(1/4) q^186/5 δ|^7
11) h^ 5 q^27 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^32 δ|^8
12) h^ 3 q^25 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^30 δ|^9
13) h^ 4 q^27 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^32 δ|^9
14) h^-1 q^19 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^24 δ|^10

options -c11 (diagram) (metadata)

 1) h^11 q^37 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^40 δ|^7
 2) h^12 q^39 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^42 δ|^7
 3) h^12 q^39 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^42 δ|^7
 4) h^13 q^41 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^44 δ|^7
 5) h^ 7 q^31 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^34 δ|^8
 6) h^ 7 q^31 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^34 δ|^8
 7) h^ 8 q^33 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^36 δ|^8
 8) h^ 8 q^33 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^36 δ|^8
 9) h^ 3 q^25 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^28 δ|^9
10) h^ 9 q^33 δ^15/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬮<—⬮<~⬮<—⬮<~⬯<—     r(1/4) q^186/5 δ|^7
11) h^ 5 q^27 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^32 δ|^8
12) h^ 3 q^25 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^30 δ|^9
13) h^ 4 q^27 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^32 δ|^9
14) h^-1 q^19 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^24 δ|^10