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 |