Savoir si on a un carré : is_square est_carre

### 10.18.8 Savoir si on a un carré : is_square est_carre

Voir aussi : 11.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 K 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