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 _______________________________________________ Forum mailing list Forum@gap-system.org https://mail.gap-system.org/mailman/listinfo/forum
