See section 12.14.4 for rotations in space.
The rotation command can take two or three arguments.
If rotation has two arguments, they are a point (the center
of rotation) and a real number (the angle of rotation).
rotation returns a new command which performs the rotation.
Input:
then:
Output:
If rotation has three arguments, the first two arguments are a
point and real number as above, and the third argument is a geometric
object. rotation returns and draws the rotated object.
Input:
Output:
Input:
Output: