hide all invariants|show all metadata

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

Input data and context

% 9_46-2check
% direct computation from quotient tangle
r1.y0.x2.y0.y0.y1.r2.r3.x5.x4.y6.y5.u4.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 r2.y1.r1.y0.y0.x2.x3.r4.y2.y3.y1.y1.y2.y1.y1.y2.y2.y3.x4.x5.y4.x3.y1.x2.x1.u6.u0.y1.y0.y0.y1.y1.u2

Bar-Natan multicurve BN~(T)

options -c2 (diagram) (metadata)

1) h^10 q^38 δ^ 9 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
2) h^ 6 q^32 δ^10 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—
3) h^ 0 q^24 δ^12 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—D^2——⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮

options -c3 (diagram) (metadata)

1) h^0 q^24 δ^12 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—D^2——⬯~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮

options -c5 (diagram) (metadata)

1) h^8 q^34 δ^ 9 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯—>⬯<~⬮<—⬮<~⬯<—D^2——
2) h^0 q^24 δ^12 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮

options -c7 (diagram) (metadata)

1) h^0 q^24 δ^12 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—D^2——⬯~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮

options -c11 (diagram) (metadata)

1) h^0 q^24 δ^12 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—D^2——⬯~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—⬯~>⬮—>⬮~>⬯<—⬯~>⬮—>⬮~>⬮—>⬮

Khovanov multicurve Kh~(T)

options -c2 (diagram) (metadata)

1) h^11 q^39 δ^17/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬮<—⬮<~⬮<—⬮<~⬯<—     r(1/4) q^216/5 δ|^8
2) h^ 7 q^33 δ^19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^38 δ|^9
3) h^ 9 q^37 δ^19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^42 δ|^9
4) h^10 q^39 δ^19/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^44 δ|^9
5) h^ 5 q^31 δ^21/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^36 δ|^10
6) h^ 6 q^33 δ^21/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^38 δ|^10
7) h^ 3 q^29 δ^23/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^34 δ|^11
8) h^-1 q^23 δ^25/2 ⬯~~S~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^28 δ|^12

options -c3 (diagram) (metadata)

1) h^ 9 q^37 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^40 δ|^9
2) h^ 8 q^37 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^40 δ|^10
3) h^ 3 q^29 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^32 δ|^11
4) h^11 q^39 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬮<—⬮<~⬮<—⬮<~⬯<—     r(1/4) q^216/5 δ|^8
5) h^10 q^39 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^44 δ|^9
6) h^ 5 q^31 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^36 δ|^10
7) h^-1 q^23 δ^25/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^28 δ|^12
8) h^ 7 q^33 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬯<—     s3(0) q^40 δ|^9

options -c5 (diagram) (metadata)

1) h^ 9 q^37 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^40 δ|^9
2) h^ 8 q^37 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^40 δ|^10
3) h^ 3 q^29 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^32 δ|^11
4) h^11 q^39 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬮<—⬮<~⬮<—⬮<~⬯<—     r(1/4) q^216/5 δ|^8
5) h^10 q^39 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^44 δ|^9
6) h^ 5 q^31 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^36 δ|^10
7) h^-1 q^23 δ^25/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^28 δ|^12
8) h^ 7 q^33 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬯<—     s3(0) q^40 δ|^9

options -c7 (diagram) (metadata)

1) h^ 9 q^37 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^40 δ|^9
2) h^ 8 q^37 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^40 δ|^10
3) h^ 3 q^29 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^32 δ|^11
4) h^11 q^39 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬮<—⬮<~⬮<—⬮<~⬯<—     r(1/4) q^216/5 δ|^8
5) h^10 q^39 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^44 δ|^9
6) h^ 5 q^31 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^36 δ|^10
7) h^-1 q^23 δ^25/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^28 δ|^12
8) h^ 7 q^33 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬯<—     s3(0) q^40 δ|^9

options -c11 (diagram) (metadata)

1) h^ 9 q^37 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^40 δ|^9
2) h^ 8 q^37 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^40 δ|^10
3) h^ 3 q^29 δ^23/2 ⬯~~(-S)~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬯<—     s1(0) q^32 δ|^11
4) h^11 q^39 δ^17/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬮<—⬮<~⬮<—⬮<~⬯<—     r(1/4) q^216/5 δ|^8
5) h^10 q^39 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^44 δ|^9
6) h^ 5 q^31 δ^21/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^36 δ|^10
7) h^-1 q^23 δ^25/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬯<—     s2(0) q^28 δ|^12
8) h^ 7 q^33 δ^19/2 ⬯~~(-S)~>⬮—>⬮~>⬮—>⬮~>⬮—>⬮~>⬯—>⬯<~⬮<—⬮<~⬮<—⬮<~⬮<—⬮<~⬯<—     s3(0) q^40 δ|^9