examples/strong_inversions/BKM1

% Baker-Kegel-McCoy knot K1
s.l2.x1.x0.
r3.y2.y2.x4.y3.y1.y2.y0.u1.
y1.x0.u1
,1
% Simplifies with options '-qs' to l0.y1.l1.y2.x1.x0.y2.y1.x0.y3.y2.x1.r2.y1.y3.x4.y0.r5.y4.x3.y4.y2.x3.y1.x2.u1.y0.y1.x5.x4.x2.u3.x1.y2.x0.y1.u0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0.y1.y0
% Simplifies with options '-qs' to r1.x0.x0.l2.x3.x3.y2.x1.l4.y3.x2.x1.x0.r4.x3.y2.x5.y4.x1.y2.u3.x4.x0.y3.x2.u1.x1.y2.x0.y1.u0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0.y1.y0.x1.x1.x1.x1.x1.x1.x1.x1

Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)

options -c2-qs (diagram) (metadata)

1) h^ -6 q^-36 δ^  -12 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
2) h^ -5 q^-34 δ^  -12 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
3) h^ -4 q^-32 δ^  -12 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
4) h^ -9 q^-40 δ^  -11 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—
5) h^-24 q^-71 δ^-23/2 ⬯——D—>⬯~>⬯—>⬯~>⬯—>⬯~>⬯—>⬯~>⬯—>⬯~>⬯—>⬯~>⬯—>⬯~>⬯—>⬯~>⬯—>⬯~>⬯—>⬯~>⬮<—⬮~>⬯—>⬯~>⬯—>⬯~>⬮

Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)

options -c2-qs (diagram) (metadata)

1) h^ -7 q^-37 δ^-23/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—     s4(∞) q^-32 δ_^-12
2) h^ -6 q^-35 δ^-23/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—     s4(∞) q^-30 δ_^-12
3) h^ -6 q^-35 δ^-23/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—     s4(∞) q^-30 δ_^-12
4) h^ -6 q^-35 δ^-23/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—     s4(∞) q^-30 δ_^-12
5) h^ -5 q^-33 δ^-23/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—     s4(∞) q^-28 δ_^-12
6) h^ -5 q^-33 δ^-23/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—     s4(∞) q^-28 δ_^-12
7) h^ -4 q^-31 δ^-23/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—     s4(∞) q^-26 δ_^-12
8) h^-10 q^-41 δ^-21/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—     s4(∞) q^-36 δ_^-11
9) h^ -9 q^-39 δ^-21/2 ⬮~~S~>⬯—>⬯~>⬯—>⬯~>⬮—>⬮<~⬯<—⬯<~⬯<—⬯<~⬮<—     s4(∞) q^-34 δ_^-11
10) h^-25 q^-72 δ^  -11 ⬯~~S^2~>⬯—>⬯~>⬯—>⬯~>⬯—>⬯~>⬯—>⬯~>⬯—>⬯~>⬯—>⬯~>⬯—>⬯~>⬯—>⬯~>⬯—>⬯~>⬯—>⬯~>⬮<—⬮<~⬯<—⬯<~⬯<—⬯<~⬯<—⬯<~⬯<—⬯<~⬯<—⬯<~⬯<—⬯<~⬯<—⬯<~⬯<—⬯<~⬯<—⬯<~⬯<—     r(20) q^-1072/21 δ|^-23/2

Khovanov type D structure \(\mathrm{\widetilde{CKh}}(L)\)

options -c2 (diagram) (metadata)

1) h^ 0 q^14 δ^7 ⬮
2) h^ 6 q^22 δ^5 ⬮——H—>⬮
3) h^ 7 q^24 δ^5 ⬮——H—>⬮
4) h^ 8 q^26 δ^5 ⬮——H—>⬮
5) h^ 9 q^28 δ^5 ⬮——H—>⬮
6) h^ 9 q^28 δ^5 ⬮——H—>⬮
7) h^10 q^30 δ^5 ⬮——H—>⬮
8) h^10 q^30 δ^5 ⬮——H—>⬮
9) h^11 q^32 δ^5 ⬮——H—>⬮
10) h^12 q^34 δ^5 ⬮——H—>⬮
11) h^ 6 q^24 δ^6 ⬮——H—>⬮
12) h^ 2 q^18 δ^7 ⬮——H—>⬮
13) h^ 8 q^26 δ^5 ⬮——H^2—>⬮
14) h^ 4 q^20 δ^6 ⬮——H^2—>⬮

kht++: examples/strong_inversions/BKM1

Input data and context

Bar-Natan multicurve \(\mathrm{\widetilde{BN}}(T)\)

options -c2-qs (diagram) (metadata)

Khovanov multicurve \(\mathrm{\widetilde{Kh}}(T)\)

options -c2-qs (diagram) (metadata)

Khovanov type D structure \(\mathrm{\widetilde{CKh}}(L)\)

options -c2 (diagram) (metadata)

Rasmussen's s-invariant

options -c2 (diagram) (metadata)