Package for simplifying polynomials on non-commutative algebra

[awaw...@gmail.com]

Hi fellow Gophers

I wonder if anyone knows of a package that simplifies polynomials on non-commutative algebra?

As a concrete example, let `a` and `b` satisfy the commutator [a, b] = ab-ba = 1,

I want to simplify (a+b)^4 into aabb + ab + ...

There are libraries such as NCAlgebra and Bergman that do this using Gröbner basis.

I wonder does anyone know of something similar in Go?

Thanks!