where i = k \,\bmod\, m + 1 and \overline{a_i} denotes complex conjugation of a_i.
If the linear system is consistent, x^k converges to the minimum-norm solution, provided that the iterations start with the zero vector.