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.
| Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
|---|---|---|---|---|---|
| 1.0.3-bp153.1.12 info | GA Release | 2021-02-26 | 15 SP3 |
|
|
| 1.0.3-bp152.3.13 info | GA Release | 2020-04-16 | 15 SP2 |
|
|
| 1.0.3-bp151.2.10 info | GA Release | 2019-05-18 | 15 SP1 |
|
|
| 1.0.3-bp150.1.3 info | GA Release | 2018-07-30 | 15 |
|
|