GAP Package IBNP

The IBNP package provides methods for computing an involutive (Groebner) basis B for an ideal J over a polynomial ring R in both the commutative and noncommutative cases. Secondly, methods are provided to involutively reduce a given polynomial to its normal form in R/J.

The current version of this package is version 0.17, released on 2025-09-11. For more information, please refer to the package manual. There is also a README file.

License: GPL-3.0-or-later

Dependencies

This package requires GAP version >= 4.13.0

The following other GAP packages are needed:

GAPDoc >= 1.6.1
GBNP >= 1.1.0
utils >= 0.81

Authors

Gareth A. Evans, Christopher D. Wensley.

Citing

Please, cite this package as

[EW25] Evans, G. A. and Wensley, C. D., IBNP, Involutive Bases for Noncommutative Polynomials, Version 0.17 (2025)
(GAP package), https://gap-packages.github.io/ibnp/.

You can get more info by typing Cite("IBNP"); in the gap prompt.

Feedback

For bug reports, feature requests and suggestions, please use the issue tracker.