Lie algebra computations

In the context of prolongation theory, introduced by Wahlquist and Estabrook, computations of a lot of Jacobi identities in (infinite-dimensional) Lie algebras are necessary. These computations can be done (automatically) using ‘symbolic computations’. A package written in REDUCE is demonstrated to give an idea of the chosen approach