Reduced Gröbner basis