Let R be a fixed point of the plane, g and co denote the sensed angle. By the rotation  we mean the transformation of S onto itself which carries each point P of the plane into the point P1 of the plane such that OP1 = OP and the angle  in the direction specified by co.

Point O is called the center of the rotation, and g is called the angle of the rotation.

If the fifth argument is omitted, then the origin is the center of rotation.

For a detailed description of the object created Q, use the routine detail (i.e., detail(Q))

The command with(geometry,rotation) allows the use of the abbreviated form of this command.