A Mathematica Package for Solving Pseudo-Division Algorithm of Multivariate Polynomial Matrix and Its Application

A concrete algorithm for solving pseudo-division algorithm of multivariate polynomial matrix is presented, and what is more, it is realized in Mathematica of computer algebra system. Moreover, the Mathematica package is applied to constructing infinite-dimensional canonical system of PDEs, which includes nonlinear PDEs. Some examples are illustrated to show the effectiveness of the Mathematica package.