show all invariants|show all metadata

kht++: examples/knots/7_1

Input data and context

% 7_1
r1.x0.x0.x0.x0.x0.x0.x0.u1
,1
% With options '-c2-d', add these twists to optimize: x0.x0.x0.x0.x0.x0.x0.x0.x0.x0
% With options '-c3-d', add these twists to optimize: x0.x0.x0.x0
% With options '-c5-d', add these twists to optimize: x0.x0.x0.x0
% With options '-c7-d', add these twists to optimize: x0.x0.x0.x0
% With options '-c11-d', add these twists to optimize: x0.x0.x0.x0
% Simplifies with options '-d' to r2.x1.x0.r1.y2.x1.y3.x2.x0.x1.x1.x2.x0.x1.x1.x0.x2.x1.x1.x2.x0.x1.x1.x2.y3.y4.x0.x1.y2.u1.x0.u1
% Simplifies with options '-dop.l1.y0.y2.u1.s' to l2.x1.r2.y3.x0.x1.x1.x2.x0.x1.x1.x0.x2.x1.x1.x0.x2.x1.x1.x2.x0.x1.x1.x2.y3.x0.x1.x1.u2.x0.x1.u2.l1.y0.x1.u2
% With options '-c2-dop.l1.y0.y2.u1.s', add these twists to optimize: x0.x0.x0.x0.x0.x0.x0.x0.x0.x0

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

options -c2-d (diagram) (metadata)


options -c2-dop.l1.y0.y2.u1.s (diagram) (metadata)


options -c3-d (diagram) (metadata)


options -c5-d (diagram) (metadata)


options -c7-d (diagram) (metadata)


options -c11-d (diagram) (metadata)


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

options -c2-d (diagram) (metadata)


options -c2-dop.l1.y0.y2.u1.s (diagram) (metadata)


options -c3-d (diagram) (metadata)


options -c5-d (diagram) (metadata)


options -c7-d (diagram) (metadata)


options -c11-d (diagram) (metadata)


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

options -c0 (diagram) (metadata)


options -c2 (diagram) (metadata)


options -c3 (diagram) (metadata)


options -c5 (diagram) (metadata)


options -c7 (diagram) (metadata)


options -c11 (diagram) (metadata)