The information given by peekLie of a LieAlgebra is somewhat less, but more relevant, than what peek gives. If a map or derivation is zero then 0 is displayed. If a map is the identity, then id is displayed.
i1 : L = lieAlgebra({a,b,c},genWeights=>{1,2,3},genSigns=>1)/{a b c} o1 = L o1 : LieAlgebra |
i2 : dimsLie 4 o2 = {1, 2, 2, 3} o2 : List |
i3 : peekLie L o3 = gensLie => {a, b, c} genWeights => {{1, 0}, {2, 0}, {3, 0}} genSigns => {1, 1, 1} relsLie => {(a b c)} genDiffs => {0, 0, 0} field => QQ diffl => false compdeg => 4 |
i4 : M=ambient L o4 = M o4 : LieAlgebra |
i5 : f = mapLie(L,M) o5 = f o5 : MapLie |
i6 : peekLie f o6 = MapLie{a => a } b => b c => c sourceLie => M targetLie => L |
i7 : peekLie derLie{a,b,c} o7 = a => a b => b c => c maplie => id sign => 0 weight => {0, 0} sourceLie => M targetLie => M |
i8 : useLie L o8 = L o8 : LieAlgebra |
i9 : peekLie derLie(f,{a b c,a b c,a b c}) o9 = 0 |