README of the Grobner Package for GAP 4
=======================================

Date:
=====
         12 May 2010

Version:
========

         1.0.1

Summary: 
======== 
We provide algorithms, written in the GAP 4 programming language, for
computing Grobner 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.


Installation:
=============
To install GBNP, just unpack GBNP-1.0.1.tar.gz in the pkg subdirectory
of your GAP installation (or in the pkg subdirectory of any other
GAP root directory) with the following command:

tar -xvzf GBNP-1.0.1.tar.gz

GBNP is then loaded with the GAP command

gap> LoadPackage( "GBNP" ); 

Acknowledgments:
================
 - The package is based on an earlier version by Rosane Ushirobira
 - The bulk of the package is written by Arjeh M. Cohen and Dié A.H. Gijsbers.
 - The theory is mainly taken from literature by Teo Mora and Edward L. Green.
 - From Version 0.8.3 on the package has three additional files (fincheck.g,
   tree.g graphs.g) with routines for finding the Hilbert function and testing
   finite-dimensionality when given a GB by Chris Krook, based on work by
   Victor Ufnarovski.
 - From Version 0.9 on the package is enriched with support for GAP fields and
   additional prefix rules for quotient modules as well as some speed
   improvements by Jan Willem Knopper. Knopper has also formatted the
   documentation in GAPDoc.
 - From Version 1.0 on the package is extended with NMO (for Noncommutative
   Monomial Orderings) by Randall Cone. This enables the GBNP user to choose a
   wider selection of monomial orderings than the standard one built into GBNP
   itself. The files of this extension can be found in doc/nmo,
   doc/examples/nmo, and lib/nmo. 

Authors: 
========
    Arjeh M. Cohen & Jan Willem Knopper

Address:
=======
         RIACA,   Dept. Math. and Comp. Sc., TU/e,
         POB 513, 5600 MB Eindhoven, the Netherlands
         email A.M.Cohen@tue.nl J.W.Knopper@tue.nl