This package provides routines for doing computations in graded Lie algebras.
The package relies on algorithmic theory on graded Lie algebras developed by Clas Löfwall and Jan-Erik Roos in A Nonnilpotent 1-2-Presented Graded Hopf Algebra Whose Hilbert Series Converges in the Unit Circle, Adv. Math. 130 (1997), no. 2, 161–200.
See also the earlier implementation in Mathematica by C. Löfwall, Liedim, a Mathematica program for Lie-calculations (2001-2016), available at http://www2.math.su.se/liedim/
See First LieAlgebra Tutorial, Second LieAlgebra Tutorial, Differential Lie algebras Tutorial, How to write Lie elements, Constructing Lie algebras and Symmetries for some illustrations of ways to use this package.
Computations with squares in characteristic two is not supported in the current version.