Algorithms for multivariate laurent series
Juan Pablo Gonzalez Trochez, Marc Moreno Maza, Matt Calder, Erik J. Postma · ACM communications in computer algebra · 2022
Let K be a field and x 1 < ··· < x n be ordered variables. Consider a set of polynomials F ⊂ K[ x 1 ,..., x n ]. If the zero set V ( F ) of F is of positive dimension, then any triangular decomposition