This package provides functions for constructing and working with Lie
rings. There are functions for dealing with finitely-presented Lie
rings, and for performing the Lazard correspondence. The package also
contains a small database of finitely-generated Lie rings satisfying an
Engel condition.