Creating an object of the Magmatic Algebras category

asked 2019-12-05 11:36:44 -0600

Jose Brox gravatar image

For the moment being, the category of Sage for nonassociative algebras is called MagmaticAlgebras. I want to know which methods are available in this category, and specifically how to create an object (i.e., a nonassociative algebra). In particular, what I want is to get the free nonassociative algebra in four variables (a,b,c,d) over the rational field. The MagmaticAlgebras reference page is of no use to me. Thank you!

edit retag flag offensive close merge delete


I suggest to take inspiration from

src/sage/combinat/ FreePreLieAlgebra(CombinatorialFreeModule):

which define another kind of non-associative algebra on a vector space spanned by trees.

FrédéricC gravatar imageFrédéricC ( 2019-12-05 13:04:01 -0600 )edit