微分多项式系统的对合特征集

给出了一类将微分多项式系统关于抽象对合延拓方向约化成对合特征集的算法.该算法统一了已有的基于Riquier方法和Thomas方法及Pommaret方法延拓方程的算法.采用我们及其他研究者最近发现的新延拓方向,给出了计算对合特征集的新方法.实践表明,这些新方法可以用于简化Wu-Ritt特征集方法的计算程序.