Voir aussi : 11.13.7 et 11.13.8 pour la
géométrie 3-d.
is_concyclic ou est_cocyclique est une fonction
booléenne ayant comme argument une liste ou une séquence de points.
est_cocyclique vaut 1 si les points sont cocycliques, et vaut 0 sinon.
On tape :
On obtient :
On tape :
On obtient :