The first list in the output consists of the first element in $x$ multiplied by all elements in $y$.
i1 : K=lieAlgebra({a,b,c},Signs=>1)/{a a,b b- 2 c a}
o1 = K
o1 : LieAlgebra
|
i2 : E=extAlgebra(3,K) o2 = E o2 : ExtAlgebra |
i3 : dims(3,E)
o3 = | 3 0 0 |
| 0 2 0 |
| 0 0 1 |
3 3
o3 : Matrix ZZ <--- ZZ
|
i4 : listMultiply(basis(1,E),basis(2,E))
o4 = {{0, ext_5}, {0, 0}, {0, 0}}
o4 : List
|
i5 : basis(2,K)
o5 = {(b a), (c a), (c b), (c c)}
o5 : List
|
i6 : listMultiply(basis(1,K),oo)
o6 = {{0, 0, - (c b a), - 2 (c c a)}, {0, 0, - (c c a), - 2 (c c b)}, {(c b a), (c c a), (c c b), 0}}
o6 : List
|
The object listMultiply is a function closure.