See section 12.13.7 for checking for concyclicity in three-dimensional geometry.
The is_concyclic command is a Boolean function which takes as argument a list or sequence of points.
is_concyclic returns 1 if the points are cyclic
and returns 0 otherwise.
Input:
Output:
Input:
Output: