GAP4 package LieRing
A GAP4 package for constructing and working with Lie rings. The main topics
of interest are: finitely presented Lie rings, the Lazard correspondence, and
n-Engel Lie rings.
Installation: just gunzip, and untar in the pkg directory; then,
in GAP, you can use RequirePackage( "liering" ); to load the package.
Manual: is contained in liering/doc.
Here is the package, PackageInfo.g and README.liering files: