def exquo(self, a, b):
        if a % b:
            raise ExactQuotientFailed(a, b, self)
        else:
            return a // b
Exact quotient of ``a`` and ``b``, implies ``__floordiv__``.
dataset/ETHPy150Open sympy/sympy/sympy/polys/domains/ring.py/Ring.exquo