def dmp_exquo_ground(f, c, u, K):
 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]

def dmp_exquo_ground ( f , c , u , K ) : 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 ]
exact quotient by a constant in k[x] .