Analytic solid modeling