Indeed. And certainly since rotation matrices and quaternions are both representations of rotation, they should have a log that is isomorphic. Wilder still is

Indeed. And certainly since rotation matrices and quaternions are both representations of rotation, they should have a log that is isomorphic. Wilder still is the log of a 4x4 transformation matrix has the same tangent-vector properties, giving a coordinate-system-invariant rotation and translation.