这些算法能将任意多元多项式系统分解为三角系统、正则系统、简单系统、具有投影特性的三角系统和不可约三角系统。