Rotation matrix (source code)

= Rotation matrix
{wiki}

A rotation matrix is an orthogonal matrix with determinant $1$.