Gröbner bases for operads

[nivanych]

Просматривая hackage, наткнулся на очень интересную вещь
Groebner basis computation for Operads
Основана на статье
Gröbner bases for operads
Признаться честно, плоховато понимаю, зачем это нужно.
Но это очень интересно ;-)