Dear Willem,
thank you very much for your answer.
I think I should be able to work with matrices whose entries are algebraic over
Q. As I see it (being not a mathematician and a GAP newbie), the problem then
reduces to create a number field and do my desired operations on it.
Best wishes,
Knut
Von: "[EMAIL PROTECTED]" <[EMAIL PROTECTED]>
An: [EMAIL PROTECTED]
CC: [EMAIL PROTECTED]
Gesendet: Mittwoch, den 26. März 2008, 09:47:45 Uhr
Betreff: Re: Complex numbers (again) and Lie closure
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
Lesen Sie Ihre E-Mails auf dem Handy.
www.yahoo.de/go
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
