Dear Jianrong,
GAP 4.6.2 which was just announced in the GAP Forum, has a new attribute
'UnderlyingRingElement'. If x and y are Lie objects, then the 'usual'
multiplication may be computed with
UnderlyingRingElement(x)*UnderlyingRingElement(y)
(note that the result will NOT be a Lie object).
Dear Forum,
I have a Lie algebra A whose basis is given by matrices explicitly. When I
create the algebra A, the matrices in the basis of A are denoted by
LieObject... Let x, y in the basis of A. It seems that x*y is the same as [x,
y]. How could I compute the usual multiplication of x and y? T