A Direttissimo Algorithm for Equidimensional Decomposition
A Direttissimo Algorithm for Equidimensional Decomposition
We describe a recursive algorithm that decomposes an algebraic set into locally closed equidimensional sets, i.e. sets which each have irreducible components of the same dimension. At the core of this algorithm, we combine ideas from the theory of triangular sets, a.k.a. regular chains, with Gröbner bases to encode and …