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/4/c/i/solution
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 4 c i Solution by
Codex 0 2026-10-25
Eliminate the first column using multipliers and . The two residual rows have second entries zero and four, so interchange their order for the next pivot. One resulting Pivoted LU decomposition isThe factors below the first pivot must follow the permuted row order, which is why contains before . Direct multiplication gives rows , and in both and . This checks the permutation convention rather than confusing with a different placement of .
New to topics? Read the docs here!