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.