/*! \page rotation_operation_page Rotation \n To produce a \b Rotation in the Main Menu select Operations - > Transformation - > Rotation \n This operation \b rotates the initial shape. \n The first \b Rotation algorithm needs you to define an \b Object to be rotated, an \b Axis of rotation and an \b Angle of rotation. \n TUI Command: geompy.MakeRotation(Shape, Axis, Angle) \n Arguments: Name + one or several objects + 1 vector for direction of rotation + 1 angle. \n Advanced option: \ref restore_presentation_parameters_page "Set presentation parameters and subshapes from arguments". \image html transformation4.png \b Reverse checkbox allows to specify the direction of rotation. \n Create a copy checkbox allows to keep the initial object, otherwise it will be removed. \n The \b Result will be any \b GEOM_Object. \n The second algorithm allows to define the rotated \b Object by three points. Rotation axis will pass through the Central Point and will be will be orthogonal to a plane defned by three points. In this case rotation \b Angle is the angle between two vectors directed from the first point to the second and to the third. \n TUI Command: geompy.MakeRotationThreePoints(Shape, CentralPoint, Point1, Point2) \n Arguments: 1 shape + 3 points. \n Advanced option: \ref restore_presentation_parameters_page "Set presentation parameters and subshapes from arguments". \image html transformation4a.png \n Example: \image html rotationsn1.png \image html rotationsn2.png Our TUI Scripts provide you with useful examples of the use of \ref tui_rotation "Transformation Operations". */