def dup_convert(f, K0, K1):
 if ((K0 is not None) and (K0 == K1)):
  return f
 else:
  return dup_strip([K1.convert(c, K0) for c in f])

def dup_convert ( f , K0 , K1 ) : if ( ( K0 is not None ) and ( K0 == K1 ) ) : return f else : return dup_strip ( [ K1 . convert ( c , K0 ) for c in f ] )
convert the ground domain of f from k0 to k1 .