GAP4 package LieRing
LieRing
A GAP4 package (under construction) for constructing and working with
(mainly finitely presented) 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: