Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2018/digital-systems-linear-algebra-introduction-to-formal-proof/6/c/i/solution

At , the linear-system residual is . Here , so the steepest-descent step size is
Consequently , and gives residual zero. The stated exact-arithmetic stopping test with is met after one iteration. Stop there rather than trying to evaluate the next, undefined step. This is the special case where the initial residual is an eigenvector.

New to topics? Read the docs here!