gap> M:=FullMatrixAlgebra(Rationals,4);; 
gap> A:=LieAlgebra(M);;
gap> V:=AdjointModule(A);;
gap> C:=ChevalleyEilenbergComplex(V,17);;
gap> List([0..17],C!.dimension);
[ 16, 256, 1920, 8960, 29120, 69888, 128128, 183040, 205920, 183040, 128128, 
  69888, 29120, 8960, 1920, 256, 16, 0 ]
gap> Homology(C,4);
1
