Triangular decomposition of semi-algebraic systems

  • Authors:

  • Changbo Chen;James H. Davenport;John P. May;Marc Moreno Maza;Bican Xia;Rong Xiao

  • Affiliations:

  • University of Western Ontario, London, Ontario, Canada N6A 5B7;University of Bath, Bath BA2 7AY, United Kingdom;Maplesoft, Waterloo, Ontario N2V 1K8, Canada;University of Western Ontario, London, Ontario, Canada N6A 5B7;Peking University, Beijing 100871, China;University of Western Ontario, London, Ontario, Canada N6A 5B7 and Peking University, Beijing 100871, China

  • Venue:
  • Journal of Symbolic Computation
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue: semi-algebraic systems. We show that any such system can be decomposed into finitely many regular semi-algebraic systems. We propose two specifications (full and lazy) of such a decomposition and present corresponding algorithms. Under some simplifying assumptions, the lazy decomposition can be computed in singly exponential time w.r.t. the number of variables. We have implemented our algorithms and present experimental results illustrating their effectiveness.