See Section 13.16.3 for checking for concyclicity in two-dimensional geometry.
The is_concyclic command determines whether or not points are cyclic.
Examples.
| is_concyclic([2,0,0],[0,2,0],[sqrt(2),sqrt(2),0], |
| [0,0,2],[2/sqrt(3),2/sqrt(3),2/sqrt(3)]) |
| 1 |
| 0 |