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: