ICS: a package for computing involutive characteristic set of algebraic partial differential equation systems

A constructive algorithm for the completion of arbitrary algebraic partial differential equation systems to involutive ones are presented. Based on it, an implementation ICS for computing the involutive characteristic set of an algebraic partial differential equation systems is given. Some examples are tested with ICS and some experimental results are obtained which may show a hint for computing involutive characteristic set of arbitrary algebraic partial differential equation systems thereafter.