show all invariants|show all metadata

kht++: examples/strong_inversions/quot_doublesym_2020-12-17-By

Input data and context

% quot_doublesym_2020-12-17-By
%r2.r3.%x
l2.l3.%y
%x4.x4.x4.x4.l6.x5.x4.x4.x5.x5.x4.x4.x5.x5.x4.x4.x5.x5.u6.%A
x4.x4.l6.x5.x4.x4.x5.x5.x4.y6.y5.y5.u4.%B
%x0.x0.x0.x0.x1.x0.x0.x1.x1.x2.x0.x1.x1.x2.x0.x1.x1.x2.x0.x1.u3.x1.x0.x0.x1.u2%x
l3.x1.x2.x0.x1.x4.y3.y2.y2.y3.u4.l4.y3.y2.y2.u1.y1.u0.y1.u0%y
,1,1

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

options -c2 (diagram) (metadata)


options -c3 (diagram) (metadata)


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

options -c2 (diagram) (metadata)


options -c3 (diagram) (metadata)