make type consistent with header

Author: vneiger

src/usolve/evaluate.c

@@ -306,16 +306,15 @@ int mpz_scalar_product_interval(mpz_t *up, const long int deg,
 /* up( [ xdo[1], xup[1] ] ) */
 /* xup[i] and xdo[i] are given mod 2^corr when i%b == 0 */
 
-int lazy_mpz_poly_eval_interval(mpz_t *up, const unsigned long int deg,
+int lazy_mpz_poly_eval_interval(mpz_t *up, const long int deg,
                                 const long k,
                                 mpz_t *xdo, mpz_t *xup,
                                 const long prec, const long corr,
                                 const long b,
                                 mpz_t tmp,
                                 mpz_t val_do, mpz_t val_up){
 
-  /* comparison to be checked; this was deg == -1 but deg is unsigned */
-  if(deg==(unsigned long int)(-1)){
+  if(deg==-1){
     mpz_set_ui(val_up, 0);
     mpz_set_ui(val_do, 0);
     return 0;
@@ -328,8 +327,8 @@ int lazy_mpz_poly_eval_interval(mpz_t *up, const unsigned long int deg,
 
   mpz_set_ui(val_up, 0);
   mpz_set_ui(val_do, 0);
-  const long t = (deg) / b;
-  long rd = (deg) % b;
+  const long t = deg / b;
+  long rd = deg % b;
   mpz_t fdo, fup;
   mpz_init(fdo);
   mpz_init(fup);