i1 : L=lieAlgebra({a},genSigns=>1)/{a a} o1 = L o1 : LieAlgebra |
i2 : M=minmodelLie 4 o2 = M o2 : LieAlgebra |
i3 : dimsLie 4 o3 = {1, 0, 0, 0} o3 : List |
i4 : useLie M o4 = M o4 : LieAlgebra |
i5 : dimsLie 4 o5 = {1, 2, 2, 4} o5 : List |
i6 : peekLie M o6 = gensLie => {fr , fr , fr , fr } 0 1 2 3 genWeights => {{1, 0}, {2, 1}, {3, 2}, {4, 3}} genSigns => {1, 1, 1, 1} relsLie => {} genDiffs => {0, (fr_0 fr_0), (fr_0 fr_1), (fr_1 fr_1) + 4 (fr_0 fr_2)} field => QQ diffl => true compdeg => 4 modelmap => MapLie{fr_0 => a } fr_1 => 0 fr_2 => 0 fr_3 => 0 sourceLie => M targetLie => L |