We derive a sufficient condition for a generating set of an ideal in the free (non-associative, non-commutative) algebra to be a Grobner basis. Using this we formulate an algorithm for computing a basis of a finitely presented Lie algebra. At the end of the paper we discuss the practical implementation of the algorithm
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.