Some properties of triangular sets and improvement upon algorithm CharSer

Abstract

We present some new properties of triangular sets, which have rather theoretical contribution to understand the structure of the affine varieties of triangular sets. Based on these results and the famous algorithm CharSet, we present two modified versions of the algorithm CharSer that can decompose any nonempty polynomial set into characteristic series. Some examples show that our improvement can efficiently avoid for redundant decompositions, and reduce the branches of the decomposition tree at times. © Springer-Verlag Berlin Heidelberg 2006.