See section 11.16.3 for checking for concyclicity in two-dimensional geometry.
The is_concyclic command takes as argument a list or sequence of points.
is_concyclic returns 1 if the points are cocyclic, it returns 0 otherwise.
Input:
Output:
Input:
Output: