Solution (source code)

= Solution

A vector transforms as $x'^a=R^a{}_bx^b$. The matrix fixes $n$, preserves lengths and orientation, and rotates the perpendicular plane through $\theta$. It is a rotation by angle $\theta$ about the axis $n$, with orientation fixed by the epsilon-term convention.