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.

Wed Jul 3 10:27:42 PDT 1996