i1 : L1=lieAlgebra({a,b,c}, {{{1,-1},{[b,c],[a,c]}},{{1,-2},{[a,a,c],[b,b,b,a]}}}, genWeights => {1,1,2}, genSigns=>{1,1,0}) o1 = L1 o1 : LieAlgebra |
i2 : L2=holonomyLie({{0,1,2},{0,3,4},{1,3,5},{2,4,5}}) o2 = L2 o2 : LieAlgebra |
i3 : whichLie() o3 = L2 o3 : LieAlgebra |
i4 : useLie L1 o4 = L1 o4 : LieAlgebra |
i5 : whichLie() o5 = L1 o5 : LieAlgebra |