If minmodelLie is computed for L, then the minimal model may be obtained as L.minmodel.
i1 : L=lieAlgebra{a,b}/{a a a b,b b b a} o1 = L o1 : LieAlgebra |
i2 : M=minmodelLie 4 o2 = M o2 : LieAlgebra |
i3 : L.minmodel o3 = M o3 : LieAlgebra |
i4 : peekLie L o4 = gensLie => {a, b} genWeights => {{1, 0}, {1, 0}} genSigns => {0, 0} relsLie => { - (a a b a), (b b b a)} genDiffs => {0, 0} field => QQ diffl => false compdeg => 4 minmodel => M |