Title: A canonical basis for ideals of polynomials in several variables and with integer coefficients