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.

Prime Decomposition of Quadratic Matrix Polynomials

On Minor Left Prime Factorization Problem for Multivariate Polynomial Matrices

On Factor Left Prime Factorization Problems for Multivariate Polynomial Matrices

Effective Determination of Prime Decompositions of Cubic Function Fields

Decomposition of matrices into products of commutators of quadratic matrices

Factorization of a prime matrix in even blocks

Symbolic approach to the general quadratic polynomial decomposition

Decompositions of Powers of Quadrics

Forms in prime variables and differing degrees

Iterates of Quadratics and Monogenicity

New Results on Equivalence of Multivariate Polynomial Matrices

Quadratic polynomials at prime arguments

Zero Decomposition with Multiplicity of Zero-Dimensional Polynomial Systems

Quadratic unilateral polynomials over split quaternions

Computational complexity of decomposing a symmetric matrix as a sum of positive semidefinite and diagonal matrices

Coprime-Universal Quadratic Forms

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

A decomposition algorithm for solving large-scale quadratic programming problems

Quadratic functions as solutions of polynomial equations

Quantifier elimination for quartics

Quaternary quadratic forms with prime discriminant