[GAP Forum] Lie Algebra Cohomology

[Alan Hylton]

Howdy,

For low-dimensional Lie algebras I find myself asking GAP if they have any
cohomology using the calls I learned on this forum:
Dimension(Cocycles(my_lie_algebra, n)) -
Dimension(Coboundaries(my_lie_algebra, n)). Then to get a representative of
any non-trivial cohomology class I wind up doing all the calculations by
hand.

I'd like to move into higher dimensions, but I cannot quite figure out how
to compute cohomology in GAP. Referencing the page
https://www.gap-system.org/Manuals/doc/ref/chap64.html, I have not seen any
mention of computing cocycles mod coboundaries. Can anyone point me in the
right direction?

I also find that I do not understand some of the data types; is there a way
to view the internal representation of a cochain?

Many thanks!
Alan