divisorLie -- computes a basis for the divisor subspace

i1 : L = lieAlgebra({a,b,c},{})

o1 = L

o1 : LieAlgebra

i2 : computeLie 3

o2 = {3, 3, 8}

o2 : List

i3 : basisLie 2

o3 = {[b, a], [c, a], [c, b]}

o3 : List

i4 : basisLie 3

o4 = {[a, b, a], [b, b, a], [c, b, a], [a, c, a], [b, c, a], [c, c, a], [b,
     ------------------------------------------------------------------------
     c, b], [c, c, b]}

o4 : List

i5 : g=defLie(mb_{3,0}+mb_{3,1})

o5 = {{1, 1}, {[a, b, a], [b, b, a]}}

o5 : List

i6 : divisorLie(3,2,{g,[c,a,b], [a,a,c]},{[a,b]})

o6 = {{{1, 1}, {[a], [b]}}, [c]}

o6 : List

i7 : indexFormLie oo

o7 = {mb       + mb      , mb      }
        {1, 0}     {1, 1}    {1, 2}

o7 : List