def dmp_div(f, g, u, K):
 if K.has_Field:
  return dmp_ff_div(f, g, u, K)
 else:
  return dmp_rr_div(f, g, u, K)

def dmp_div ( f , g , u , K ) : if K . has_Field : return dmp_ff_div ( f , g , u , K ) else : return dmp_rr_div ( f , g , u , K )
polynomial division with remainder in k[x] .