Abstract:Triangular decomposition with different properties has been used for various types of problem solving. In this paper, the concepts of pure chains and square-free pure triangular decomposition (SFPTD) of zero-dimensional polynomial systems are defined. Because of its good properties, SFPTD may be a key way to many problems related to zero-dimensional polynomial systems. Inspired by the work of Wang (2016) and of Dong and Mou (2019), the authors propose an algorithm for computing SFPTD based on Gröbner bases computation. The novelty of the algorithm is that the authors make use of saturated ideals and separant to ensure that the zero sets of any two pure chains are disjoint and every pure chain is square-free, respectively. On one hand, the authors prove the arithmetic complexity of the new algorithm can be single exponential in the square of the number of variables, which seems to be among the rare complexity analysis results for triangular-decomposition methods. On the other hand, the authors show experimentally that, on a large number of examples in the literature, the new algorithm is far more efficient than a popular triangular-decomposition method based on pseudodivision, and the methods based on SFPTD for real solution isolation and for computing radicals of zero-dimensional ideals are very efficient.

Unmixed and Prime Decomposition of Radicals of Polynomial Ideals

Radical factorization in higher dimension

Radical factorization in commutative rings, monoids and multiplicative lattices

Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems

On real one-sided ideals in a free algebra

Primary Decomposition of Symmetric Ideals

An improvement upon unmixed decomposition of an algebraic variety

Stability of Triangular Decomposition and Comprehensive Triangular Decomposition

Gröbner bases of radical Li-Li type ideals associated with partitions

Prime Splitting and Common Index Divisors in Radical Extensions

The Radicals of Hopf Module Algebras

Primary ideals and their differential equations

Comprehensive Systems for Primary Decompositions of Parametric Ideals

Triangular Decomposition of Semi-algebraic Systems

Note on radical and prime E-ideals

Waring decompositions of monomials

Primary decomposition of modules: a computational differential approach

A relationship between 2-primal modules and modules that satisfy the radical formula

Parameterizing roots of polynomial congruences

Ideals as generalized prime ideal factorization of submodules

Understanding Radicals via Orbital Parities