If minmodelLie of a Lie algebra L is computed up to a certain degree, then the minimal model may be obtained as L.minmodel.
i1 : L=lieAlgebra({a,b},{{{1,-1},{[a,a,b],[b,b,a]}}}) o1 = L o1 : LieAlgebra |
i2 : minmodelLie 3 o2 = LieAlgebra{...12...} o2 : LieAlgebra |
i3 : peek L.minmodel o3 = LieAlgebra{cache => CacheTable{...10...} } compdeg => 3 deglength => 2 field => QQ genDiffs => {[], [], {{1, 1}, {[fr , fr , fr ], [fr , fr , fr ]}}} 0 1 0 1 1 0 genSigns => {0, 0, 1} gensLie => {fr , fr , fr } 0 1 2 genWeights => {{1, 0}, {1, 0}, {3, 1}} modelmap => MapLie{...5...} numGen => 3 relsLie => {} targetLie => L |