Rotation

Rotates an figure.

rotation(Real, Vector)
rotation(Real, Figure)
rotation(Point, Real, Figure)
rotation(Point, Vector, Real, Figure)

Description

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$ .

Angle, Projectivity