Next: NCProcess2 command Up: Details of NCProcess Previous: Details of NCProcess

## NCProcess1 command

The input to NCProcess1 is a set of starting equations start, a number of iterations n for the GBA and a collection of user selects.

The steps taken by NCProcess1 are:

I. Preparation for the main call to NCMakeGB
(1) Run the GBA on the equations in start which do not involve any unknown variables together with the user selects for at most n+1 iterations. Let A denote this partial GB.
(2) Shrink A using the RemoveRedundantProtected operation. Call this shrunken set B.

II. The main call to NCMakeGB
(3) Run NCMakeGB with the input B together with start for at most n iterations. In this NCMakeGB run, S-polynomials between two elements of the partial GB of A are not computed. Let C denote this partial GB.

III. Shrinking the partial GB
(4) Shrink C using the RemoveRedundantProtected operation. Call this shrunken set D.
(5) Let be the set of polynomials in D which do not involve any unknowns. Let . Let be a set of the normal forms of the elements of with respect to . Let .
(6) Let F be the union of E and the user selects. Let G be a reduced form of F (see the beginning of §).
(7) Shrink G by SmallBasisByCategory using iteration parameters n+1 and n+2 (see §). Call this shrunken set H.

IV. Attempt Decompose
(8) Construct the collected forms (as described in §) of the polynomials in H.

V. Displaying the results
(9) For elements of H, if the polynomial's only collected form is trivial (see discussion following Definition §), then display the rule corresponding to the polynomial, otherwise display the collected form of the polynomial. This is the step in which the ``spreadsheets'' of the results of this paper are constructed.

VI. Return a three tuple to the user for future use
(10) Return the triple to the user where A is from item 1 above, is the set of polynomials in H which are digested and is the set of polynomials in H which are undigested.

Next: NCProcess2 command Up: Details of NCProcess Previous: Details of NCProcess

Helton
Wed Jul 3 10:27:42 PDT 1996