Rotation matrix

rotation_matrix(Real)

rotation_matrix(Point, Vector, Real)

Given a real $\alpha$, computes the rotation matrix of angle $\alpha$.

Given a point $P$, a vector $v$ and a real $\alpha$, computes the rotation matrix around the line passing through $P$ and vector $v$ with angle $\alpha$.

Symmetry matrix, Rotation