Does anyone on this list know of a facility for computation in a
finite-dimensional Lie algebra, i.e. a subalgebra of gl(n,C)? Does gap
have such capabilities? (To start with, how about finding (a basis for)
the solvable radical of L?) Thanks in advance for your kind assistance!
Yours truly, Mike Falk.