Correction terms
These little cells let you compute the correction terms for a lens space L(p,q) in any spin^c structure.
The first one is handier for big values and allows for a complete enumeration, the second uses sliders as input.
Note that with our convention L(p,q) is -p/q surgery on the unknot, which is opposite of the one used here!