A Subdivision Approach to Planar Semi-algebraic Sets

9 years 3 months ago
A Subdivision Approach to Planar Semi-algebraic Sets
Abstract. Semi-algebraic sets occur naturally when dealing with implicit models and boolean operations between them. In this work we present an algorithm to efficiently and in a certified way compute the connected components of semi-algebraic sets given by intersection or union of conjunctions of bi-variate equalities and inequalities. For any given precision, this algorithm can also provide a polygonal and isotopic approximation of the exact set. The idea is to localize the boundary curves by subdividing the space and then deduce their shape within small enough cells using only boundary information. Then a systematic traversal of the boundary curve graph yields polygonal regions isotopic to the connected components of the semi-algebraic set. Space subdivision is supported by a kd-tree structure and localization is done using Bernstein representation. We conclude by demonstrating our C++ implementation in the CAS Mathemagix. Key words: subdivision algorithm, semi-algebraic set, connec...
Angelos Mantzaflaris, Bernard Mourrain
Added 18 Jul 2010
Updated 18 Jul 2010
Type Conference
Year 2010
Where GMP
Authors Angelos Mantzaflaris, Bernard Mourrain
Comments (0)