Elimination of variables using Gröbner bases with an elimination order to compute Im = I ∩ K[x_{m+1},...,x_n]

Class:
Algorithm