Rotation

Rotates an figure.

rotation(Real, Vector)

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

open parentheses table row cell cos left parenthesis alpha right parenthesis end cell cell sin left parenthesis alpha right parenthesis end cell row cell negative sin left parenthesis alpha right parenthesis end cell cell cos left parenthesis alpha right parenthesis end cell end table close parentheses times v

rotation(Real, Figure)

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

rotation(Point, Real, Figure)

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

rotation(Point, Vector, Real, Figure)

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.