An implementation for the algorithm of Janet bases of linear differential ideals in the Maple system. (English) Zbl 1138.35300

Summary: 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 judgment of involutive divisor and reducible, the judgment of conventional divisor and reducible, involutive normal form and conventional normal form, involutive autoreduction and conventional autoreduction, PJ-autoreduction algorithms 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.


35-04 Software, source code, etc. for problems pertaining to partial differential equations
13P99 Computational aspects and applications of commutative rings
35A30 Geometric theory, characteristics, transformations in context of PDEs
68W30 Symbolic computation and algebraic computation


Maple; JanetBasis; SPDE
Full Text: DOI


[1] Apel, J. Theory of Involutive Divisions and an Application to Hilbert Function. J. Symb. Comp., 25: 683–704 (1998) · Zbl 0943.68191
[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 · Zbl 0698.35001
[4] Chen, Y.F., Gao, X.S. Involutive directions and new involutive divisions. Comp. Math. Appl., 41: 945–956 (2001) · Zbl 1018.12010
[5] Gerdt, V.P., Blinkov Yu A. Involutive Bases of Polynomial Ideals. Math. Comp. Simul., 45: 519–542 (1998) · Zbl 1017.13500
[6] Gerdt, V.P., Blinkov Yu A. Minimal Involutive Bases. Math. Comp. Simul., 45: 543–560 (1998) · Zbl 1017.13501
[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 · Zbl 1072.12500
[8] Gerdt, V.P. On the relation between Pommaret and Janet Bases. http : //arxiv.org/PS c ache/math/pdf/0004/0004100.pdf, 2000–04–15 · Zbl 0981.13017
[9] Olver, P.J. Applications of Lie groups to differential equations. 2nd ed. Springer-Verlag, New York, 1993 · Zbl 0785.58003
[10] Pommaret, J.F. Partial differential equations and group theory. New perspectives for applications. Kluwer, Dordrecht, 1994 · Zbl 0808.35002
[11] Pommaret, J.F. System of partial differential equations and lie pseudogroups. Gordon & Breach, New York, 1978 · Zbl 0418.35028
[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) · Zbl 0768.35001
[13] Schwarz, F., Augustin, S. An algorithm for determing the size of symmetry groups. Computing, 49: 95–115, 1992 · Zbl 0759.68042
[14] Schwarz, F. Symmetries of differential equations: from sophus Lie to computer algebra. SIAM Review, 30: 450–481 (1988) · Zbl 0664.35004
[15] Zharkov, A. Yu. Involutive polynomial Bases: General cases. Preprint JINR E5–94–244, JINR, Dubna, 1994
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.