See Section 27.11.7 for checking for concyclicity in 3D geometry.
The is_concyclic command determines whether or not points are cyclic.