This psuedocode uses the function NCMakeGB which implements a Gröbner Basis Algorithm which returns partial GB's which are reduced. In particular, running the function NCMakeGB for 0 iterations on a set F does not compute any S-polynomials, but does produce a set G which is reduced (see discussion following Lemma 12.2). G will be called a reduced form of F.