Revision history [back]

When you initialize a CombinatorialFreeModule, you can specify a category, and if you specify a category of algebras, then defining a method product_on_basis will give you an algebra structure. Some examples in the Sage library:

• Partition algebras

• Shuffle algebras

• Steenrod algebra

Indeed, many of the algebras in Sage inherit from CombinatorialFreeModule.