Dear Knut,
You asked the following:
What I want to do with GAP is the following: Given a set of complex square matrices, find out if they form a vectorspace under repeated commutation, i.e. a > Lie algebra. In other words, do these given matrices generate a Lie algebra under repeated commutation?
The problem here is that you need some exact representation of the complex numbers that you use. (Just a floating point representation does not work.) If the entries of your matrices are algebraic over Q, then you can represent them as entries in a number field. Otherwise I don't see how your problem could be solved. Best wishes, Willem de Graaf _______________________________________________ Forum mailing list [email protected] http://mail.gap-system.org/mailman/listinfo/forum
