def dmp_include(f, J, u, K):
 if (not J):
  return f
 (F, f) = (dmp_to_dict(f, u), {})
 for (monom, coeff) in F.items():
  monom = list(monom)
  for j in J:
   monom.insert(j, 0)
  f[tuple(monom)] = coeff
 u += len(J)
 return dmp_from_dict(f, u, K)

def dmp_include ( f , J , u , K ) : if ( not J ) : return f ( F , f ) = ( dmp_to_dict ( f , u ) , { } ) for ( monom , coeff ) in F . items ( ) : monom = list ( monom ) for j in J : monom . insert ( j , 0 ) f [ tuple ( monom ) ] = coeff u += len ( J ) return dmp_from_dict ( f , u , K )
include useless levels in f .