Improved Edge case discussions
Notation change and iterating on coefficient norm instead of residual norm
Notation change. Iteration termination criteria is not in the right space