Love them, those rotation matrices. Take logarithm of the eigenvalues and you get back the angle. This to me had solidified the notion that angles are essentia

Love them, those rotation matrices. Take logarithm of the eigenvalues and you get back the angle. This to me had solidified the notion that angles are essentially a logarithmic notion ... Made more rigorous by the notion of exponential maps