Implementing Gröbner bases for operads
arXiv:0909.4950
Abstract
We present an implementation of the algorithm for computing Groebner bases for operads due to the first author and A. Khoroshkin. We discuss the actual algorithms, the choices made for the implementation platform and the data representation, and strengths and weaknesses of our approach.
18 pages, 6 figures