GAP package GBNP

computing Gröbner bases of noncommutative polynomials

[WWW homepage]

Authors

A.M. Cohen, J.W. Knopper

Short Description

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.

Version

Current version number 1.0.1   (Released 12/05/2010)

Status

accepted    (communicated by Alexander Hulpke (Fort Collins, CO), accepted 05/2010)

Dependencies

GAP version: >=4.4

Online documentation

GBNP: [ HTML] version   [ PDF] version  

Download

[README]    GBNP-1.0.1[.zoo  (1.7MB)]   [.tar.gz  (1.5MB)]   [-win.zip  (1.7MB)]   [.tar.bz2  (1.4MB)]  

Contact

A.M. Cohen
Address:
RIACA
Dept. Math. and Comp. Sc.
Eindhoven University of Technology
PO Box 513
5600 MB Eindhoven
The Netherlands
WWW: http://www.win.tue.nl/~amc
E-mail: A.M.Cohen@tue.nl

J.W. Knopper
Address:
RIACA
Dept. Math. and Comp. Sc.
Eindhoven University of Technology
PO Box 513
5600 MB Eindhoven
The Netherlands
E-mail: J.W.Knopper@tue.nl