Lin Alg: Example using orthogonal change-of-basis matrix to find transformation