Eliminate variables via projection and compute the elimination ideal I_m = I ∩ K[x_{m+1},...,x_n]

Original label: Eliminate variables via projection and compute the elimination ideal I_m = I ∩ K[x_{m+1},...,x_n]