gap-gbnp

GAP: computing Gröbner bases of noncommutative polynomials

This package enhances GAP4 to support computing Gröbner bases of non-commutative polynomials with coefficients from a field implemented in GAP, and some variations, such as a weighted and truncated version and a tracing facility. The word algorithm is interpreted loosely: in general, one cannot expect such an algorithm to terminate, as it would imply solvability of the word problem for finitely presented (semi)groups.

cloud_download Downloads