Constructing bases of finitely presented Lie algebras using Gröbner bases in free algebras
Willem Adriaan de Graaf, Jürgen Wisliceny · 1999
1s-e derive i-1 sufficient con&ion for a gtnrra.tingset Of an ideal in the free (uon-associative.Iloll-corrlrllntat,ivc) algebra to bc a Grijlln~r basis.I;eing t,his wc fOrnlulat,e an algorithn~ for coniputiug a hISiS Of il finitely present,ed Lie algebra.=It the end of the paper we discuss tlic practical iriil)lClllc:~lt;ttioll Of the i~lgOritllIn.