GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP package GBNP

computing Gröbner bases of noncommutative polynomials

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[.tar.gz  (1.5MB)]   [.tar.bz2  (1.4MB)]   [-win.zip  (1.7MB)]   [.zip  (1.7MB)]  

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