See Section 13.16.9 for checking for rhombuses in two-dimensional geometry.
The is_rhombus command determines whether or not a geometric object is a rhombus.
Examples.