Rotation

rotation(Real, Vector)

rotation(Real, Figure)

rotation(Point, Real, Figure)

rotation(Point, Vector, Real, Figure)

Given a real $\alpha$ and a vector $v$, rotates $v$ by an angle $\alpha$. That is the following computation

$\left(\begin{array}{cc}\cos \left(\alpha \right)& \sin \left(\alpha \right)\\ -\sin \left(\alpha \right)& \cos \left(\alpha \right)\end{array}\right)·v$

Given a real $\alpha$ and a figure f, rotates f an angle of $\alpha$ radians around the origin.

Given a point $P$, a real $\alpha$ and a figure f, rotates f an angle of $\alpha$ radians around $P$.

Given a point, a vector $v$, a real $\alpha$ and a figure f, rotates f an angle of $\alpha$ radians with respect to line passing by $P$ and vector $v$.

Angle, Projectivity