Constructing an algebra from combinatorial objects
I want to construct an algebra by first constructing a free module with basis a set of combinatorial objects (permutations, ordered set compositions, parking functions, whatever...) and then specifying a product. How do I do that? The CombinatorialFreeModule class is not sufficient. There used to be a CombintorialFreeAlgebra class but that may be long deprecated.
What do you mean under "not sufficient"? Please provide a code illustrating the issue.