Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2019/digital-systems-linear-algebra-introduction-to-formal-proof-resit/6/a/iv/solution

From the zero initial vector, the linear-system residual is . Then , , and . The step is , giving
As a check, the new residual is , orthogonal to the preceding residual as expected after this exact line search. It is nonzero, so one iteration has not already solved the system.

New to topics? Read the docs here!