Implement orthogonal_change_of_basis().