polynomialSolutions I
polynomialSolutions M
polynomialSolutions(I,w)
polynomialSolutions(M,w)
The polynomial solutions of a holonomic system form a finitedimensional vector space. There are two algorithms implemented to get these solutions. The first algorithm is based on Gröbner deformations and works for ideals $I$ of PDE's  see the paper Polynomial and rational solutions of a holonomic system by Oaku, Takayama and Tsai (2000). The second algorithm is based on homological algebra  see the paper Computing homomorphisms between holonomic Dmodules by Tsai and Walther (2000).



The object polynomialSolutions is a method function with options.