Redirecting to Buchberger's algorithm