Applying Buchberger's criteria on Montes's DisPGB algorithm (Q2445074)

In this short note (out of ten pages, the first three are the introduction and the last two are bibliography) the authors present an efficiency improvement to the DisPGB algorithm by \textit{A. Montes} [J. Symb. Comput. 33, No. 2, 183--208 (2002; Zbl 1068.13016)]. The improvement consists on adapting some of the parts of Montes' algorithm to apply Buchberger's two criteria (Lemma 1.1 and Lemma 1.4); the new algorithms are made explicit, but no comparison between the original and the improved DisPGB is given.