show all invariants|show all metadata

kht++: examples/strong_inversions/8_19

Input data and context

% 8_19
s.l1.x0.x0.y2.y2.y2.u1
,1
% Simplifies with options '-q' to r1.y2.r1.y2.y3.x2.x2.x4.x1.x2.y0.x2.y1.x0.x2.x2.x4.x4.y1.y0.y2.y1.x0.x0.y1.x3.u2.x2.y0.u1
% Simplifies with options '-qs' to r2.x1.r3.x4.x4.x4.x1.x2.x2.x1.x2.x2.y0.x2.y1.y1.y0.x1.y2.y1.x3.x4.x3.x3.x3.x3.x2.u1.x1.u0
% Simplifies with options '-qs' to r2.x1.r1.y2.y3.x1.x2.x1.x1.y0.x2.y1.x0.x0.y1.y2.y0.y1.x0.x0.x3.x2.x3.y1.y2.y3.x2.x2.u4.u0
% Simplifies with options '-qs' to r2.x1.r2.y3.x2.x1.x1.x2.x2.l6.y5.y4.l5.x6.y5.y4.x3.x7.y6.y5.x4.u5.x1.x2.x3.u4.u1.u0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0
% Simplifies with options '-qs' to r2.r2.y3.x1.x2.x2.x1.x1.x2.y0.y1.x2.y1.y2.x1.x1.x1.x1.y0.y1.x0.y1.x3.u2.x2.x1.x2.x2.x2.u0
% Simplifies with options '-qs' to r1.y2.r2.y3.x2.x1.x1.x2.x2.l4.x5.x6.l5.x6.y5.y4.x7.y6.y5.y5.x3.u4.x1.x2.x3.u4.u1.u0.x0.x0.x0.x0.x0.x0.x0.x0.x0.x0

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

options -c2-qs (diagram) (metadata)


options -c3-qs (diagram) (metadata)


options -c5-qs (diagram) (metadata)


options -c7-qs (diagram) (metadata)


options -c11-qs (diagram) (metadata)


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

options -c2-qs (diagram) (metadata)


options -c3-qs (diagram) (metadata)


options -c5-qs (diagram) (metadata)


options -c7-qs (diagram) (metadata)


options -c11-qs (diagram) (metadata)


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

options -c2 (diagram) (metadata)


options -c3 (diagram) (metadata)


options -c5 (diagram) (metadata)


options -c7 (diagram) (metadata)


options -c11 (diagram) (metadata)


Rasmussen's s-invariant

options -c2 (diagram) (metadata)


options -c3 (diagram) (metadata)


options -c5 (diagram) (metadata)


options -c7 (diagram) (metadata)


options -c11 (diagram) (metadata)