This psuedocode uses the
function NCMakeGB which implements a Gröbner Basis
Algorithm which returns partial GB's which
are reduced. In particular, running the function
NCMakeGB for 0 iterations on a set *F*
does not compute
any S-polynomials, but does produce a set *G* which
is reduced (see discussion following Lemma
12.2). *G* will be
called a reduced form of *F*.

Wed Jul 3 10:27:42 PDT 1996