Quotmod for multivariate polynomials implemented - appears to be functional