introduce the `div' function to treat division in euclidean rings separately
copy some tests for multivariate polynomials