'Quotient of ``f`` by a an element of the ground domain.
Examples
>>> from sympy import Poly
>>> from sympy.abc import x
>>> Poly(2*x + 4).quo_ground(2)
Poly(x + 2, x, domain=\'ZZ\')
>>> Poly(2*x + 3).quo_ground(2)
Poly(x + 1, x, domain=\'ZZ\')'

def quo_ground(f, coeff):

    if hasattr(f.rep, 'quo_ground'):
        result = f.rep.quo_ground(coeff)
    else:
        raise OperationNotSupported(f, 'quo_ground')
    return f.per(result)
