Rotate function

Rotate(obj, theta)

Construct a new (non-independent) GeoGebra object which is the result of rotating the given obj about the origin through the given angle theta, which is measured in radians with anticlockwise being positive.

Rotate(obj, theta, p)

Construct a new (non-independent) GeoGebra object which is the result of rotating the given obj about the given point p through the given angle theta, which is measured in radians with anticlockwise being positive.