A square is an equilateral and equiangular parallelogram.

A square Sq is defined by a list of four given points in the correct order. For a list of four points , the condition is that the segments AB, BE, EF, and FA must make a square.

To access the information relating to a square Sq, use the following function calls:

The command with(geometry,square) allows the use of the abbreviated form of this command.