code: def dmp_exquo(f, g, u, K):
      """
      Returns polynomial quotient in ``K[X]``.
  
      Examples
      ========
  
      >>> from sympy.polys import ring, ZZ
      >>> R, x,y = ring("x,y", ZZ)
  
      >>> f = x**2 + x*y
      >>> g = x + y
      >>> h = 2*x + 2
  
      >>> R.dmp_exquo(f, g)
      x
  
      >>> R.dmp_exquo(f, h)
      Traceback (most recent call last):
      ...
      ExactQuotientFailed: [[2], [2]] does not divide [[1], [1, 0], []]
  
      """
      q, r = dmp_div(f, g, u, K)
  
      if dmp_zero_p(r, u):
          return q
      else:
          raise ExactQuotientFailed(f, g)
  
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 56 for calling a global function with example usage: dmp_exquo(f, g, u, K) and returns: q