### 9.19.8 Savoir si on a un losange : `is_rhombus est_losange`

Voir aussi : 10.13.13 pour la géométrie 3-d.
`est_losange` est une fonction booléenne ayant comme argument quatre points ou un objet géométrique.
`est_losange` vaut 1 (rep 2) si les quatre points forment un losange (resp un carré) ou si l’objet géométrique est un losange (resp un carré), et vaut 0 sinon.
On tape :

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

On obtient :

`1`

On tape :

`K:=losange(1+i,-1+i,pi/4);est_losange(K)`

On obtient :

`1`

On tape :

`K:=losange(1+i,-1+i,pi/4,C,D);est_losange(K[0])`

On obtient :

`1`

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

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

On obtient :

`0`