Compute the ideal quotient I:J in K[x1,...,x_n]

Class:
Algorithmic Task