### 10.13.12 Savoir si on a un carré : `is_square est_carre`

Voir aussi : 9.19.8 pour la géométrie plane.
`est_carre` est une fonction booléenne ayant comme argument quatre points ou un objet géométrique.
`est_carre` vaut 1 si les quatre points sont coplanaires et forment un carré ou si l’objet géométrique est un carré, et vaut 0 sinon.
On tape :

`est_carre([2,2,0],[-2,2,0],[-2,-2,0],[2,-2,0])`

On obtient :

`1`

On tape :

`K:=carre([0,0,0],[2,0,0],[0,0,1]);est_carre(K)`

`K` est le carre de sommets [0,0,0],[2,0,0],[2,0,2],[0,0,2] (il est situé dans le plan [0,0,0],[2,0,0],[0,0,1]).
On obtient :

`1`

On tape :

`est_carre([2,2,0],[-2,2,0],[-2,-1,0],[2,-1,0])`

On obtient :

`0`