circle-calculus