show all invariants|show all metadata

kht++: examples/ThinLinksAndConwaySpheres/T_CKMC

Input data and context

% T_CKMC: Counterexample to the Knightmove Conjecture.
% This tangle is obtained by cutting Manolescu and Marengon's counterexample to the knight move conjecture open [The Knight Move Conjecture is false, Proceedings of the AMS, vol. 148, iss. 1, pp. 435-439 (2020)].
l1.l2.r3.r4.l5.
y4.y3.y2.y4.y1.y3.
y0.y2.y4.y1.y3.y0.y2.y4.y1.y3.
y0.y2.y4.y1.y3.y0.y2.y4.y1.y3.
x5.x5.u4.x4.u5.
y0.y2.y1.y0.
x3.x3.u2.x2.u3
%.x1.x1.u0%.r1
,1

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

options -c2 (diagram) (metadata)


options -c2p.x1. (diagram) (metadata)


options -c2p.y1. (diagram) (metadata)


options -c3 (diagram) (metadata)


options -c3p.x1. (diagram) (metadata)


options -c3p.y1. (diagram) (metadata)


options -c5 (diagram) (metadata)


options -c5p.x1. (diagram) (metadata)


options -c5p.y1. (diagram) (metadata)


options -c7 (diagram) (metadata)


options -c7p.x1. (diagram) (metadata)


options -c7p.y1. (diagram) (metadata)


options -c11 (diagram) (metadata)


options -c11p.x1. (diagram) (metadata)


options -c11p.y1. (diagram) (metadata)


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

options -c2 (diagram) (metadata)


options -c2p.x1. (diagram) (metadata)


options -c2p.y1. (diagram) (metadata)


options -c3 (diagram) (metadata)


options -c3p.x1. (diagram) (metadata)


options -c3p.y1. (diagram) (metadata)


options -c5 (diagram) (metadata)


options -c5p.x1. (diagram) (metadata)


options -c5p.y1. (diagram) (metadata)


options -c7 (diagram) (metadata)


options -c7p.x1. (diagram) (metadata)


options -c7p.y1. (diagram) (metadata)


options -c11 (diagram) (metadata)


options -c11p.x1. (diagram) (metadata)


options -c11p.y1. (diagram) (metadata)


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

options -c2p.x1.x1.u0. (diagram) (metadata)


options -c3p.x1.x1.u0. (diagram) (metadata)


options -c5p.x1.x1.u0. (diagram) (metadata)


options -c7p.x1.x1.u0. (diagram) (metadata)


options -c11p.x1.x1.u0. (diagram) (metadata)


Rasmussen's s-invariant

options -c2p.x1.x1.u0. (diagram) (metadata)


options -c3p.x1.x1.u0. (diagram) (metadata)


options -c5p.x1.x1.u0. (diagram) (metadata)


options -c7p.x1.x1.u0. (diagram) (metadata)


options -c11p.x1.x1.u0. (diagram) (metadata)