show all invariants|show all metadata

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

Input data and context

% 9_46-2e2 = (7,-3,7)-pretzel knot
% Note: 9_46 = (3,-3,3)-pretzel knot
s.l1.y0.y2.r1.y2.y2.y2.y2.y2.y2.y2.u3.x0.u1
,1
% Simplifies with options '-q' to l2.l3.y1.y2.y4.r2.x1.y3.y4.y3.y2.y4.y2.y3.y4.r6.x5.y6.x4.x3.x2.y5.y3.y4.y4.y3.x7.u8.y4.y3.y4.y3.y3.y5.y5.y4.y3.y5.y5.y4.y5.y5.y5.y4.y4.y3.x2.x1.x3.y5.y5.u4.y3.x2.u3.y1.y1.x2.y0.u1
% Simplifies with options '-qs' to l1.r3.y2.x4.l2.y3.y1.y3.y4.y3.y4.y4.r6.x7.y5.y6.y3.y4.y5.y3.y4.y3.y4.y5.y4.y5.y4.y4.y5.y6.y5.y5.y4.y3.y6.x7.x6.x5.u4.y4.y5.y5.y4.y5.y4.y4.y3.x2.y5.y4.y4.x3.u4.y3.x1.u2.y1.x2.x1.u0
% Simplifies with options '-qs' to r1.x2.r3.y2.y2.l3.y4.y4.x5.l4.y5.x6.y1.y1.y3.x2.x3.y4.u5.x1.y5.y4.y5.y4.y4.x2.y3.y4.y3.y4.y5.y5.y4.y3.y3.y4.y5.y5.y4.y3.y5.y5.y5.y1.u2.y3.y2.y3.y3.y2.y2.y2.y2.y3.y2.x1.u2.x2.x1.u0
% Simplifies with options '-qs' to r2.l2.x1.r5.y3.y2.y2.y3.y4.y3.l6.x5.y2.x4.x3.y6.y6.y5.x2.y3.x2.y4.y4.y4.y5.y4.y6.y5.y5.y4.y4.y4.y5.y6.y5.y5.y4.y5.y4.y5.x3.y2.u4.y4.y3.y4.x5.y2.y3.y2.u6.y3.y3.x1.x2.y1.u3.x2.y0.u1

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)