A Gröbner basis criterion for birational equivalence of affine varieties Intersections of \(\mathbb{Q}\)-divisors on Kontsevich's moduli space \(\overline M_{0,n}(\mathbb P^r,d)\) and enumerative geometry 