How to implement the free nonassociative algebra?
How can I work with nonassociative and noncommutative polynomials over a field (in some prefixed number of variables)? The function FreeAlgebra produces a free associative algebra.
add a comment