Results 1  10
of
17
Almost tight recursion tree bounds for the Descartes method
 In Proc. Int. Symp. on Symbolic and Algebraic Computation
, 2006
"... We give a unified (“basis free”) framework for the Descartes method for real root isolation of squarefree real polynomials. This framework encompasses the usual Descartes ’ rule of sign method for polynomials in the power basis as well as its analog in the Bernstein basis. We then give a new bound ..."
Abstract

Cited by 39 (3 self)
 Add to MetaCart
(Show Context)
We give a unified (“basis free”) framework for the Descartes method for real root isolation of squarefree real polynomials. This framework encompasses the usual Descartes ’ rule of sign method for polynomials in the power basis as well as its analog in the Bernstein basis. We then give a new bound on the size of the recursion tree in the Descartes method for polynomials with real coefficients. Applied to polynomials A(X) = P n i=0 aiXi with integer coefficients ai  < 2 L, this yields a bound of O(n(L + log n)) on the size of recursion trees. We show that this bound is tight for L = Ω(log n), and we use it to derive the best known bit complexity bound for the integer case.
Fast arithmetic for triangular sets: from theory to practice
 ISSAC'07
, 2007
"... We study arithmetic operations for triangular families of polynomials, concentrating on multiplication in dimension zero. By a suitable extension of fast univariate Euclidean division, we obtain theoretical and practical improvements over a direct recursive approach; for a family of special cases, ..."
Abstract

Cited by 31 (24 self)
 Add to MetaCart
(Show Context)
We study arithmetic operations for triangular families of polynomials, concentrating on multiplication in dimension zero. By a suitable extension of fast univariate Euclidean division, we obtain theoretical and practical improvements over a direct recursive approach; for a family of special cases, we reach quasilinear complexity. The main outcome we have in mind is the acceleration of higherlevel algorithms, by interfacing our lowlevel implementation with languages such as AXIOM or Maple. We show the potential for huge speedups, by comparing two AXIOM implementations of van Hoeij and Monagan's modular GCD algorithm.
HIGHPERFORMANCE IMPLEMENTATIONS OF THE DESCARTES METHOD
, 2006
"... The Descartes method for polynomial real root isolation can be performed with respect to monomial bases and with respect to Bernstein bases. The first variant uses Taylor shift by 1 as its main subalgorithm, the second uses de Casteljau’s algorithm. When applied to integer polynomials, the two vari ..."
Abstract

Cited by 13 (0 self)
 Add to MetaCart
The Descartes method for polynomial real root isolation can be performed with respect to monomial bases and with respect to Bernstein bases. The first variant uses Taylor shift by 1 as its main subalgorithm, the second uses de Casteljau’s algorithm. When applied to integer polynomials, the two variants have codominant, almost tight computing time bounds. Implementations of either variant can obtain speedups over previous stateoftheart implementations by more than an order of magnitude if they use features of the processor architecture. We present an implementation of the Bernsteinbases variant of the Descartes method that automatically generates architectureaware highlevel code and leaves further optimizations to the compiler. We compare the performance of our implementation, algorithmically tuned implementations of the monomial and Bernstein variants, and architectureunaware implementations of both variants on four different processor architectures and for three classes of input polynomials.
An efficient and exact subdivision algorithm for isolating complex roots of a polynomial and its complexity analysis
, 2009
"... We introduce an exact subdivision algorithm CEVAL for isolating complex roots of a squarefree polynomial. The subdivision predicates are based on evaluating the original polynomial or its derivatives, and hence is easy to implement. It can be seen as a generalization of a previous real root isolati ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
(Show Context)
We introduce an exact subdivision algorithm CEVAL for isolating complex roots of a squarefree polynomial. The subdivision predicates are based on evaluating the original polynomial or its derivatives, and hence is easy to implement. It can be seen as a generalization of a previous real root isolation algorithm called EVAL. Under suitable conditions, the algorithm is applicable for general analytic functions. We provide a complexity analysis of our algorithm on the benchmark problem of isolating all complex roots of a squarefree polynomial with Gaussian integer coefficients. The analysis is based on a novel technique called δclusters. This analysis shows, somewhat surprisingly, that the simple EVAL algorithm matches (up to logarithmic factors) the bit complexity bounds of current practical exact algorithms such as those based on Descartes, Continued Fraction or Sturm methods. Furthermore, the more general CEVAL also achieves the same complexity.
Cache Complexity and Multicore Implementation for Univariate Real Root Isolation
"... Abstract. We present parallel algorithms with optimal cache complexity for the kernel routine of many real root isolation algorithms, namely the Taylor shift by 1. We then report on multicore implementation for isolating the real roots of univariate polynomials with integer coefficients based on a c ..."
Abstract

