code: def dmp_trunc(f, p, u, K):
      """
      Reduce a ``K[X]`` polynomial modulo a polynomial ``p`` in ``K[Y]``.
  
      Examples
      ========
  
      >>> from sympy.polys import ring, ZZ
      >>> R, x,y = ring("x,y", ZZ)
  
      >>> f = 3*x**2*y + 8*x**2 + 5*x*y + 6*x + 2*y + 3
      >>> g = (y - 1).drop(x)
  
      >>> R.dmp_trunc(f, g)
      11*x**2 + 11*x + 5
  
      """
      return dmp_strip([dmp_rem(c, p, u - 1, K) for c in f], u)
  
imports: from sympy.polys.densearith import dup_add_term, dmp_add_term, dup_lshift, dup_add, dmp_add, dup_sub, dmp_sub, dup_mul, dmp_mul, dup_sqr, dup_div, dup_rem, dmp_rem, dmp_expand, dup_mul_ground, dmp_mul_ground, dup_quo_ground, dmp_quo_ground, dup_exquo_ground, dmp_exquo_ground
  from sympy.polys.densebasic import dup_strip, dmp_strip, dup_convert, dmp_convert, dup_degree, dmp_degree, dmp_to_dict, dmp_from_dict, dup_LC, dmp_LC, dmp_ground_LC, dup_TC, dmp_TC, dmp_zero, dmp_ground, dmp_zero_p, dup_to_raw_dict, dup_from_raw_dict, dmp_zeros
  from sympy.polys.polyerrors import MultivariatePolynomialError, DomainError
  from sympy.utilities import variations
  from math import ceil, log
label_desc: Use image node_id 18 for calling a global function with example usage: dmp_trunc(f, p, u, K) and returns: dmp_strip