To implement this we have to rewrite the normal form procedure in the following manner:
INPUT:
generators of the given ideal, f a spolynomial
OUTPUT: the normal form of f with respect to F
In the case of global homogeneous computations it easy to organize the algorithm in such a way that no generator which occur in a direct reduction was used before. The simple solution is to compute degree by degree.
For local computations a more sophisticated strategy is necassary. One computes again degree by degree with respect to the leading terms. But, whenever the degree changes, one has to use a lazy strategy, which means to continue with the other pairs of same degree first. Usually direct reductions are to prefer for any other kind of reductions, even with bad eca1are preferred for any other kind of reductions, even with bad ecart. Our experiences show that it is advisable to keep back multiples of elements with good ecart if they are destroyed by direct reductions.
The optimal effect of the direct reductions may be obtained applying a technique of R. LaScala [LS], which uses the fact that a syzygy produced as reduction of an spolynomial and the reductum (if it is not 0) not survives in the minimized complex. Hence, there is no need to equip this syzygy with a component in the next computation.