Gröbner basis conversion using truncated polynomials