Jones polynomial surgery invariant (source code)

= Jones polynomial surgery invariant
{c}
{title2=$\tau_r(M_L)=\mathcal D^{-m}(p_+/\mathcal D)^{-\sigma(L)}\langle L(\Omega)\rangle$}

For an m-component integral framed surgery <link>, normalize its full colored bracket by the displayed expression, where $\sigma(L)$ is the signature of its linking <matrix>. The <Kirby color handle-slide identity> handles slides; $p_+p_-=\mathcal D^2$ cancels disjoint plus- or minus-one-framed unknots. <Kirby calculus> therefore makes this an oriented 3-manifold invariant. This convention has $\tau_r(S^3)=1$.

// Target: module-theory.bigb