Circumcircle in CAS