On Mon, 22 Nov 2010, Robert Dodier wrote:
< 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?
See http://www.math.utexas.edu/pipermail/maxima/2010/023257.html
The code has been written, but I would like to use a function to
implement multilinearity over some basis. I need to look at
Barton's code, because I recall that it ought to be able to do
this with some small tweaks. At the moment, I am using a kludge.
Leo
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.