Next: The ShrinkBasis Operation
Up: The SmallBasis Operation
Previous: The SmallBasis Operation
Our approach to approximating the SmallBasis operation
is to replace the test
with the process of
running the GBA with
and some monomial order as input
for a small number of iterations and testing if the normal form
of is zero with respect to the output of the GBA.
As a final note, this approximation of SmallBasis has
the property that: If
, then
.
Helton
Wed Jul 3 10:27:42 PDT 1996