def dmp_convert(f, u, K0, K1):
 if (not u):
  return dup_convert(f, K0, K1)
 if ((K0 is not None) and (K0 == K1)):
  return f
 v = (u - 1)
 return dmp_strip([dmp_convert(c, v, K0, K1) for c in f], u)

def dmp_convert ( f , u , K0 , K1 ) : if ( not u ) : return dup_convert ( f , K0 , K1 ) if ( ( K0 is not None ) and ( K0 == K1 ) ) : return f v = ( u - 1 ) return dmp_strip ( [ dmp_convert ( c , v , K0 , K1 ) for c in f ] , u )
convert the ground domain of f from k0 to k1 .