fixed method for divisor: HasRelativeIndeterminatesOfPolynomialRing