show all invariants|show all metadata

kht++: examples/strong_inversions/9_45

Input data and context

% 9_45
s.l1.y0.y0.y0.y1.x2.x1.y0.u1
,1
% Simplifies with options '-q' to l1.l2.x4.x3.y2.y2.y1.y1.y2.y1.y1.y1.y1.y2.y2.y3.y4.y4.y4.y3.y4.x2.y1.y4.x3.u4.y2.y2.x0.u1.y0.y0.y0.y0.y0.y0.y0.y0
% Simplifies with options '-qs' to l2.y1.y1.l4.x3.y1.y2.y1.y2.y1.y2.y2.y1.y1.y2.y1.y2.y2.y3.y3.y4.y4.y3.y4.y4.y4.y4.y3.u2.y1.y2.y1.y1.y2.y1.u0.y0.y0
% Simplifies with options '-qs' to l2.y1.y1.y1.y1.l1.x2.x3.y4.y1.y2.y1.y2.y2.y1.y2.y2.y2.y4.y3.y4.y3.y4.y3.y3.y4.y4.y1.x2.u3.y1.y2.y1.x0.x1.y0.u2.y0

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)