ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Thu, 05 Dec 2019 20:04:01 +0100Creating an object of the Magmatic Algebras categoryhttps://ask.sagemath.org/question/48953/creating-an-object-of-the-magmatic-algebras-category/ 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!Thu, 05 Dec 2019 18:36:44 +0100https://ask.sagemath.org/question/48953/creating-an-object-of-the-magmatic-algebras-category/Answer by FrédéricC for <p>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!</p>
https://ask.sagemath.org/question/48953/creating-an-object-of-the-magmatic-algebras-category/?answer=48954#post-id-48954I suggest to take inspiration from
src/sage/combinat/free_prelie_algebra.py:class FreePreLieAlgebra(CombinatorialFreeModule):
which define another kind of non-associative algebra on a vector space spanned by trees.Thu, 05 Dec 2019 20:04:01 +0100https://ask.sagemath.org/question/48953/creating-an-object-of-the-magmatic-algebras-category/?answer=48954#post-id-48954