基于Wu-Ritt特征集方法和V.Gerdt的对合除法, 我们定义了非线性偏微分方程组的关于一般延拓方向的对合特征集 (ICS). 影响ICS方法的两个主要因素为: 延拓方向和变量的序. 本文中, 应用ICS方法处理在计算偏微分方程组的对称群过程中产生的大型偏微分方程组. 在实验的基础上, 总结了对于ICS方法较好的延拓方向和变量的序.

Based onWu-Ritt’s characteristic set method and V. Gerdet’s involutive division method,
we defined the involutive characteristic set (abbr. ICS) for a set of non-linear PDEs with
respect to a general involutive direction. The ICS method depends on two factors: the prolongation
direction and the variable ordering. In this paper, we report an implementation
of the ICS method and use it to solve a large set of PDE systems raised from the computation
of symmetric groups for PDEs. Based on the experiments, we try to select the best
prolongation direction and the variable ordering for the ICS algorithm.