(f, c, K)
return [ K.exquo(cf, c) for cf in f ]
Exact quotient by a constant in ``K[x]``.

    Examples
    ========

    >>> from sympy.polys import ring, QQ
    >>> R, x = ring("x", QQ)

    >>> R.dup_exquo_ground(x**2 + 2, QQ(2))
    1/2*x**2 + 1
Exact quotient by a constant in ``K[x]``.
Exact quotient by a constant in K [ x ] .
def dup_exquo_ground(f, c, K):
    """
    Exact quotient by a constant in ``K[x]``.

    Examples
    ========

    >>> from sympy.polys import ring, QQ
    >>> R, x = ring("x", QQ)

    >>> R.dup_exquo_ground(x**2 + 2, QQ(2))
    1/2*x**2 + 1

    """
    if not c:
        raise ZeroDivisionError('polynomial division')
    if not f:
        return f

    return [ K.exquo(cf, c) for cf in f ]
def dup_exquo_ground ( f , c , K ) : if not c : raise ZeroDivisionError ( 'polynomial division' ) if not f : return f return [ K . exquo ( cf , c ) for cf in f ]