Skip to main content
SpringerLink
Log in

On Solving Parametric Polynomial Systems

  • Published:
Mathematics in Computer Science Aims and scope Submit manuscript

Abstract

Border polynomial and discriminant variety are two important notions related to parametric polynomial system solving, in particular, for partitioning the parameter space into regions where the solutions of the system depend continuously on the parameter values. In this paper, we study the relations between those notions in the case of parametric triangular systems. We also investigate the properties and computation of the non-properness locus of the canonical projection restricted at a parametric regular chain or at its saturated ideal.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aubry P., Lazard D., Moreno Maza M.: On the theories of triangular sets. J. Symb. Comput. 28(1–2), 105–124 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  2. Basu S., Pollack R., Roy M.-F.: Algorithms in Real Algebraic Geometry. Springer, Berlin (2006)

    MATH  Google Scholar 

  3. Chen, C., Davenport, J.H., May, J., Moreno Maza, M., Xia, B., Xiao, R.: Triangular decomposition of semi-algebraic systems. In: Proceedings of ISSAC 2010, pp. 187–194. ACM, New York (2010)

  4. Chen, C., Davenport, J.H., Moreno Maza, M., Xia, B., Xiao, R.: Computing with semi-algebraic sets represented by triangular decomposition. In: Proceedings of ISSAC 2011, pp. 75–82. ACM, New York (2011)

  5. Chen, C., Golubitsky, O., Lemaire, F., Moreno Maza, M., Pan, W.: Comprehensive triangular decomposition. In: Proceedings of CASC’07, Lecture Notes in Computer Science, vol. 4770, pp. 73–101 (2007)

  6. Chen C., Moreno Maza M.: Algorithms for computing triangular decomposition of polynomial systems. J. Symb. Comput. 47(6), 610–642 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  7. Chou, S.C., Gao, X.S.: Solving parametric algebraic systems. In: Proceedings ISSAC’92, pp. 335–341, Berkeley (1992)

  8. Collins G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Springer Lect. Notes Comput. Sci. 33, 515–532 (1975)

    Google Scholar 

  9. Collins G.E., Hong H.: Partial cylindrical algebraic decomposition. J. Symb. Comput. 12(3), 299–328 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  10. Dolzmann, A., Sturm, T., Weispfenning, V.: Real quantifier elimination in practice. In: Algorithmic Algebra and Number Theory, pp. 221–247. Springer, New York (1998)

  11. Jelonek Z.: Testing sets for properness of polynomial mappings. Math. Ann. 315, 1–35 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  12. Kalkbrener M.: A generalized euclidean algorithm for computing triangular representations of algebraic varieties. J. Symb. Comput. 15, 143–167 (1933)

    Article  MathSciNet  Google Scholar 

  13. Kapur, D.: An approach for solving systems of parametric polynomial equations (1993)

  14. Lazard D.: A new method for solving algebraic systems of positive dimension. Discret. Appl. Math. 33, 147–160 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  15. Lazard D., Rouillier F.: Solving parametric polynomial systems. J. Symb. Comput. 42(6), 636–667 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  16. Manubens M., Montes A.: Minimal canonical comprehensive Gröbner systems. J. Symb. Comput. 44, 463–478 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  17. Moreno Maza, M., Xia, B., Xiao, R.: On solving parametric polynomial systems. In: Raschau, S. (ed.) Proceedings of the Fourth Internationa Conference on Mathematical Aspects of Computer Science and Information Sciences (MACIS 2011), pp. 205–215, Beijing (2011)

  18. Montes A.: A new algorithm for discussing Gröbner bases with parameters. J. Symb. Comput. 33(2), 183–208 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  19. Schost É.: Computing parametric geometric resolutions. Appl. Algebra Eng. Commun. Comput. 13, 349–393 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  20. Stasica A.: An effective description of the Jelonek set. J. Pure Appl. Algebra 169(2–3), 321–326 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  21. Wang D.M.: Elimination Methods. Springer, New York (2000)

    Google Scholar 

  22. Weispfenning V.: Comprehensive Gröbner bases. J. Symb. Comput. 14, 1–29 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  23. Weispfenning, V.: Canonical comprehensive Gröbner bases. In: ISSAC 2002, pp. 270–276. ACM Press, New York (2002)

  24. Wu W.T.: A zero structure theorem for polynomial equations solving. MM Res Preprints 1, 2–12 (1987)

    Google Scholar 

  25. Xiao, R.: Parametric polynomial system solving. PhD thesis, Peking University, Beijing (2009)

  26. Yang, L., Hou, X., Xia, B.: Automated discovering and proving for geometric inequalities. In: Proceedings of ADG’98, pp. 30–46 (1999)

  27. Yang, L., Xia, B.: Real solution classifications of a class of parametric semi-algebraic systems. In: Proceedings of the A3L’05, pp. 281–289 (2005)

Download references

Author information

Authors and Affiliations

  1. University of Western Ontario, London, Canada

    Marc Moreno Maza & Rong Xiao

  2. Peking University, Shenzhen, China

    Bican Xia

Authors
  1. Marc Moreno Maza
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bican Xia
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rong Xiao
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Marc Moreno Maza, Bican Xia or Rong Xiao.

Additional information

This work was supported by MITACS, Canada.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Moreno Maza, M., Xia, B. & Xiao, R. On Solving Parametric Polynomial Systems. Math.Comput.Sci. 6, 457–473 (2012). https://doi.org/10.1007/s11786-012-0136-3

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11786-012-0136-3

Keywords

Mathematics Subject Classification (2010)

Search

Navigation