The weight of the zero element, L.zz, is defined to be a list of zeroes of the same length as the weight of the generators. However, the weight of zero should be thought of as arbitrary.
i1 : L = lieAlgebra({a1,a2},genWeights => {{1,2},{1,3}},genSigns => {1,0}) o1 = L o1 : LieAlgebra |
i2 : weightLie (a1 a1) a2 o2 = {3, 7, 0} o2 : List |
i3 : weightLie{a2,a1 a1 a1,a2 a1 a2 + 2 a2 a2 a1} o3 = {{1, 3, 0}, {0, 0, 0}, {3, 8, 0}} o3 : List |