Practical shrinking by category

If one uses the approximation to the idealized operation SmallBasis (see §) to find small generating sets (rather than minimal generating sets) for II in §, then one obtains a SmallBasis operation which respects the order of the categories. This SmallBasis operation is used in the NCProcess commands. Since the SmallBasis command runs a GBA, SmallBasis requires an iteration parameter to indicate at most how many iterations the GBA will run for.

If one uses the approximation to the idealized operation SmallBasis ( §) to find small generating sets (rather than minimal generating sets) for III in §, then one obtains the ``Small Basis By Category'' operation. The ``Small Basis By Category'' uses two iteration parameters. The first iteration parameter specifies how many iterations should be used in SmallBasis for III item 1 (in §). The second iteration parameter specifies how many iterations should be used in SmallBasis for III items 2, 3 and 4 (in §).

If one uses the RemoveRedundant operation (see §) to find small generating sets (rather than minimal generating sets) for III in §, then one obtains the ``Remove Redundant By Category'' operation.