ISOLATE
Efficient isolation of polynomial’s real roots. This paper revisits an algorithm isolating the real roots of a univariate polynomial using Descartes’ rule of signs. It follows work of Vincent, Uspensky, Collins and Akritas, Johnson, Krandick. Our first contribution is a generic algorithm which enables one to describe all the known algorithms based on Descartes’ rule of sign and the bisection strategy in a unified framework. Using that framework, a new algorithm is presented, which is optimal in terms of memory usage and as fast as both Collins and Akritas’ algorithm and Krandick’s variant, independently of the input polynomial. From this new algorithm, we derive an adaptive semi-numerical version, using multi-precision interval arithmetic. We finally show that these critical optimizations have important consequences since our new algorithm still works with huge polynomials, including orthogonal polynomials of degree 1000 and more, which were out of reach of previous methods.
Keywords for this software
References in zbMATH (referenced in 158 articles , 1 standard article )
Showing results 1 to 20 of 158.
Sorted by year (- Alcázar, Juan Gerardo; Hermoso, Carlos: Involutions of polynomially parametrized surfaces (2016)
- Burr, Michael A.: Continuous amortization and extensions: with applications to bisection-based root isolation (2016)
- Henrion, Didier; Naldi, Simone; El Din, Mohab Safey: Exact algorithms for linear matrix inequalities (2016)
- Hu, Shenglong; Ye, Ke: Multiplicities of tensor eigenvalues (2016)
- Massri, César: Solving a sparse system using linear algebra (2016)
- Mehrabi, Esmaeil; Schost, Éric: A softly optimal Monte Carlo algorithm for solving bivariate polynomial systems over the integers (2016)
- Sagraloff, Michael; Mehlhorn, Kurt: Computing real roots of real polynomials (2016)
- Bouzidi, Yacine; Lazard, Sylvain; Pouget, Marc; Rouillier, Fabrice: Separating linear forms and rational univariate representations of bivariate systems (2015)
- Cheng, Jin-San; Jin, Kai: A generic position based method for real root isolation of zero-dimensional polynomial systems (2015)
- Falbel, E.; Koseleff, P.-V.; Rouillier, F.: Representations of fundamental groups of 3-manifolds into $\mathrmPGL(3,\mathbb C)$: exact computations in low complexity (2015)
- Kerber, Michael; Sagraloff, Michael: Root refinement for real polynomials using quadratic interval refinement (2015)
- Lebreton, Romain: Relaxed Hensel lifting of triangular sets (2015)
- Boulier, François; Chen, Changbo; Lemaire, François; Maza, Marc Moreno: Real root isolation of regular chains (2014)
- Galeani, Sergio; Henrion, Didier; Jacquemard, Alain; Zaccarian, Luca: Design of Marx generators as a structured eigenvalue assignment (2014)
- Sagraloff, Michael: On the complexity of the Descartes method when using approximate arithmetic (2014)
- Shen, Fei; Wu, Wenyuan; Xia, Bican: Real root isolation of polynomial equations based on hybrid computation (2014)
- Xiao, Shuijing; Zeng, Guangxing: Determination of the limits for multivariate rational functions (2014)
- Berberich, Eric; Emeliyanenko, Pavel; Kobel, Alexander; Sagraloff, Michael: Exact symbolic-numeric computation of planar algebraic curves (2013)
- Gao, Xiao-Shan; Li, Wei; Yuan, Chun-Ming: Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form (2013)
- Herrero, María Isabel; Jeronimo, Gabriela; Sabia, Juan: Affine solution sets of sparse polynomial systems (2013)