def __div__(self, o):
        if not isinstance(o, self.__class__):
            try:
                o = self.ring.convert(o)
            except (__HOLE__, CoercionFailed):
                return NotImplemented
        return self.ring.revert(o)*self
dataset/ETHPy150Open sympy/sympy/sympy/polys/domains/quotientring.py/QuotientRingElement.__div__