Describir: Computational algebraic and analytic geometry :