I have been working on free algebras with Sage for a while and I could add some features that might be useful. For example, I could implement the Poincaré-Birkhoff-Witt basis of a free algebra. To do so, I use the standard factorisation and the Lyndon factorisation of the word that corresponds to a monomial. Hence, I think that I should add a coercion of words into elements of the free algebra and conversely. I do not know if this is a good idea. where I have to put these "maps" (in the code of FreeAlgebraElement? of FreeMonoidElement? of FreeAlgebra?). If anyone can help me... Matthieu
-- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-combinat-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-combinat-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-combinat-devel. For more options, visit https://groups.google.com/groups/opt_out.
