Discrete & Computational Geometry

, Volume 32, Issue 3, pp 417–430 | Cite as

Properness Defects of Projections and Computation of at Least One Point in Each Connected Component of a Real Algebraic Set



Computing at least one point in each connected component of a real algebraic set is a basic subroutine to decide emptiness of semi-algebraic sets, which is a fundamental algorithmic problem in effective real algebraic geometry. In this article we propose a new algorithm for the former task, which avoids a hypothesis of properness required in many of the previous methods. We show how studying the set of non-properness of a linear projection Π enables us to detect the connected components of a real algebraic set without critical points for Π. Our algorithm is based on this observation and its practical counterpoint, using the triangular representation of algebraic varieties. Our experiments show its efficiency on a family of examples.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 2004

Authors and Affiliations

  1. 1.LIP6, Université Paris 6, 75015 ParisFrance
  2. 2.STIX, École Polytechnique, PalaiseauFrance

Personalised recommendations