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

Voir aussi : 10.13.12 pour la géométrie 3-d.
`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 forment un carré ou si l’objet géométrique est un carré, et vaut 0 sinon.
On tape :

`est_carre(1+i,-1+i,-1-i,1-i)`

On obtient :

`1`

On tape :

`K:=carre(1+i,-1+i);est_carre(K)`

On obtient :

`1`

On tape :

`K:=carre(1+i,-1+i,C,D);est_carre(K[0])`

On obtient :

`1`

En effet `K[0]` désigne un carré car `R` est une liste composée d’un carré et de ses sommets `C` et `D`.
Si on tape `affixe(C,D)`, on obtient `-1-i,1-i`.
On tape :

`est_carre(i,-1+i,-1-i,1-i)`

On obtient :

`0`