1: \begin{definition}The \textit{Rochlin invariant of $[(L,\psi)]\in \widehat{W}(\Z)$} is given by dividing the signature of $(L,\psi)$ by 8 and taking the residue modulo 2.

2: 

3: Combining algebraic surgery below the middle dimension (Theorem \ref{thm:algsurgery}) and \cite[3.4.7(ii)]{MR620795}, there is an isomorphism $L^{4l}(\Z[z,z^{-1}],P,-1)\cong \widehat{W}(\Z)$ for $l\geq0$. The \textit{Rochlin invariant of $[(C,\phi)]\in L^{4l}(\Z[z,z^{-1}],P,-1)$} is the Rochlin invariant of a corresponding Witt class of Seifert forms.

4: \end{definition}

5: