These little cells let you compute the correction terms for a lens space $L(p,q)$ in a $Spin^c$ structure.

The first one is more handy for big values and allows for a complete enumeration, the second uses sliders as input

Note that with our convention $L(p,q) = \bigcirc^{-\frac{p}{q}}$, which is opposite of the one used in [1].