Improved Buchberger's algorithm

We propose an improved Buchberger's algorithm that jointly uses known and new criteria of elimination of critical pairs. New criteria are based on construction of a minimal set of generators of the module generated by the critical syzygies.