Moreover,it is constructive algorithm and takes the advantage of symbolic elimination of resultants.

• 除此之外,我们的方法是确定的构造性算法,并且发挥了结式理论在符号消元方面的优势。