The degLie of [] is defined to be 0. However, the degree of [] should be thought of as arbitrary since, in the example below, the element [b,b] has degLie 2 and is equal to [] in L.
i1 : L=lieAlgebra({a,b,c},{},genWeights => {{1,1},{1,1},{2,2}}) o1 = L o1 : LieAlgebra |
i2 : degLie(a) o2 = 1 |
i3 : degLie([a,a,c]) o3 = 4 |
i4 : g={{1,-1},{[a,c],[b,c]}} o4 = {{1, -1}, {[a, c], [b, c]}} o4 : List |
i5 : degLie g o5 = 3 |
i6 : m=indexFormLie g o6 = mb - mb {3, 2} {3, 3} o6 : QQ[mb , mb , mb , mb , mb , mb , mb , mb ] {1, 0} {1, 1} {2, 0} {2, 1} {3, 0} {3, 1} {3, 2} {3, 3} |
i7 : (degree m)_0 o7 = 3 |
i8 : degLie {[],[b,b],{{1,2},{[c],[a,b]}}} o8 = {0, 2, 2} o8 : List |