Solving Parametric Polynomial Systems by RealComprehensiveTriangularize
In the authors’ previous work, the concept of comprehensive triangular decomposition of parametric semi-algebraic systems (RCTD for short) was introduced. For a given parametric semi-algebraic system, say S, an RCTD partitions the parametric space into disjoint semi-algebraic sets, above each of which the real solutions of S are described by a finite family of triangular systems. Such a decomposition permits to easily count the number of distinct real solutions depending on different parameter values as well as to conveniently describe the real solutions as continuous functions of the parameters. In this paper, we present the implementation of RCTD in the RegularChains library, namely the RealComprehensiveTriangularize command. The use of RCTD is illustrated by the stability analysis of several biological systems.
KeywordsParametric polynomial system real comprehensive triangular decomposition RegularChains
Unable to display preview. Download preview PDF.
- 1.Basu, S., Pollack, R., Roy, M.-F.: Algorithms in real algebraic geometry. Algorithms and Computations in Mathematics, vol. 10. Springer (2006)Google Scholar
- 2.Caviness, B., Johnson, J. (eds.): Quantifier Elimination and Cylindical Algebraic Decomposition. Texts and Mongraphs in Symbolic Computation. Springer (1998)Google Scholar
- 3.Chen, C.: Solving Polynomial Systems via Triangular Decomposition. PhD thesis, University of Western Ontario (2011)Google Scholar
- 8.Cinquin, O., Demongeot, J.: Positive and negative feedback: striking a balance between necessary antagonists (2002)Google Scholar
- 9.Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol. 33, pp. 515–532. Springer, Heidelberg (1975)Google Scholar
- 10.Kalkbrener, M.: Three contributions to elimination theory. PhD thesis, Johannes Kepler University, Linz (1991)Google Scholar
- 16.Yang, L., Zhang, J.: Searching dependency between algebraic equations: an algorithm applied to automated reasoning. Technical Report IC/89/263, International Atomic Energy Agency, Miramare, Trieste, Italy (1991)Google Scholar