Computes the kernel in the specified degree of the Lie homomorphism from [L,L] to the direct sum of [Li,Li], where Li is the Lie subalgebra generated by the ith subset in the input for the holonomy Lie algebra L, see localLie. The ideal is generated by the basis elements in degree 3 of the form (x y z), where not all x,y,z belong to the same Li.
i1 : L=holonomyLie({{a0,a1,a2},{a0,a3,a4},{a1,a3,a5},{a2,a4,a5}}) o1 = L o1 : LieAlgebra |
i2 : decompidealLie 3 o2 = {(a5 a4 a3), (a4 a5 a3)} o2 : List |