next up previous contents
Next: Idealized shrinking by category Up: Finding a small generating Previous: The RemoveRedundant operation

Respect for categories

Each of the above three operations, SmallBasis, ShrinkBasis and RemoveRedundant, is used to create 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