next up previous contents
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 tex2html_wrap_inline7752 be the set of polynomials in D which do not involve any unknowns. Let tex2html_wrap_inline7756 . Let tex2html_wrap_inline7758 be a set of the normal forms of the elements of tex2html_wrap_inline7760 with respect to tex2html_wrap_inline7752 . Let tex2html_wrap_inline7764 .
(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 tex2html_wrap_inline7792 to the user where A is from item 1 above, tex2html_wrap_inline7796 is the set of polynomials in H which are digested and tex2html_wrap_inline7800 is the set of polynomials in H which are undigested.


next up previous contents
Next: NCProcess2 command Up: Details of NCProcess Previous: Details of NCProcess

Helton
Wed Jul 3 10:27:42 PDT 1996