AXIOM/FriCAS has a whole bunch of very general algebras (not -necessarily associative) (implemented long ago by R. WIsbauer and myself), in particular as Ralf Hemmecke mentioned providing the most general situation of arbitrary structure constants. In this setting there also AssociatedLieAlgebras (by defining the bracket: [a,b] := a*b-b*a L. Lambe has implemented the FreeNilpotentLieAlgebra according to Hall by constructing Hall bases.
Somewhere there are examples of genetic algebras using this settings (I guess in hyperdoc) Seemingly not related (should be synchronized) there are implementations by M. Petitot of the Free Lie Algebras by C. Reutenauer (lyndon words). Please check, whether this is useful for your colleague. I am interested in hearing whether this fits or what exactly is required. Perhaps it is not much efford to provide settings for these applications. Mit freundlichen Grüßen Johannes Grabmeier Prof. Dr. Johannes Grabmeier Köckstraße 1, D-94469 Deggendorf Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756 Tel. +49-(0)-991-3615-100 (d), Fax: +49-(0)-3224-192688 Am 20.04.2013 um 09:54 schrieb Serge D. Mechveliani: > People, > my colleage searches for a free CA library which operates with > Lie algebras. > Has FriCAS such? > > 1. Let a Lie algebra be given by several generators > (say, a, b, c, d, e), and several relations between them > (like this: [b, [a, c]] - 2*[c, [d, [b, e]]] = 0). > And one needs to build a matrix representation for this algebra, > and to compute things in it. > 2. It is also desirable to build a polynomial vector fields that > represent this algebra. > > Has FriCAS something for this? > > Thanks, > > ------ > Sergei > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/fricas-devel?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
