Properness defects of projections and computation of one point in each connected component of a real algebraic set - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2002

Properness defects of projections and computation of one point in each connected component of a real algebraic set

Résumé

Computing at least one point in each connected component of a real algebraic set is a basic subroutine to decide emptiness of semi-algbraic sets, which is a fundamental algorithmic problem in effective real algebraic geometry. In this article, we propose a new algorithm for this 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 to detect connected components of a real algebraic set without critical points. Our algorithm is based on this result and its practical counterpoint, using the triangular representation of algebraic varieties. Our experiments show its efficiency on a family of examples.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-4598.pdf (305.63 Ko) Télécharger le fichier

Dates et versions

inria-00071987 , version 1 (23-05-2006)

Identifiants

  • HAL Id : inria-00071987 , version 1

Citer

Mohab Safey El Din, Eric Schost. Properness defects of projections and computation of one point in each connected component of a real algebraic set. [Research Report] RR-4598, INRIA. 2002. ⟨inria-00071987⟩
129 Consultations
186 Téléchargements

Partager

More