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 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.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Abdel Rady, A.S.; Osman, E.S.; Khalfallah, Mohammed: Multi soliton solution for the system of coupled Korteweg-de Vries equations (2009)
- Zhang, Shanqing; Li, Zhibin: An implementation for the algorithm of Janet bases of linear differential ideals in the Maple system (2004)