The IBNP package provides methods for computing an involutive (Gröbner)
basis B for an ideal J over a polynomial ring R in both the commutative
and noncommutative cases. Methods are also provided to involutively reduce
a given polynomial to its normal form in R/J.
Copyright 2024-2025 by Gareth Evans and Chris Wensley
## Installation
* unpack `ibnp-<version_number>.tar.gz` in the `pkg` subdirectory of the GAP root directory.
* From within GAP load the package with:
gap> LoadPackage("ibnp");
true
* The documentation is in the `doc` subdirectory.
* To run the test file read `testall.g` from the `ibnp/tst/` directory.
Contact
-------
If you have a question relating to ibnp, encounter any problems, or have a suggestion for extending the package in any way, please
* email: cdwensley.maths@btinternet.com
* or report an issue at: https://github.com/gap-packages/ibnp/issues/new
[ Dauer der Verarbeitung: 0.23 Sekunden
(vorverarbeitet)
]