Quelle  3.6.2   Sprache: unbekannt

F:=FreeGroup(3);;
G:=NilpotentQuotient(F,3);;
g:=LowerCentralSeriesLieAlgebra(G);
Print(LieAlgebraHomology(g,4),"\n");