Author Thomas Wolf
Short description The package LIEPDE computes infinitesimal symmetries of differential equations (DEs). These can be point-, contact and generalized higher order symmetries. The overdetermined system of symmetry conditions is solved by the program CRACK. Flags allow the formulation and solution of the symmetry conditions in successive stages to lower the overall memory and time requirements. A parameter allows the computation of the prolongation of the symmetry vector up to some given order.
Platform REDUCE, version 3.6, 3.7 or 3.8
System requirements The memory requirements depend crucially on the application. The non-trivial computations in the test file liepde.tst have been run in an 8MB session under LINUX.
Installation In a running REDUCE session either do
  in "liepde.red"$
or, in order to speed up computation, either compile it with
  on comp$
before the above command, or, generate a fast-loading compiled file once with
  faslout "liepde"$
  in "liepde.red"$
and load that file whenever you want to run LIEPDE with
  load liepde$
In a similar way proceed with the file crack.red. The above commands assume all files to be in the current directory.
More information/updates There are available a manual, a test file and a log file.
A web demo for LIEPDE may be available later. The latest version is available from http://lie.math.brocku.ca/crack/src/.
Contact e-mail: Thomas Wolf