See section 12.15.4 for rotations in the plane.
The rotation command takes two or three arguments. The first argument is a line which is the axis of rotation and the second argument is a real number representing the angle of rotation. The third optional argument is a geometric object.
With two arguments, rotation returns a command which
rotates an object.
Input:
then:
returns and draws the result of rotating the point (0,0,1) about the line through (0,0,0) and (1,1,1) through an angle of 2π/3 radians; namely (1,0,0).
Given a third argument of a geometric object, rotation
returns and draws the rotated object.
Input:
returns and draws the point (1,0,0), as above.
Input:
returns and draws the result of rotating the line through (1,0,0) and (0,1,0) about the line through (0,0,0) and (1,1,1) through an angle of 2π/3 radians; namely the line through (0,1,0) and (0,0,1).