show all invariants|show all metadata

kht++: examples/strong_inversions/quot_doublesymmetry11

Input data and context

% quot_doublesymmetry11
r1.r2.y4.y3.x2.x1.
r1.y2.x0.x0.x1.x1.x1.x0.x0.x1.u2.
x1.x2.x2.x1.x1.x2.u3.x0.x1.u2
,1,1
% With options '-c2', add these twists to optimize: x0.x0.x0.x0.x0.x0
% With options '-c3', add these twists to optimize: x0.x0.x0.x0.x0.x0
% With options '-c5', add these twists to optimize: x0.x0.x0.x0.x0.x0
% With options '-c7', add these twists to optimize: x0.x0.x0.x0.x0.x0
% With options '-c11', add these twists to optimize: x0.x0.x0.x0.x0.x0

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

options -c2 (diagram) (metadata)


options -c3 (diagram) (metadata)


options -c5 (diagram) (metadata)


options -c7 (diagram) (metadata)


options -c11 (diagram) (metadata)


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

options -c2 (diagram) (metadata)


options -c3 (diagram) (metadata)


options -c5 (diagram) (metadata)


options -c7 (diagram) (metadata)


options -c11 (diagram) (metadata)