Skip to main content

An Implementation for the Algorithm of Janet bases of Linear Differential Ideals in the Maple System


In this paper, an algorithm for computing the Janet bases of linear differential equations is described, which is the differential analogue of the algorithm JanetBasis improved by Gerdt. An implementation of the algorithm in Maple is given. The implemented algorithm includes some subalgorithms: Janet division, Pommaret division, the judgement of involutive divisor and reducible, the judgement of conventional divisor and reducible, involutive normal form and conventional normal form, involutive autoreduction and conventional autoreduction, PJ-autoreduction and so on. As an application, the Janet Bases of the determining system of classical Lie symmetries of some partial differential equations are obtained using our package.

This is a preview of subscription content, access via your institution.


  1. Apel, J. Theory of Involutive Divisions and an Application to Hilbert Function. J. Symb. Comp., 25: 683–704 (1998)

    MATH  Article  MathSciNet  Google Scholar 

  2. Becker, T., Weispfenning, V., Kredel, H. Gr¨obner Bases A computional approach to commutative algebra. Springer-Verlag, New York, 1993

  3. Bluman, G., Kumei, S. Symmetries and differential equations. Springer-Verlag, New York, 1989

  4. Chen, Y.F., Gao, X.S. Involutive directions and new involutive divisions. Comp. Math. Appl., 41: 945–956 (2001)

    MATH  Article  Google Scholar 

  5. Gerdt, V.P., Blinkov Yu A. Involutive Bases of Polynomial Ideals. Math. Comp. Simul., 45: 519–542 (1998)

    MATH  Article  MathSciNet  Google Scholar 

  6. Gerdt, V.P., Blinkov Yu A. Minimal Involutive Bases. Math. Comp. Simul., 45: 543–560 (1998)

    MATH  Article  MathSciNet  Google Scholar 

  7. Gerdt, V.P. Completion of linear differential systems to involution [A]. Victor G Ganzha, Ernst W Mayr, Evgenii V Vorozhtsov (eds.). Computer Algebra in scientific Computing/CASC’99. Springer-Verlag, Berlin, 1999

  8. Gerdt, V.P. On the relation between Pommaret and Janet Bases. http : // c ache/math/pdf/0004/0004100.pdf, 2000—04—15

  9. Olver, P.J. Applications of Lie groups to differential equations. 2nd ed. Springer-Verlag, New York, 1993

  10. Pommaret, J.F. Partial differential equations and group theory. New perspectives for applications. Kluwer, Dordrecht, 1994

  11. Pommaret, J.F. System of partial differential equations and lie pseudogroups. Gordon & Breach, New York, 1978

  12. Reid, G.J. Algorithms for reducing a system of pdes to standard form. Determining the dimension of its solution space and calculating its taylor series solution. Euro. J. Appl. Maths., 2: 293–318 (1991)

    MATH  Article  Google Scholar 

  13. Schwarz, F., Augustin, S. An algorithm for determing the size of symmetry groups. Computing, 49: 95–115, 1992

    MATH  Article  MathSciNet  Google Scholar 

  14. Schwarz, F. Symmetries of differential equations: from sophus Lie to computer algebra. SIAM Review, 30: 450–481 (1988)

    MATH  Article  MathSciNet  Google Scholar 

  15. Zharkov, A. Yu. Involutive polynomial Bases: General cases. Preprint JINR E5–94–244, JINR, Dubna, 1994

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Shan-qing Zhang.

Additional information

Supported by the Research Fund for the Doctoral Program of Higher Education of China (Grant No. 20020269003).

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Zhang, Sq., Li, Zb. An Implementation for the Algorithm of Janet bases of Linear Differential Ideals in the Maple System. Acta Mathematicae Applicatae Sinica, English Series 20, 605–616 (2004).

Download citation

  • Received:

  • Issue Date:

  • DOI:


  • Involutive bases
  • Janet bases
  • Gröbner bases
  • symbolic computation and algebraic computation
  • partial differential equations

2000 MR Subject Classification

  • 35-04
  • 68W30