show all invariants|show all metadata

kht++: examples/SInvariantAndTorsion/8_19

Input data and context

% 8_20
l1.x0.l1.y0.y2.y3.y2.y0.u1.y1.y1.u0
,1
% With options '-c3-d', add these twists to optimize: y0.y0
% Simplifies with options '-dop.l1.y0.y2.u1.s' to l1.y2.r3.x2.y3.x0.x1.y2.l2.y3.y4.y1.y0.y6.y5.y6.r7.x6.y4.x5.x4.x3.y2.x3.x4.x5.x6.u7.y6.y5.y4.y5.x2.y4.u3.x1.u2.x0.y2.u1.l1.y0.x1.u2
% Simplifies with options '-dop.l1.y0.y2.u1.s' to l1.x0.l0.x1.r2.y1.y1.r2.x3.y4.y6.y5.y0.y1.y8.y6.y7.y6.y7.y6.y5.y8.y7.y6.y6.y4.y5.y6.y7.y6.y4.u3.y3.u2.y3.y4.x1.u2.x0.u1.l0.x1.y2.u1
% With options '-c3-dop.l1.y0.y2.u1.s', add these twists to optimize: y0
% Simplifies with options '-dp.l1.y2.y0.u1.s' to l2.x1.r3.x2.x0.x1.l3.y4.y5.y4.r6.x5.y6.x4.x2.x3.y4.x3.y7.y8.y5.y6.y7.y6.y5.y5.x4.y3.x2.u1.x3.x4.u5.y4.y3.x1.u2.y2.y1.u0.l1.y0.x1.u2
% Simplifies with options '-dp.l2.y1.y1.y1.y1.u0.s' to l0.y1.y2.r3.x2.l3.y4.y5.r4.y5.y2.y3.y5.y6.y5.y7.y8.x1.x2.y7.y6.y6.y5.y7.y6.x3.y4.u3.y3.x2.x1.u0.y2.x1.x0.y3.x2.u3.x1.u2.l2.y1.y1.y1.x0.u1

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

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


options -c2-dp.l2.y1.y1.y1.y1.u0.s (diagram) (metadata)


options -c3-dp.l1.y2.y0.u1.s (diagram) (metadata)


options -c3-dp.l2.y1.y1.y1.y1.u0.s (diagram) (metadata)


options -c5-dp.l1.y2.y0.u1.s (diagram) (metadata)


options -c5-dp.l2.y1.y1.y1.y1.u0.s (diagram) (metadata)


options -c7-dp.l1.y2.y0.u1.s (diagram) (metadata)


options -c7-dp.l2.y1.y1.y1.y1.u0.s (diagram) (metadata)


options -c11-dp.l1.y2.y0.u1.s (diagram) (metadata)


options -c11-dp.l2.y1.y1.y1.y1.u0.s (diagram) (metadata)


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

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


options -c2-dp.l2.y1.y1.y1.y1.u0.s (diagram) (metadata)


options -c3-dp.l1.y2.y0.u1.s (diagram) (metadata)


options -c3-dp.l2.y1.y1.y1.y1.u0.s (diagram) (metadata)


options -c5-dp.l1.y2.y0.u1.s (diagram) (metadata)


options -c5-dp.l2.y1.y1.y1.y1.u0.s (diagram) (metadata)


options -c7-dp.l1.y2.y0.u1.s (diagram) (metadata)


options -c7-dp.l2.y1.y1.y1.y1.u0.s (diagram) (metadata)


options -c11-dp.l1.y2.y0.u1.s (diagram) (metadata)


options -c11-dp.l2.y1.y1.y1.y1.u0.s (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)