See Section 13.16.3 for checking for concyclicity in two-dimensional geometry.
The is_concyclic command determines whether or not points are cyclic.