On 11/22/10, Leo Butler <l.butler at ed.ac.uk> wrote:
> A finite
> dimensional Lie algebra L is a class in this sense, with a number of
> methods:
> -a method to determine if x is a basis element (*);
> -a method that computes the commutator of two basis elements;
> -a method that determines what a scalar is (**);
>
> One can build on top of this. In particular, one would like to add
> -a method that computes the commutator of two elements (linear
> combinations of basis elements).
>
> And, then add the tensor algebra of L, and that of L^*, and extend
> the commutator. This can be done with rules, but I think it best to
> avoid tellsimp and friends (as your example does).
OK. Can you show how you would like to work with such objects?
I'd like to see what you would consider a convenient, natural
notation for working with Lie groups. What are some operations
you'd like to represent?
I gather that, among other things, you'd like to have two or
more Lie groups to work with at the same time.
What is a notation that can distinguish them?
best
Robert Dodier