Next: Speeding up runs
Up: Finding a small generating
Previous: Practical shrinking by category
The command RemoveRedundantProtected combines the results
of three Remove Redundant runs.
is used to prevent equations not involving unknowns
from being removed by polynomials which involve unknowns and
to prevent digested polynomials from being removed by
polynomials which are undigested.
The first step is to compute
RemoveRedundant on only the polynomials which do
not involve knowns.
The second step is to compute
RemoveRedundant on the polynomials which are digested.
The third step is to compute
RemoveRedundant on all of the polynomials. The result
of using RemoveRedundantProtected is
the union of the results of the three RemoveRedundant runs.
Wed Jul 3 10:27:42 PDT 1996