ZERO DECOMPOSITION ALGORITHMS FOR SYSTEMS OF POLYNOMIAL EQUATIONS

This paper will give the zero decomposition algorithms of the characteristic set method. The main algorithms include those for computing characteristic set, triangular set and the zero decomposition algorithm by factorizing multi-variable polynomials. We will also give a brief description of wsolve which is an implementation of the above algorithms and use it to solve a system of polynomial equations as an example.