next up previous contents
Next: NCProcess1 command Up: Theory and more details Previous: Monomial Orders vs. Run

Details of NCProcess

The following section gives psuedocode for the NCProcess1 and NCProcess2 commands.

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