This is just linear algebra in the specified degree
i1 : L = lieAlgebra{a,b,c} o1 = L o1 : LieAlgebra |
i2 : intersectionLie(2,{{2 a b + a c + 2 b c, a b + b c},{- a b + a c + b c, a c + b c},{a b + a c - b c, a b + a c}}) o2 = {(b a) + (c a) + (c b)} o2 : List |