Learn More
1 We gratefully acknowledge support from the Natural Sciences and Engineering Research Council of Canada. We especially acknowledge N. Kamran for his lectures on Cartan's theory of innnite Lie pseudogroups at the West Coast Symmetry Workshop (U.B.C., May 1992). We also thank N. Kamran and P. Winternitz for discussions and support during a visit to the(More)
We describe a method which uses a finite number of differentiations and linear operations to determine the Cartan structure coefficients of a structurally transitive Lie pseudo-group from its infinitesimal defining equations. If the defining system is of first order and the pseudogroup has no scalm invariants, the structure coefficients can be simply(More)
We present an algorithm COMMUTATION.RELATIONS, which can calculate the commutation relations for the Lie symmetry algebra of symmetry operators for any system of PDEs. Unlike existing methods, COMMUTA-TION_RELATIONS does not depend on the heuristic process of integrating the associated differential equations for the symmetry operators (i.e. integrating the(More)
Given a class F of differential equations, the symmetry classification problem is to determine for each member f ∈ F the structure of its Lie symmetry group G f , or equivalently of its Lie symmetry algebra. The components of the symmetry vector fields of the Lie algebra are solutions of an associated over-determined 'defining system' of differential(More)
This work is part of a sequence in which we develop and refine algorithms for computer symmetry analysis of differential equations. We show how to exploit partially integrated forms of symmetry defining systems to assist the differential elimination algorithms that uncover structure of the Lie symmetry algebras. We thus incorporate a key advantage of(More)
  • 1