 Solution

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

T (a, b) = 100010 a b 1 .

(x, y, 1)^{T}

(x + a, y + b, 1)^{T}

. The final coordinate incorporates the constant displacement into matrix multiplication.

 New to topics? Read the docs here!