GAP4 package LieRing

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: