The GBNP package provides algorithms for computing Grobner bases of noncommutative polynomials with coefficients from a field implemented in GAP and with respect to the “total degree first then lexicographical” ordering. Further provided are some variations, such as a weighted and truncated version and a tracing facility. The word “algorithm” is to be interpreted loosely here: in general one cannot expect such an algorithm to terminate, as it would imply solvability of the word problem for finitely presented (semi)groups.
This package requires GAP version >=4.8
The following other GAP packages are needed:
Please, cite this package as
[CKT16] Cohen, A., Knopper, J. and GAP Team, T.,
GBNP, computing Gröbner bases of noncommutative polynomials,
(Refereed GAP package), https://gap-packages.github.io/gbnp/.
You can get more info by typing
Cite("GBNP"); in the gap prompt.
For bug reports, feature requests and suggestions, please use the issue tracker.