Results 1  10
of
75
Lifting Techniques for Triangular Decompositions
, 2005
"... We present lifting techniques for triangular decompositions of zerodimensional varieties, that extend the range of the previous methods. We discuss complexity aspects, and report on a preliminary implementation. Our theoretical results are comforted by these experiments. ..."
Abstract

Cited by 52 (29 self)
 Add to MetaCart
(Show Context)
We present lifting techniques for triangular decompositions of zerodimensional varieties, that extend the range of the previous methods. We discuss complexity aspects, and report on a preliminary implementation. Our theoretical results are comforted by these experiments.
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
, 2009
"... Cylindrical algebraic decomposition is one of the most important tools for computing with semialgebraic sets, while triangular decomposition is among the most important approaches for manipulating constructible sets. In this paper, for an arbitrary finite set F ⊂ R[y1,..., yn] we apply comprehensiv ..."
Abstract

Cited by 42 (14 self)
 Add to MetaCart
(Show Context)
Cylindrical algebraic decomposition is one of the most important tools for computing with semialgebraic sets, while triangular decomposition is among the most important approaches for manipulating constructible sets. In this paper, for an arbitrary finite set F ⊂ R[y1,..., yn] we apply comprehensive triangular decomposition in order to obtain an Finvariant cylindrical decomposition of the ndimensional complex space, from which we extract an Finvariant cylindrical algebraic decomposition of the ndimensional real space. We report on an implementation of this new approach for constructing cylindrical algebraic decompositions.
On the complexity of the D5 principle
 In Proc. of Transgressive Computing 2006
, 2006
"... The D5 Principle was introduced in 1985 by Jean Della Dora, Claire Dicrescenzo and Dominique Duval in their celebrated note “About a new method for computing in algebraic number fields”. This innovative approach automatizes reasoning based on case discussion and is also known as “Dynamic Evaluation” ..."
Abstract

Cited by 29 (17 self)
 Add to MetaCart
The D5 Principle was introduced in 1985 by Jean Della Dora, Claire Dicrescenzo and Dominique Duval in their celebrated note “About a new method for computing in algebraic number fields”. This innovative approach automatizes reasoning based on case discussion and is also known as “Dynamic Evaluation”. Applications of the D5 Principle have been made in Algebra, Computer Algebra, Geometry and Logic. Many algorithms for solving polynomial systems symbolically need to perform standard operations, such as GCD computations, over coefficient rings that are direct products of fields rather than fields. We show in this paper how asymptotically fast algorithms for polynomials over fields can be adapted to this more general context, thanks to the D5 Principle. 1
Well known theorems on triangular systems and the D5 principle
"... The theorems that we present in this paper are very important to prove the correctness of triangular decomposition algorithms. The most important of them are not new but their proofs are. We illustrate how they articulate with the D5 principle. ..."
Abstract

Cited by 29 (16 self)
 Add to MetaCart
The theorems that we present in this paper are very important to prove the correctness of triangular decomposition algorithms. The most important of them are not new but their proofs are. We illustrate how they articulate with the D5 principle.
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 26 (21 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.
Algorithms for Computing Triangular Decomposition of Polynomial Systems
, 2011
"... We discuss algorithmic advances which have extended the pioneer work of Wu on triangular decompositions. We start with an overview of the key ideas which have led to either better implementation techniques or a better understanding of the underlying theory. We then present new techniques that we reg ..."
Abstract

Cited by 25 (17 self)
 Add to MetaCart
We discuss algorithmic advances which have extended the pioneer work of Wu on triangular decompositions. We start with an overview of the key ideas which have led to either better implementation techniques or a better understanding of the underlying theory. We then present new techniques that we regard as essential to the recent success and for future research directions in the development of triangular decomposition methods.
Triangular Decomposition of SemiAlgebraic Systems
, 2010
"... Regular chains and triangular decompositions are fundamental and welldeveloped tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue: semialgebraic systems. We show that any such system can be dec ..."
Abstract

Cited by 22 (13 self)
 Add to MetaCart
(Show Context)
Regular chains and triangular decompositions are fundamental and welldeveloped tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue: semialgebraic systems. We show that any such system can be decomposed into finitely many regular semialgebraic systems. We propose two specifications of such a decomposition and present corresponding algorithms. Under some assumptions, one type of decomposition can be computed in singly exponential time w.r.t. the number of variables. We implement our algorithms and the experimental results illustrate their effectiveness.
The modpn library: Bringing fast polynomial arithmetic into maple
 IN MICA’08
, 2008
"... We investigate the integration of C implementation of fast arithmetic operations into Maple, focusing on triangular decomposition algorithms. We show substantial improvements over existing Maple implementations; our code also outperforms Magma on many examples. Profiling data show that data conversi ..."
Abstract

Cited by 20 (14 self)
 Add to MetaCart
(Show Context)
We investigate the integration of C implementation of fast arithmetic operations into Maple, focusing on triangular decomposition algorithms. We show substantial improvements over existing Maple implementations; our code also outperforms Magma on many examples. Profiling data show that data conversion can become a bottleneck for some algorithms, leaving room for further improvements.
Computation of canonical forms for ternary cubics
 in ISSAC. 2000
, 2002
"... In this paper we conduct a careful study of the equivalence classes of ternary cubics under general complex linear changes of variables. Our new results are based on the method of moving frames and involve triangular decompositions of algebraic varieties. We provide a computationally efficient algor ..."
Abstract

Cited by 19 (7 self)
 Add to MetaCart
(Show Context)
In this paper we conduct a careful study of the equivalence classes of ternary cubics under general complex linear changes of variables. Our new results are based on the method of moving frames and involve triangular decompositions of algebraic varieties. We provide a computationally efficient algorithm that matches an arbitrary ternary cubic with its canonical form and explicitly computes a corresponding linear change of coordinates. We also describe a classification of the symmetry groups of ternary cubics.