i1 : L = lieAlgebra( {a,b}, {[a,a,a,b]},genWeights => {{1,1},{1,2}}, genSigns=>{1,0}) o1 = L o1 : LieAlgebra |
i2 : b2 = basisLie 2 o2 = {[a, a], [b, a]} o2 : List |
i3 : b3 = basisLie 3 o3 = {[b, a, a], [b, b, a]} o3 : List |
i4 : b4 = basisLie 4 o4 = {[b, b, a, a], [a, b, b, a], [b, b, b, a]} o4 : List |
i5 : m1=multLie([a],b4_1) 1 o5 = {{- -}, {[a, b, b, a, a]}} 2 o5 : List |
i6 : m2=multLie([b],m1) 1 o6 = {{- -}, {[b, a, b, b, a, a]}} 2 o6 : List |
i7 : m3=multLie(m1,m2) 1 1 o7 = {{-, - -}, {[b, a, a, b, a, b, a, b, b, a, a], [b, a, b, a, a, b, a, b, 4 4 ------------------------------------------------------------------------ b, a, a]}} o7 : List |
i8 : S=L.cache.mbRing o8 = S o8 : PolynomialRing |
i9 : i1=indexFormLie m1 1 o9 = - -mb 2 {5, 0} o9 : S |
i10 : i2=indexFormLie m2 1 o10 = - -mb 2 {6, 0} o10 : S |
i11 : i3=indexFormLie m3 1 1 o11 = - -mb + -mb 4 {11, 1} 4 {11, 4} o11 : S |