Version 2 2024-06-18, 06:19Version 2 2024-06-18, 06:19
Version 1 2019-07-17, 15:45Version 1 2019-07-17, 15:45
journal contribution
posted on 1992-07-01, 00:00authored byJohn Carminati, J S Devitt, G J Fee
We describe the Liesymm package, implemented in the symbolic computing system MAPLE, for obtaining the determining equations of the isogroup of a system of partial differential equations. Liesymm fully automates the Harrison-Estabrook procedure which uses Cartan's formulation in terms of differential forms. It also includes a number of routines which assist the user in integrating the determining equations. Liesymm has been implemented in such a way as to provide the user with a number of useful interactive tools for working with differential forms. In addition, it can also generate a "suitable" initial set of differential forms directly from the given partial differential equations and as such can be used at a level that obviates any need for familiarity with forms.