next up previous contents
Next: The ShrinkBasis Operation Up: The SmallBasis Operation Previous: The SmallBasis Operation

Approximation of the SmallBasis operation

Our approach to approximating the SmallBasis operation is to replace the test tex2html_wrap_inline7136 with the process of running the GBA with tex2html_wrap_inline7150 and some monomial order as input for a small number of iterations and testing if the normal form of tex2html_wrap_inline4786 is zero with respect to the output of the GBA.

As a final note, this approximation of SmallBasis has the property that: If tex2html_wrap_inline7154 , then tex2html_wrap_inline7136 .



Helton
Wed Jul 3 10:27:42 PDT 1996