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
|