Here is an example of the use of AlgebraGivenByStructuralConstants http://axiom-wiki.newsynthesis.org/SandBoxObserverAsIdempotent2
that might of use to you even though it does not specifically concern Lie algebras. I am sorry that the example does not contain much explanation but I am willing to answer questions and will improve this when I get a chance. Since I am interested in Frobenius algebra I would be especially interested in FriCAS extensions relating to coalgebra and would be glad to participate in any related project. For example http://axiom-wiki.newsynthesis.org/SandBoxSedenionAlgebraIsFrobeniusInJustOneWay Bill Page. On 20 April 2013 11:11, Serge D. Mechveliani <[email protected]> wrote: > To my request > Prof. Dr. Johannes Grabmeier wrote on Apr 20, 2013: > > > 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. > > [..] > > > L. Lambe has implemented the FreeNilpotentLieAlgebra according to Hall > > by constructing Hall bases. > > [..] > > > 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. > > > > Thank you very much > (I was sure that Axiom has almost everything). > I am going > 1) to consult about what precisely is needed > (and if agreed), > 2) to recall the FriCAS usage, to find the needed packages in FriCAS, > 3) to introduce this colleage to FriCAS, > 4) and then to see whether it is needed anything else. > > Thanks again, > > ------ > 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.
