Mathematics in Computer Science

, Volume 4, Issue 1, pp 93–112 | Cite as

CAD and Topology of Semi-Algebraic Sets

Article

Abstract

Although Cylindrical Algebraic Decomposition (CAD) is widely used to study the topology of semi-algebraic sets (especially algebraic curves), there are very few studies of the topological properties of the output of the CAD algorithms. In this paper three possible bad topological properties of the output of CAD algorithms are described. It is shown that these properties may not occur after a generic change of coordinates and that they may be avoided, in dimension not greater than three, with a modification of the CAD algorithm. As this modification of the CAD algorithm requires to solve some polynomial systems, it is also shown that the computation with real algebraic numbers may be advantageously replaced, in all the variants of the CAD algorithm, by solving systems of polynomial equations and inequalities.

Keywords

Cylindrical algebraic decomposition CAD Topology of a semi-algebraic set Computation with real algebraic numbers Real solving of polynomial systems 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arnon, D.: A cellular decomposition algorithm for semialgebraic sets. In: Symbolic and Algebraic Computation (EUROSAM ’79, Internat. Sympos., Marseille, 1979). Lecture Notes in Computer Science, vol. 72, pp. 301–315. Springer, Berlin (1979)Google Scholar
  2. 2.
    Aubry P., Lazard D., Moreno-Maza M.: On the theories of triangular sets. Polynomial elimination—algorithms and applications (special issue). J. Symb. Comput. 28(1–2), 105–124 (1999)MATHMathSciNetGoogle Scholar
  3. 3.
    Basu, S.: Algorithmic semi-algebraic geometry and topology—recent progress and open problems. In: Surveys on Discrete and Computational Geometry. Contemp. Math., vol. 453, pp. 139–212. American Mathematical Society, Providence (2008)Google Scholar
  4. 4.
    Basu, S., Pollack, R., Roy, M.-F.: Algorithms in Real Algebraic Geometry, 2nd edn. Algorithms and Computation in Mathematics, vol. 10. Springer, Berlin (2006)Google Scholar
  5. 5.
    Bochnak, J., Coste, M., Roy, M.-F.: Real algebraic geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 36 [Results in Mathematics and Related Areas (3)]. Springer, Berlin (1998). Translated from the 1987 French original, Revised by the authorsGoogle Scholar
  6. 6.
    Boulier, F., Chen, C., Lemaire, F., Moreno-Maza, M.: Real root isolation of regular chains. In: The Joint Conference of ASCM 2009 and MACIS 2009, pp. 15–29, Kyushu University, Fukuoka, Japan (2009)Google Scholar
  7. 7.
    Brown C.W.: Improved projection for cylindrical algebraic decomposition. J. Symb. Comput. 32(5), 447–465 (2001)MATHCrossRefGoogle Scholar
  8. 8.
    Brown, C.W., Davenport, J.H.: The complexity of quantifier elimination and cylindrical algebraic decomposition. In: ISSAC’07: Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, pp. 54–60. ACM, New York (2007)Google Scholar
  9. 9.
    Brown, C.W., McCallum, S.: On using bi-equational constraints in CAD construction. In: ISSAC’05, pp. 76–83 (electronic). ACM, New York (2005)Google Scholar
  10. 10.
    Chen, C., Moreno-Maza, M., Xia, B., Yang, L.: Computing cylindrical algebraic decomposition via triangular decomposition. In: ISSAC ’09: Proceedings of the 2009 international symposium on Symbolic and algebraic computation, pp. 95–102. ACM, New York (2009)Google Scholar
  11. 11.
    Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Automata Theory and Formal Languages (Second GI Conf., Kaiserslautern, 1975), pp. 134–183. Lecture Notes in Computer Science, vol. 33. Springer, Berlin (1975)Google Scholar
  12. 12.
    Faugère J.C., Gianni P., Lazard D., Mora T.: Efficient computation of zero-dimensional Gröbner bases by change of ordering. J. Symb. Comput. 16(4), 329–344 (1993)MATHCrossRefGoogle Scholar
  13. 13.
    LaValle S.M.: Planning Algorithms. Cambridge University Press, Cambridge (2006)MATHCrossRefGoogle Scholar
  14. 14.
    Lazard, D.: Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations. In: Computer algebra (London, 1983). Lecture Notes in Computer Science, vol. 162, pp. 146–156. Springer, Berlin (1983)Google Scholar
  15. 15.
    Lazard D.: Solving zero-dimensional algebraic systems. J. Symb. Comput. 13(2), 117–131 (1992)MATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Lazard D., Rouillier F.: Solving parametric polynomial systems. J. Symb. Comput. 42(6), 636–667 (2007)MATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    McCallum, S.: An improved projection operation for cylindrical algebraic decomposition. In: Quantifier elimination and cylindrical algebraic decomposition (Linz, 1993), Texts Monogr. Symbol. Comput., pp. 242–268. Springer, Vienna (1998)Google Scholar
  18. 18.
    Schwartz J.T., Sharir M.: On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds. Adv. Appl. Math. 4(3), 298–351 (1983)MATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    Strzeboński A.W.: Cylindrical algebraic decomposition using validated numerics. J. Symb. Comput. 41(9), 1021–1038 (2006)MATHCrossRefGoogle Scholar

Copyright information

© Springer Basel AG 2010

Authors and Affiliations

  1. 1.UPMC Univ Paris 06, LIP6ParisFrance
  2. 2.INRIA Paris-Rocquencourt, SALSA Project TeamLe ChesnayFrance
  3. 3.CNRS, LIP6ParisFrance

Personalised recommendations