We denote the initial guess for \hat{x} as \hat{x}_0 . We can assume without loss of generality that
\begin{equation*} \hat{x}_0=0, \end{equation*}or consider the system
\begin{equation*} \hat{A}\hat{z} = \hat{b}-\hat{A}\hat{x}_0, \end{equation*}instead.