circumcenter
simplex method, lucas theorem
etc