¹⁵But different to the currently distibuted groebnerpackage in REDUCE. Note that the computations in [Grä94a] were done before these changes.