rotate3d(theta, v) returns a 3D rotation by an angle $\theta$ around a unit axis $v$.
rotate3d(theta, v)
angle of rotation (in radians)
axis of rotation (unit vector)
3D rotation matrix
rotate3d(theta, v)returns a 3D rotation by an angle $\theta$ around a unit axis $v$.