code: def dmp_exquo_ground(f, c, u, K):
      """
      Exact quotient by a constant in ``K[X]``.
  
      Examples
      ========
  
      >>> from sympy.polys import ring, QQ
      >>> R, x,y = ring("x,y", QQ)
  
      >>> R.dmp_exquo_ground(x**2*y + 2*x, QQ(2))
      1/2*x**2*y + x
  
      """
      if not u:
          return dup_exquo_ground(f, c, K)
  
      v = u - 1
  
      return [dmp_exquo_ground(cf, c, v, K) for cf in f]
  
imports: from sympy.polys.densebasic import dup_slice, dup_LC, dmp_LC, dup_degree, dmp_degree, dup_strip, dmp_strip, dmp_zero_p, dmp_zero, dmp_one_p, dmp_one, dmp_ground, dmp_zeros
  from sympy.polys.polyerrors import ExactQuotientFailed, PolynomialDivisionFailed
label_desc: Use image node_id 16 for calling a global function with example usage: dmp_exquo_ground(f, c, u, K) and returns: unknown, dup_exquo_ground