Gröbner bases for non-homogeneous ideals in