We present f4ncgb, a new open-source C++ library for Gröbner basis computations in free algebras, which transfers recent advancements in commutative Gröbner basis software to the noncommutative setting. As our experiments show, f4ncgb establishes a new state-of-the-art for noncommutative Gröbner basis computations. We also discuss implementation details and design choices.
翻译:本文介绍f4ncgb,一个用于自由代数中Gröbner基计算的新型开源C++库。该库将交换代数Gröbner基软件的最新进展移植到非交换代数场景。实验表明,f4ncgb为非交换Gröbner基计算确立了新的技术标杆。文中同时讨论了具体实现细节与设计决策。