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.

• Idealized shrinking by category
• Practical shrinking by category