Iterative refinement of the solution of a positive definite system of equations