 Solution

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

det (A B) = det (A) det (B) .

For an upper or lower triangular matrix

T

, its determinant is the product of its diagonal entries:

det (T) = i = 1 \prod n t_{ii} .

These formulas include singular matrices and zero diagonal entries.

 New to topics? Read the docs here!