'Computes polynomial exact quotient of ``f`` and ``g``.'

def exquo(f, g):

    (lev, dom, per, F, G) = f.unify(g)
    res = per(dmp_exquo(F, G, lev, dom))
    if (f.ring and (res not in f.ring)):
        from sympy.polys.polyerrors import ExactQuotientFailed
        raise ExactQuotientFailed(f, g, f.ring)
    return res
