L=differentialLieAlgebra(defs)
The input should be a list of Lie elements in a free Lie algebra $F$ and this list consists of the differentials of the generators, where $0_F$ is used for the zero element. The option LastWeightHomological for $F$ must have the value true. The program adds relations to the Lie algebra to get the square of the differential to be 0. Use ideal(LieAlgebra) to get these nonnormalized relations or describe(LieAlgebra) to just look at them.






The object differentialLieAlgebra is a method function.