See Section 13.16.8 for checking for squares in two-dimensional geometry.
The is_square command determines whether or not a geometric object is a square.
Examples.