Next: Idealized shrinking by category
Up: Finding a small generating
Previous: The RemoveRedundant operation
Each of the above three operations,
SmallBasis, ShrinkBasis and RemoveRedundant, is used
a subset of the output of the GBA.
While the output of these operations
does generate the starting polynomial equations
of the GBA run, they
might not contain some particular
polynomial equation which the ``user feels is valuable'' because
a ``shrinking'' operation removed it.
For example, it is possible that any of the above three
operations introduced in this section will eliminate
an entire category.
Thus we need variations on these operations which
reduce the chance of eliminating interesting polynomial equations.
Wed Jul 3 10:27:42 PDT 1996