circumcenter
not defined yet