analytic_geometry