Usually the current Lie algebra changes when a construction of a new Lie algebra is performed. However, this is not so for minmodelLie.
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 : M=minmodelLie 3 o3 = M o3 : LieAlgebra |
i4 : whichLie() o4 = L o4 : LieAlgebra |
i5 : R=L.cache.extRepRing o5 = R o5 : PolynomialRing |
i6 : L2=lieAlgebra{a,b} o6 = L2 o6 : LieAlgebra |
i7 : M2=minmodelLie 3 o7 = M2 o7 : LieAlgebra |
i8 : S=L2.cache.extRepRing o8 = S o8 : PolynomialRing |
i9 : useLie L o9 = L o9 : LieAlgebra |
i10 : ext_0 ext_1 o10 = -ext 2 o10 : R |
i11 : useLie L2 o11 = L2 o11 : LieAlgebra |
i12 : ext_0 ext_1 o12 = 0 o12 : S |