Cited by 4 (4 self)
 Add to MetaCart
(Show Context)
Abstract. We present parallel algorithms with optimal cache complexity for the kernel routine of many real root isolation algorithms, namely the Taylor shift by 1. We then report on multicore implementation for isolating the real roots of univariate polynomials with integer coefficients based on a classical algorithm due to Vincent, Collins and Akritas. For processing some wellknown benchmark examples with sufficiently large size, our software tool reaches linear speedup on an 8core machine. In addition, we show that our software is able to fully utilize the many cores and the memory space of a 32core machine to tackle large problems that are out of reach for a desktop implementation. 1.
Overview 8
"... Taylor shift of random polynomial on 8core machine dnc, Base=8 blocking, Base=50 Isolatingtherealrootsofaunivariatepolynomialisadriving subject in computer algebra. Many researchers have studied this problem under various angles from algebraic algorithms to implementation techniques [1, 2, 7, 3, ..."
Abstract
 Add to MetaCart
(Show Context)
Taylor shift of random polynomial on 8core machine dnc, Base=8 blocking, Base=50 Isolatingtherealrootsofaunivariatepolynomialisadriving subject in computer algebra. Many researchers have studied this problem under various angles from algebraic algorithms to implementation techniques [1, 2, 7, 3, 5]. Today, multicores have become the most popular parallel hardware architectures. Besides, understanding the implications of hierarchical memory on performance software engineering has becomeessential. Theseobservationsmotivatetheworkpresented in this poster. First, we analyze the cache complexity The work and span of this algorithm are respectively Θ(n2) andΘ(nlog23),Inaddition,thisalgorithmcanberuninplace, inspaceΘ(n). Usingtheidealcachemodel[4],foracacheof Z wordswithcachelinesizeL,wehaveshownthatthisalgorithm incurs Θ(n2 /ZL) cache misses. Using the HongKung lower bounds, we deduce that this latter result is optimal. Speedup using 8 cores 6 5
Date
"... Today, most computer algebra systems offer efficient solvers for computing the complex solutions of polynomial systems. Some of them, such as Maple, provide tools for “identifying”whichofthosesolutionsarereal. Thesetoolssupportmanyapplications in areas like robotics, program verification, and dynami ..."
Abstract
 Add to MetaCart
(Show Context)
Today, most computer algebra systems offer efficient solvers for computing the complex solutions of polynomial systems. Some of them, such as Maple, provide tools for “identifying”whichofthosesolutionsarereal. Thesetoolssupportmanyapplications in areas like robotics, program verification, and dynamical system analysis, to name a few. In this thesis, we investigate parallel algorithms for isolating the real roots of univariate equations with rational number coefficients. This type of calculation is fundamental to the computation of the real solutions of polynomial systems. Our objective is to improve performance of real root isolation on multicore processors in terms of parallelism and cache complexity, such that harder problems can be tackled on these architectures. On multicores, the parallelization of real root isolation reduces to that of Taylor shift computations, which generalize the Pascal Triangle construction. With respect to previous works, we provide a more realistic analysis (in terms of work, span, burdened span, cache complexity) of the parallelization of this method. This leads us to develop polyalgorithms which can adapt the granularity of their parallelism dynamically depending on the local amount of work. Experimentation illustrates the effectiveness of this approach.