Thank you for your answer which was very useful. I have now another
problem.
In order to define the product of two primitive elements (P_l for l a
Lyndon word), I think I need the structure equivalent to that of the
CombinatorialFreeModule but in the case of monoids, something that others
On Sun, Jun 30, 2013 at 04:52:18PM -0700, Matthieu Deneufchâtel wrote:
I try to implement the Poincare-Birkhoff-Witt basis of the free algebra.
I defined the elements of this basis and a function which gives the
expansion of an element of the free algebra on this basis; actually, it
On Sun, Jun 30, 2013 at 04:52:18PM -0700, Matthieu Deneufchâtel wrote:
I try to implement the Poincare-Birkhoff-Witt basis of the free algebra.
I defined the elements of this basis and a function which gives the
expansion of an element of the free algebra on this basis; actually, it
I try to implement the Poincaré-Birkhoff-Witt basis of the free algebra.
I defined the elements of this basis and a function which gives the
expansion of an element of the free algebra on this basis; actually, it
returns a dictionary whose keys are monomials and whose values are the
