/*!
\page mirror_operation_page Mirror Image
\n To produce a Mirror Image in the Main Menu select
Operations - > Transformation - > Mirror Image
\n This operation creates a symmetrical copy of an \b Object, which
can be mirrored in three different ways.
\n Create a copy checkbox allows to keep the initial object,
otherwise it will be removed.
\n The \b Result will be a \b GEOM_Object.
\n Firstly an \b Object can be mirrored through a \b Point of symmetry
\n TUI Command: geompy.MakeMirrorByPoint(Object, Point)
\n Arguments: Name + one or several objects + 1 vertex.
\n \ref restore_presentation_parameters_page "Advanced options".
\image html transformation7.png
\image html mirror_pointsn1.png "The initial shape and the mirror point"
\image html mirror_pointsn2.png "The resulting shape (grey)"
\n Secondly an \b Object can be mirrored through an \b Axis of
symmetry
\n TUI Command: geompy.MakeMirrorByAxis(Object, Axis)
\n Arguments: Name + one or several objects + 1 vector.
\n \ref restore_presentation_parameters_page "Advanced options".
\image html transformation8.png
\image html mirror_axissn1.png "The initial shape and the mirror edge"
\image html mirror_axissn2.png "The resulting shape (grey)"
\n Finally an \b Object can be mirrored through a \b Plane of symmetry
\n TUI Command: geompy.MakeMirrorByPlane(Shape, Plane)
\n Arguments: Name + one or several objects + 1 plane
\n \ref restore_presentation_parameters_page "Advanced options".
\image html transformation9.png
\image html mirror_planesn1.png "The initial shape and the mirror plane"
\image html mirror_planesn2.png "The resulting shape (grey)"
Our TUI Scripts provide you with useful examples of the use of
\ref tui_mirror "Transformation Operations".
*/