Divide a polynomial by a list of polynomials in K[x1,...,xn] and compute a remainder (normal form)

Original label: Divide a polynomial by a list of polynomials in K[x1,...,xn] and compute a remainder (normal form)