Abstract
We present an algorithm to isolate the real roots, and compute their multiplicities, of a zero-dimensional triangular polynomial system, based on the local generic position method. We also presentexperiments that demonstrate the efficiency of the method.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alonso, M.-E., Becker, E., Roy, M.-F., Wörmann, T.: Multiplicities and idempotents for zero dimensional systems. In: Algorithms in algebraic Geometry and Applications. Progress in Mathematics, vol. 143, pp. 1–20. Birkhäuser (1996)
Berberich, E., Kerber, M., Sagraloff, M.: Exact Geometric-Topological Analysis of Algebraic Surfaces. In: Teillaud, M. (ed.) Proc. of the 24th ACM Symp. on Computational Geometry (SoCG), pp. 164–173. ACM Press (2008)
Boulier, F., Chen, C., Lemaire, F., Moreno Maza, M.: Real Root Isolation of Regular Chains. In: ASCM 2009, pp. 1–15 (2009)
Cheng, J.S., Gao, X.S., Li, J.: Root isolation for bivariate polynomial systems with local generic position method. In: ISSAC 2009, pp. 103–110 (2009)
Cheng, J.S., Gao, X.S., Guo, L.: Root isolation of zero-dimensional polynomial systems with linear univariate representation. J. of Symbolic Computation (2011)
Cheng, J.S., Gao, X.S., Li, M.: Determining the Topology of Real Algebraic Surfaces. In: Martin, R., Bez, H.E., Sabin, M.A. (eds.) IMA 2005. LNCS, vol. 3604, pp. 121–146. Springer, Heidelberg (2005)
Cheng, J.S., Gao, X.S., Yap, C.K.: Complete Numerical Isolation of Real Roots in 0-dimensional Triangular Systems. JSC 44(7), 768–785 (2009)
Collins, G.E., Johnson, J.R., Krandick, W.: Interval arithmetic in cylindrical algebraic decomposition. Journal of Symbolic Computation 34, 145–157 (2002)
Eigenwillig, A., Kettner, L., Krandick, W., Mehlhorn, K., Schmitt, S., Wolpert, N.: A Descartes Algorithm for Polynomials with Bit-Stream Coefficients. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2005. LNCS, vol. 3718, pp. 138–149. Springer, Heidelberg (2005)
Emiris, I.Z., Mourrain, B., Tsigaridas, E.P.: The DMM bound: Multivariate (aggregate) separation bounds. In: ISSAC 2010, pp. 243–250. ACM, Germany (2010)
Fulton, W.: Introduction to intersection theory in algebraic geometry. CBMS Regional Conference Series in Mathematics, vol. 54. Conference Board of the Mathematical Sciences, Washington, DC (1984)
Gao, X.S., Chou, S.C.: On the theory of resolvents and its applications. Mathematics and Systems Science (1997)
Hong, H.: An Efficient Method for Analyzing the Topology of Plane Real Algebraic Curves. Mathematics and Computers in Simulation 42, 571–582 (1996)
Hong, H., Stahl, V.: Safe start region by fixed points and tightening. Computing 53(3-4), 323–335 (1994)
Lu, Z., He, B., Luo, Y., Pan, L.: An Algorithm of Real Root Isolation for Polynomial Systems. In: SNC 2005 (2005)
Rioboo, R.: Computation of the real closure of an ordered field. In: ISSAC 1992. Academic Press, San Francisco (1992)
Rouillier, F.: Solving zero-dimensional systems through the rational univariate representation. AAECC 9, 433–461 (1999)
Sagraloff, M.: When Newton meets Descartes: A Simple and Fast Algorithm to Isolate the Real Roots of a Polynomial. CoRR abs/1109.6279 (2011)
Xia, B., Zhang, T.: Real Solution Isolation Using Interval Arithmetic. Computers and Mathematics with Applications 52, 853–860 (2006)
Yap, C.: Fundamental Problems of Algorithmic Algebra. Oxford University Press, New York (2000)
Yap, C., Sagraloff, M.: A simple but exact and efficient algorithm for complex root isolation. In: ISSAC 2011, pp. 353–360 (2011)
Zhang, Z.H., Fang, T., Xia, B.C.: Real solution isolation with multiplicity of 0-dimensional triangular systems. Science China: Information Sciences 54(1), 60–69 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, J., Cheng, JS., Tsigaridas, E.P. (2012). Local Generic Position for Root Isolation of Zero-Dimensional Triangular Polynomial Systems. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing. CASC 2012. Lecture Notes in Computer Science, vol 7442. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32973-9_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-32973-9_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32972-2
Online ISBN: 978-3-642-32973-9
eBook Packages: Computer ScienceComputer Science (R0)