i1 : L=lieAlgebra({a,b,c},genSigns=>{0,0,1},genWeights=>{{1,0},{1,0},{2,1}},diffl=>true) o1 = L o1 : LieAlgebra |
i2 : L=diffLieAlgebra{L.zz,L.zz,a b}/{a a b, b b a} o2 = L o2 : LieAlgebra |
i3 : extBasisLie 3 o3 = {ext , ext , ext , ext , ext } 0 1 2 3 4 o3 : List |
i4 : L.cache.extRepRing o4 = QQ[ext , ext , ext , ext , ext ] 0 1 2 3 4 o4 : PolynomialRing |
i5 : weightExtLie(2*ext_3+3*ext_4) o5 = {3, 2} o5 : List |
i6 : extTableLie 3 o6 = | 2 0 0 | | 0 1 2 | | 0 0 0 | 3 3 o6 : Matrix ZZ <--- ZZ |