Construction of the Free Lie Algebra
FreeLieAlgebra(F, n) : Rng, RngIntElt -> AlgFPLie
Operations on Elements of the Free Lie Algebra
Example AlgFPL_FreeLieAlgebra (H91E1)
IsLeaf(m) : AlgFPLieElt -> BoolElt, AlgFPLieElt, AlgFPLieElt
Example AlgFPL_IsLeaf (H91E2)
Construction of Finitely-Presented Lie Algebras
LieAlgebra(R) : [ AlgFPLieElt ] -> AlgLie, SeqEnum, SeqEnum, UserProgram
NilpotentQuotient(R, d) : [ AlgFPLieElt ], RngIntElt -> AlgLie, SeqEnum, SeqEnum, UserProgram
Example AlgFPL_LieAlgebra (H91E3)
Example AlgFPL_NilpotentQuotient (H91E4)