def dmp_true_LT(f, u, K):
 monom = []
 while u:
  monom.append((len(f) - 1))
  (f, u) = (f[0], (u - 1))
 if (not f):
  monom.append(0)
 else:
  monom.append((len(f) - 1))
 return (tuple(monom), dup_LC(f, K))

def dmp_true_LT ( f , u , K ) : monom = [ ] while u : monom . append ( ( len ( f ) - 1 ) ) ( f , u ) = ( f [ 0 ] , ( u - 1 ) ) if ( not f ) : monom . append ( 0 ) else : monom . append ( ( len ( f ) - 1 ) ) return ( tuple ( monom ) , dup_LC ( f , K ) )
return the leading term c * x_1**n_1 .