A generator may be of class Symbol, IndexedVariable or Integer, a relation or a value for the differential should be a generalExpressionLie, see How to write Lie elements.
i1 : L1 = lieAlgebra({a,b}, {{{1,-1},{[a,a,b],[b,b,a]}},[a,a,a,a,b]}) o1 = L1 o1 : LieAlgebra |
i2 : computeLie 6 o2 = {2, 1, 1, 1, 1, 0} o2 : List |
i3 : peek L1 o3 = LieAlgebra{cache => CacheTable{...9...} } compdeg => 6 deglength => 2 field => QQ genDiffs => {[], []} genSigns => {0, 0} gensLie => {a, b} genWeights => {{1, 0}, {1, 0}} numGen => 2 relsLie => {{{1, -1}, {[a, a, b], [b, b, a]}}, [a, a, a, a, b]} |
i4 : L2=lieAlgebra({a,b,c},{[a,b],[a,c]},genWeights=>{{1,0},{1,0},{2,1}}, genSigns=>{1,1,1}, genDiffs=>{[],[],{{1,1},{[a,a],[b,b]}}}) o4 = L2 o4 : LieAlgebra |
i5 : peek L2 o5 = LieAlgebra{cache => CacheTable{...9...} } compdeg => 3 deglength => 2 field => QQ genDiffs => {[], [], {{1, 1}, {[a, a], [b, b]}}} genSigns => {1, 1, 1} gensLie => {a, b, c} genWeights => {{1, 0}, {1, 0}, {2, 1}} numGen => 3 relsLie => {[a, b], [a, c]} |
i6 : computeLie 5 o6 = {2, 3, 1, 2, 2} o6 : List |