[BACK]Return to nd.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2018 / engine

Diff for /OpenXM_contrib2/asir2018/engine/nd.c between version 1.10 and 1.46

version 1.10, 2018/10/19 23:27:38 version 1.46, 2021/01/25 00:39:52
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.9 2018/10/02 09:06:15 noro Exp $ */  /* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.45 2021/01/11 08:37:44 noro Exp $ */
   
 #include "nd.h"  #include "nd.h"
   
 struct oEGT eg_search;  void print_siglist(NODE l);
   
   int Nnd_add,Nf4_red,NcriB,NcriMF,Ncri2,Npairs;
   struct oEGT eg_search,f4_symb,f4_conv,f4_elim1,f4_elim2;
   
 int diag_period = 6;  int diag_period = 6;
 int weight_check = 1;  int weight_check = 1;
 int (*ndl_compare_function)(UINT *a1,UINT *a2);  int (*ndl_compare_function)(UINT *a1,UINT *a2);
   /* for general module order */
   int (*ndl_base_compare_function)(UINT *a1,UINT *a2);
   int (*dl_base_compare_function)(int nv,DL a,DL b);
   int nd_base_ordtype;
 int nd_dcomp;  int nd_dcomp;
 int nd_rref2;  int nd_rref2;
 NM _nm_free_list;  NM _nm_free_list;
 ND _nd_free_list;  ND _nd_free_list;
 ND_pairs _ndp_free_list;  ND_pairs _ndp_free_list;
 NODE nd_hcf;  NODE nd_hcf;
   int Nsyz,Nsamesig;
   
 Obj nd_top_weight;  Obj nd_top_weight;
   
Line 44  static NDV *nd_ps_trace;
Line 52  static NDV *nd_ps_trace;
 static NDV *nd_ps_sym;  static NDV *nd_ps_sym;
 static NDV *nd_ps_trace_sym;  static NDV *nd_ps_trace_sym;
 static RHist *nd_psh;  static RHist *nd_psh;
 static int nd_psn,nd_pslen;  static int nd_psn,nd_pslen,nd_nbase;
 static RHist *nd_red;  static RHist *nd_red;
 static int *nd_work_vector;  static int *nd_work_vector;
 static int **nd_matrix;  static int **nd_matrix;
Line 54  static int nd_worb_len;
Line 62  static int nd_worb_len;
 static int nd_found,nd_create,nd_notfirst;  static int nd_found,nd_create,nd_notfirst;
 static int nmv_adv;  static int nmv_adv;
 static int nd_demand;  static int nd_demand;
 static int nd_module,nd_ispot,nd_mpos,nd_pot_nelim;  static int nd_module,nd_module_ordtype,nd_mpos,nd_pot_nelim;
 static int nd_module_rank,nd_poly_weight_len;  static int nd_module_rank,nd_poly_weight_len;
 static int *nd_poly_weight,*nd_module_weight;  static int *nd_poly_weight,*nd_module_weight;
 static NODE nd_tracelist;  static NODE nd_tracelist;
 static NODE nd_alltracelist;  static NODE nd_alltracelist;
 static int nd_gentrace,nd_gensyz,nd_nora,nd_newelim,nd_intersect,nd_lf;  static int nd_gentrace,nd_gensyz,nd_nora,nd_newelim,nd_intersect,nd_lf,nd_norb;
   static int nd_f4_td,nd_sba_f4step,nd_sba_pot,nd_sba_largelcm,nd_sba_dontsort,nd_sba_redundant_check;
   static int nd_top,nd_sba_syz,nd_sba_inputisgb;
 static int *nd_gbblock;  static int *nd_gbblock;
 static NODE nd_nzlist,nd_check_splist;  static NODE nd_nzlist,nd_check_splist;
 static int nd_splist;  static int nd_splist;
 static int *nd_sugarweight;  static int *nd_sugarweight;
 static int nd_f4red,nd_rank0,nd_last_nonzero;  static int nd_f4red,nd_rank0,nd_last_nonzero;
   static DL *nd_sba_hm;
   static NODE *nd_sba_pos;
   
   struct comp_sig_spec {
     int n;
     // current_i <-> oldv[i]
     int *oldv;
     int *weight;
     struct order_pair *order_pair;
     int block_length;
     int **matrix;
     int row;
     int (*cmpdl)(int n,DL d1,DL d2);
   };
   
   struct comp_sig_spec *nd_sba_modord;
   
 NumberField get_numberfield();  NumberField get_numberfield();
 UINT *nd_det_compute_bound(NDV **dm,int n,int j);  UINT *nd_det_compute_bound(NDV **dm,int n,int j);
 void nd_det_reconstruct(NDV **dm,int n,int j,NDV d);  void nd_det_reconstruct(NDV **dm,int n,int j,NDV d);
Line 77  NDV pltondv(VL vl,VL dvl,LIST p);
Line 103  NDV pltondv(VL vl,VL dvl,LIST p);
 void pltozpl(LIST l,Q *cont,LIST *pp);  void pltozpl(LIST l,Q *cont,LIST *pp);
 void ndl_max(UINT *d1,unsigned *d2,UINT *d);  void ndl_max(UINT *d1,unsigned *d2,UINT *d);
 void nmtodp(int mod,NM m,DP *r);  void nmtodp(int mod,NM m,DP *r);
   void ndltodp(UINT *d,DP *r);
 NODE reverse_node(NODE n);  NODE reverse_node(NODE n);
 P ndc_div(int mod,union oNDC a,union oNDC b);  P ndc_div(int mod,union oNDC a,union oNDC b);
 P ndctop(int mod,union oNDC c);  P ndctop(int mod,union oNDC c);
 void finalize_tracelist(int i,P cont);  void finalize_tracelist(int i,P cont);
 void conv_ilist(int demand,int trace,NODE g,int **indp);  void conv_ilist(int demand,int trace,NODE g,int **indp);
 void parse_nd_option(NODE opt);  void parse_nd_option(VL vl,NODE opt);
 void dltondl(int n,DL dl,UINT *r);  void dltondl(int n,DL dl,UINT *r);
 DP ndvtodp(int mod,NDV p);  DP ndvtodp(int mod,NDV p);
 DP ndtodp(int mod,ND p);  DP ndtodp(int mod,ND p);
   DPM ndvtodpm(int mod,NDV p);
   NDV dptondv(int mod,DP p);
   NDV dpmtondv(int mod,DPM p);
   int dp_getdeg(DP p);
   int dpm_getdeg(DPM p,int *rank);
   void dpm_ptozp(DPM p,Z *cont,DPM *r);
   int compdmm(int nv,DMM a,DMM b);
   DPM sigtodpm(SIG s);
   SIG dup_sig(SIG sig);
   
 void Pdp_set_weight(NODE,VECT *);  void Pdp_set_weight(NODE,VECT *);
 void Pox_cmo_rpc(NODE,Obj *);  void Pox_cmo_rpc(NODE,Obj *);
Line 100  NODE nd_f4_red_mod64_main(int m,ND_pairs sp0,int nsp,U
Line 136  NODE nd_f4_red_mod64_main(int m,ND_pairs sp0,int nsp,U
 NODE nd_f4_red_lf_main(int m,ND_pairs sp0,int nsp,int trace,UINT *s0vect,int col,  NODE nd_f4_red_lf_main(int m,ND_pairs sp0,int nsp,int trace,UINT *s0vect,int col,
         NM_ind_pair *rvect,int *rhead,IndArray *imat,int nred);          NM_ind_pair *rvect,int *rhead,IndArray *imat,int nred);
 int nd_gauss_elim_lf(mpz_t **mat0,int *sugar,int row,int col,int *colstat);  int nd_gauss_elim_lf(mpz_t **mat0,int *sugar,int row,int col,int *colstat);
   int nd_gauss_elim_mod_s(UINT **mat,int *sugar,ND_pairs *spactive,int row,int col,int md,int *colstat,SIG *sig);
 NODE nd_f4_lf_trace_main(int m,int **indp);  NODE nd_f4_lf_trace_main(int m,int **indp);
 void nd_f4_lf_trace(LIST f,LIST v,int trace,int homo,struct order_spec *ord,LIST *rp);  void nd_f4_lf_trace(LIST f,LIST v,int trace,int homo,struct order_spec *ord,LIST *rp);
   
Line 469  int ndl_weight(UINT *d)
Line 506  int ndl_weight(UINT *d)
             for ( j = 0; j < nd_epw; j++, u>>=nd_bpe )              for ( j = 0; j < nd_epw; j++, u>>=nd_bpe )
                 t += (u&nd_mask0);                  t += (u&nd_mask0);
         }          }
     if ( nd_module && current_module_weight_vector && MPOS(d) )      if ( nd_module && nd_module_rank && MPOS(d) )
         t += current_module_weight_vector[MPOS(d)];          t += nd_module_weight[MPOS(d)-1];
       for ( i = nd_exporigin; i < nd_wpd; i++ )
         if ( d[i] && !t )
           printf("afo\n");
     return t;      return t;
 }  }
   
Line 485  int ndl_weight2(UINT *d)
Line 525  int ndl_weight2(UINT *d)
         u = GET_EXP(d,i);          u = GET_EXP(d,i);
         t += nd_sugarweight[i]*u;          t += nd_sugarweight[i]*u;
     }      }
     if ( nd_module && current_module_weight_vector && MPOS(d) )      if ( nd_module && nd_module_rank && MPOS(d) )
         t += current_module_weight_vector[MPOS(d)];          t += nd_module_weight[MPOS(d)-1];
     return t;      return t;
 }  }
   
Line 514  void ndl_weight_mask(UINT *d)
Line 554  void ndl_weight_mask(UINT *d)
     }      }
 }  }
   
   int ndl_glex_compare(UINT *d1,UINT *d2)
   {
     if ( TD(d1) > TD(d2) ) return 1;
     else if ( TD(d1) < TD(d2) ) return -1;
     else return ndl_lex_compare(d1,d2);
   }
   
 int ndl_lex_compare(UINT *d1,UINT *d2)  int ndl_lex_compare(UINT *d1,UINT *d2)
 {  {
     int i;      int i;
Line 683  int ndl_ww_lex_compare(UINT *d1,UINT *d2)
Line 730  int ndl_ww_lex_compare(UINT *d1,UINT *d2)
     return ndl_lex_compare(d1,d2);      return ndl_lex_compare(d1,d2);
 }  }
   
 int ndl_module_weight_compare(UINT *d1,UINT *d2)  // common function for module glex and grlex comparison
   int ndl_module_glex_compare(UINT *d1,UINT *d2)
 {  {
   int s,j;    int c;
   
   if ( nd_nvar != nd_poly_weight_len )    switch ( nd_module_ordtype ) {
     error("invalid module weight : the length of polynomial weight != the number of variables");      case 0:
   s = 0;        if ( TD(d1) > TD(d2) ) return 1;
   for ( j = 0; j < nd_nvar; j++ )        else if ( TD(d1) < TD(d2) ) return -1;
      s += (GET_EXP(d1,j)-GET_EXP(d2,j))*nd_poly_weight[j];        else if ( (c = ndl_lex_compare(d1,d2)) != 0 ) return c;
   if ( MPOS(d1) >= 1 && MPOS(d2) >= 1 ) {        else if ( MPOS(d1) < MPOS(d2) ) return 1;
     s += nd_module_weight[MPOS(d1)-1]-nd_module_weight[MPOS(d2)-1];        else if ( MPOS(d1) > MPOS(d2) ) return -1;
   }        else return 0;
   if ( s > 0 ) return 1;        break;
   else if ( s < 0 ) return -1;  
   else return 0;  
 }  
   
 int ndl_module_grlex_compare(UINT *d1,UINT *d2)      case 1:
 {        if ( nd_pot_nelim && MPOS(d1)>=nd_pot_nelim+1 && MPOS(d2) >= nd_pot_nelim+1 ) {
     int i,c;           if ( TD(d1) > TD(d2) ) return 1;
            else if ( TD(d1) < TD(d2) ) return -1;
            if ( (c = ndl_lex_compare(d1,d2)) != 0 ) return c;
            if ( MPOS(d1) < MPOS(d2) ) return 1;
            else if ( MPOS(d1) > MPOS(d2) ) return -1;
         }
         if ( MPOS(d1) < MPOS(d2) ) return 1;
         else if ( MPOS(d1) > MPOS(d2) ) return -1;
         else if ( TD(d1) > TD(d2) ) return 1;
         else if ( TD(d1) < TD(d2) ) return -1;
         else return ndl_lex_compare(d1,d2);
         break;
   
     if ( nd_module_rank && (c = ndl_module_weight_compare(d1,d2)) ) return c;      case 2: // weight -> POT
     if ( nd_ispot ) {        if ( TD(d1) > TD(d2) ) return 1;
     if ( nd_pot_nelim && MPOS(d1)>=nd_pot_nelim+1 && MPOS(d2) >= nd_pot_nelim+1 ) {        else if ( TD(d1) < TD(d2) ) return -1;
             if ( TD(d1) > TD(d2) ) return 1;        else if ( MPOS(d1) < MPOS(d2) ) return 1;
             else if ( TD(d1) < TD(d2) ) return -1;        else if ( MPOS(d1) > MPOS(d2) ) return -1;
             if ( (c = ndl_lex_compare(d1,d2)) != 0 ) return c;        else return ndl_lex_compare(d1,d2);
             if ( MPOS(d1) < MPOS(d2) ) return 1;        break;
             else if ( MPOS(d1) > MPOS(d2) ) return -1;  
             return 0;  
     }  
         if ( MPOS(d1) < MPOS(d2) ) return 1;  
         else if ( MPOS(d1) > MPOS(d2) ) return -1;  
     }  
     if ( TD(d1) > TD(d2) ) return 1;  
     else if ( TD(d1) < TD(d2) ) return -1;  
     if ( (c = ndl_lex_compare(d1,d2)) != 0 ) return c;  
     if ( !nd_ispot ) {  
         if ( MPOS(d1) < MPOS(d2) ) return 1;  
         else if ( MPOS(d1) > MPOS(d2) ) return -1;  
     }  
     return 0;  
 }  
   
 int ndl_module_glex_compare(UINT *d1,UINT *d2)      default:
 {        error("ndl_module_glex_compare : invalid module_ordtype");
     int i,c;        return 0;
     }
     if ( nd_module_rank && (c = ndl_module_weight_compare(d1,d2)) ) return c;  
     if ( nd_ispot ) {  
         if ( MPOS(d1) < MPOS(d2) ) return 1;  
         else if ( MPOS(d1) > MPOS(d2) ) return -1;  
     }  
     if ( TD(d1) > TD(d2) ) return 1;  
     else if ( TD(d1) < TD(d2) ) return -1;  
     if ( (c = ndl_lex_compare(d1,d2)) != 0 ) return c;  
     if ( !nd_ispot ) {  
         if ( MPOS(d1) < MPOS(d2) ) return 1;  
         else if ( MPOS(d1) > MPOS(d2) ) return -1;  
     }  
     return 0;  
 }  }
   
 int ndl_module_lex_compare(UINT *d1,UINT *d2)  // common  for module comparison
   int ndl_module_compare(UINT *d1,UINT *d2)
 {  {
     int i,c;    int c;
   
     if ( nd_module_rank && (c = ndl_module_weight_compare(d1,d2)) ) return c;    switch ( nd_module_ordtype ) {
     if ( nd_ispot ) {      case 0:
         if ( MPOS(d1) < MPOS(d2) ) return 1;        if ( (c = (*ndl_base_compare_function)(d1,d2)) != 0 ) return c;
         else if ( MPOS(d1) > MPOS(d2) ) return -1;        else if ( MPOS(d1) > MPOS(d2) ) return -1;
     }        else if ( MPOS(d1) < MPOS(d2) ) return 1;
     if ( (c = ndl_lex_compare(d1,d2)) != 0 ) return c;        else return 0;
     if ( !nd_ispot ) {        break;
         if ( MPOS(d1) < MPOS(d2) ) return 1;  
         else if ( MPOS(d1) > MPOS(d2) ) return -1;  
     }  
     return 0;  
 }  
   
 int ndl_module_block_compare(UINT *d1,UINT *d2)      case 1:
 {        if ( MPOS(d1) < MPOS(d2) ) return 1;
     int i,c;        else if ( MPOS(d1) > MPOS(d2) ) return -1;
         else return (*ndl_base_compare_function)(d1,d2);
         break;
   
     if ( nd_module_rank && (c = ndl_module_weight_compare(d1,d2)) ) return c;      case 2: // weight -> POT
     if ( nd_ispot ) {        if ( TD(d1) > TD(d2) ) return 1;
         if ( MPOS(d1) < MPOS(d2) ) return 1;        else if ( TD(d1) < TD(d2) ) return -1;
         else if ( MPOS(d1) > MPOS(d2) ) return -1;        else if ( MPOS(d1) < MPOS(d2) ) return 1;
     }        else if ( MPOS(d1) > MPOS(d2) ) return -1;
     if ( (c = ndl_block_compare(d1,d2)) != 0 ) return c;        else return (*ndl_base_compare_function)(d1,d2);
     if ( !nd_ispot ) {        break;
         if ( MPOS(d1) < MPOS(d2) ) return 1;  
         else if ( MPOS(d1) > MPOS(d2) ) return -1;  
     }  
     return 0;  
 }  
   
 int ndl_module_matrix_compare(UINT *d1,UINT *d2)      default:
 {        error("ndl_module_compare : invalid module_ordtype");
     int i,c;        return 0;
     }
     if ( nd_module_rank && (c = ndl_module_weight_compare(d1,d2)) ) return c;  
     if ( nd_ispot ) {  
         if ( MPOS(d1) < MPOS(d2) ) return 1;  
         else if ( MPOS(d1) > MPOS(d2) ) return -1;  
     }  
     if ( (c = ndl_matrix_compare(d1,d2)) != 0 ) return c;  
     if ( !nd_ispot ) {  
         if ( MPOS(d1) < MPOS(d2) ) return 1;  
         else if ( MPOS(d1) > MPOS(d2) ) return -1;  
     }  
     return 0;  
 }  }
   
 int ndl_module_composite_compare(UINT *d1,UINT *d2)  extern DMMstack dmm_stack;
   void _addtodl(int n,DL d1,DL d2);
   void _adddl(int n,DL d1,DL d2,DL d3);
   int _eqdl(int n,DL d1,DL d2);
   
   int ndl_module_schreyer_compare(UINT *m1,UINT *m2)
 {  {
     int i,c;    int pos1,pos2,t,j,retpot;
     DMM *in;
     DMMstack s;
     static DL d1=0;
     static DL d2=0;
     static int dlen=0;
     extern int ReversePOT;
   
     if ( nd_module_rank && (c = ndl_module_weight_compare(d1,d2)) ) return c;    if ( ReversePOT ) retpot = -1;
     if ( nd_ispot ) {    else retpot = 1;
         if ( MPOS(d1) > MPOS(d2) ) return 1;    pos1 = MPOS(m1); pos2 = MPOS(m2);
         else if ( MPOS(d1) < MPOS(d2) ) return -1;    if ( pos1 == pos2 ) return (*ndl_base_compare_function)(m1,m2);
     if ( nd_nvar > dlen ) {
       NEWDL(d1,nd_nvar);
       NEWDL(d2,nd_nvar);
       dlen = nd_nvar;
     }
     d1->td = TD(m1);
     for ( j = 0; j < nd_nvar; j++ ) d1->d[j] = GET_EXP(m1,j);
     d2->td = TD(m2);
     for ( j = 0; j < nd_nvar; j++ ) d2->d[j] = GET_EXP(m2,j);
     for ( s = dmm_stack; s; s = NEXT(s) ) {
       in = s->in;
       _addtodl(nd_nvar,in[pos1]->dl,d1);
       _addtodl(nd_nvar,in[pos2]->dl,d2);
       if ( in[pos1]->pos == in[pos2]->pos && _eqdl(nd_nvar,d1,d2)) {
         if ( pos1 < pos2 ) return retpot;
         else if ( pos1 > pos2 ) return -retpot;
         else return 0;
     }      }
     if ( (c = ndl_composite_compare(d1,d2)) != 0 ) return c;      pos1 = in[pos1]->pos;
     if ( !nd_ispot ) {      pos2 = in[pos2]->pos;
         if ( MPOS(d1) > MPOS(d2) ) return 1;      if ( pos1 == pos2 ) return (*dl_base_compare_function)(nd_nvar,d1,d2);
         else if ( MPOS(d1) < MPOS(d2) ) return -1;    }
     }    // comparison by the bottom order
     return 0;  LAST:
     switch ( nd_base_ordtype ) {
       case 0:
         t = (*dl_base_compare_function)(nd_nvar,d1,d2);
         if ( t ) return t;
         else if ( pos1 < pos2 ) return retpot;
         else if ( pos1 > pos2 ) return -retpot;
         else return 0;
         break;
       case 1:
         if ( pos1 < pos2 ) return retpot;
         else if ( pos1 > pos2 ) return -retpot;
         else return (*dl_base_compare_function)(nd_nvar,d1,d2);
         break;
       case 2:
         if ( d1->td > d2->td  ) return 1;
         else if ( d1->td < d2->td ) return -1;
         else if ( pos1 < pos2 ) return retpot;
         else if ( pos1 > pos2 ) return -retpot;
         else return (*dl_base_compare_function)(nd_nvar,d1,d2);
         break;
       default:
         error("ndl_schreyer_compare : invalid base ordtype");
         return 0;
     }
 }  }
   
 INLINE int ndl_equal(UINT *d1,UINT *d2)  INLINE int ndl_equal(UINT *d1,UINT *d2)
Line 1125  int ndl_check_bound2(int index,UINT *d2)
Line 1187  int ndl_check_bound2(int index,UINT *d2)
 INLINE int ndl_hash_value(UINT *d)  INLINE int ndl_hash_value(UINT *d)
 {  {
     int i;      int i;
     int r;      UINT r;
   
     r = 0;      r = 0;
     for ( i = 0; i < nd_wpd; i++ )      for ( i = 0; i < nd_wpd; i++ )
         r = ((r<<16)+d[i])%REDTAB_LEN;          r = (r*1511+d[i]);
       r %= REDTAB_LEN;
     return r;      return r;
 }  }
   
Line 1167  INLINE int ndl_find_reducer(UINT *dg)
Line 1230  INLINE int ndl_find_reducer(UINT *dg)
     return -1;      return -1;
 }  }
   
   INLINE int ndl_find_reducer_nonsig(UINT *dg)
   {
       RHist r;
       int i;
   
       for ( i = 0; i < nd_psn; i++ ) {
         r = nd_psh[i];
         if ( ndl_reducible(dg,DL(r)) ) return i;
       }
       return -1;
   }
   
   // ret=0,...,nd_psn-1 => reducer found
   // ret=nd_psn => reducer not found
   // ret=-1 => singular top reducible
   
   int comp_sig(SIG s1,SIG s2);
   void _ndltodl(UINT *ndl,DL dl);
   
   void print_sig(SIG s)
   {
     int i;
   
     fprintf(asir_out,"<<");
     for ( i = 0; i < nd_nvar; i++ ) {
       fprintf(asir_out,"%d",s->dl->d[i]);
       if ( i != nd_nvar-1 ) fprintf(asir_out,",");
     }
     fprintf(asir_out,">>*e%d",s->pos);
   }
   
   void print_siglist(NODE l)
   {
     for ( ; l; l = NEXT(l) )
      print_sig((SIG)l->body);
   }
   
   
   // assuming increasing order wrt signature
   
   INLINE int ndl_find_reducer_s(UINT *dg,SIG sig)
   {
     RHist r;
     int i,singular,ret,d,k;
     static int wpd,nvar;
     static SIG quo;
     static UINT *tmp;
   
     if ( !quo || nvar != nd_nvar ) NEWSIG(quo);
     if ( wpd != nd_wpd ) {
       wpd = nd_wpd;
       tmp = (UINT *)MALLOC(wpd*sizeof(UINT));
     }
     d = ndl_hash_value(dg);
   #if 1
     for ( r = nd_red[d], k = 0; r; r = NEXT(r), k++ ) {
       if ( ndl_equal(dg,DL(r)) ) {
         return r->index;
       }
     }
   #endif
     singular = 0;
     for ( i = 0; i < nd_psn; i++ ) {
       r = nd_psh[i];
       if ( ndl_reducible(dg,DL(r)) ) {
         ndl_sub(dg,DL(r),tmp);
         _ndltodl(tmp,DL(quo));
         _addtodl(nd_nvar,DL(nd_psh[i]->sig),DL(quo));
         quo->pos = nd_psh[i]->sig->pos;
         ret = comp_sig(sig,quo);
         if ( ret > 0 ) { singular = 0; break; }
         if ( ret == 0 ) { /* fprintf(asir_out,"s"); fflush(asir_out); */ singular = 1; }
       }
     }
     if ( singular ) return -1;
     else if ( i < nd_psn )
       nd_append_red(dg,i);
     return i;
   }
   
 ND nd_merge(ND p1,ND p2)  ND nd_merge(ND p1,ND p2)
 {  {
     int n,c;      int n,c;
Line 1216  ND nd_add(int mod,ND p1,ND p2)
Line 1359  ND nd_add(int mod,ND p1,ND p2)
     ND r;      ND r;
     NM m1,m2,mr0,mr,s;      NM m1,m2,mr0,mr,s;
   
       Nnd_add++;
     if ( !p1 ) return p2;      if ( !p1 ) return p2;
     else if ( !p2 ) return p1;      else if ( !p2 ) return p1;
     else if ( mod == -1 ) return nd_add_sf(p1,p2);      else if ( mod == -1 ) return nd_add_sf(p1,p2);
Line 1508  int nd_nf(int mod,ND d,ND g,NDV *ps,int full,ND *rp)
Line 1652  int nd_nf(int mod,ND d,ND g,NDV *ps,int full,ND *rp)
     return 1;      return 1;
 }  }
   
   // ret=1 => success
   // ret=0 => overflow
   // ret=-1 => singular top reducible
   
   int nd_nf_s(int mod,ND d,ND g,NDV *ps,int full,ND *rp)
   {
       NM m,mrd,tail;
       NM mul;
       int n,sugar,psugar,sugar0,stat,index;
       int c,c1,c2,dummy;
       RHist h;
       NDV p,red;
       Q cg,cred,gcd,tq,qq;
       Z iq;
       DP dmul;
       NODE node;
       LIST hist;
       double hmag;
       P tp,tp1;
       Obj tr,tr1,div;
       union oNDC hg;
       P cont;
       SIG sig;
   
       if ( !g ) {
           *rp = d;
           return 1;
       }
       if ( !mod ) hmag = ((double)p_mag(HCP(g)))*nd_scale;
   
       sugar0 = sugar = SG(g);
       n = NV(g);
       mul = (NM)MALLOC(sizeof(struct oNM)+(nd_wpd-1)*sizeof(UINT));
       if ( d )
           for ( tail = BDY(d); NEXT(tail); tail = NEXT(tail) );
       sig = g->sig;
       for ( ; g; ) {
           index = ndl_find_reducer_s(HDL(g),sig);
           if ( index >= 0 && index < nd_psn ) {
               // reducer found
               h = nd_psh[index];
               ndl_sub(HDL(g),DL(h),DL(mul));
               if ( ndl_check_bound2(index,DL(mul)) ) {
                   nd_free(g); nd_free(d);
                   return 0;
               }
               p = ps[index];
               /* d+g -> div*(d+g)+mul*p */
               g = nd_reduce2(mod,d,g,p,mul,0,&div);
               sugar = MAX(sugar,SG(p)+TD(DL(mul)));
               if ( !mod && g && ((double)(p_mag(HCP(g))) > hmag) ) {
                   hg = HCU(g);
                   nd_removecont2(d,g);
                   hmag = ((double)p_mag(HCP(g)))*nd_scale;
               }
           } else if ( index == -1 ) {
             // singular top reducible
             return -1;
           } else if ( !full ) {
               *rp = g;
               g->sig = sig;
               return 1;
           } else {
               m = BDY(g);
               if ( NEXT(m) ) {
                   BDY(g) = NEXT(m); NEXT(m) = 0; LEN(g)--;
               } else {
                   FREEND(g); g = 0;
               }
               if ( d ) {
                   NEXT(tail)=m; tail=m; LEN(d)++;
               } else {
                   MKND(n,m,1,d); tail = BDY(d);
               }
           }
       }
       if ( d ) {
         SG(d) = sugar;
         d->sig = sig;
       }
       *rp = d;
       return 1;
   }
   
 int nd_nf_pbucket(int mod,ND g,NDV *ps,int full,ND *rp)  int nd_nf_pbucket(int mod,ND g,NDV *ps,int full,ND *rp)
 {  {
     int hindex,index;      int hindex,index;
Line 1620  int nd_nf_pbucket(int mod,ND g,NDV *ps,int full,ND *rp
Line 1848  int nd_nf_pbucket(int mod,ND g,NDV *ps,int full,ND *rp
     }      }
 }  }
   
   int nd_nf_pbucket_s(int mod,ND g,NDV *ps,int full,ND *rp)
   {
     int hindex,index;
     NDV p;
     ND u,d,red;
     NODE l;
     NM mul,m,mrd,tail;
     int sugar,psugar,n,h_reducible;
     PGeoBucket bucket;
     int c,c1,c2;
     Z cg,cred,gcd,zzz;
     RHist h;
     double hmag,gmag;
     int count = 0;
     int hcount = 0;
     SIG sig;
   
     if ( !g ) {
       *rp = 0;
       return 1;
     }
     sugar = SG(g);
     n = NV(g);
     if ( !mod ) hmag = ((double)p_mag((P)HCZ(g)))*nd_scale;
     bucket = create_pbucket();
     add_pbucket(mod,bucket,g);
     d = 0;
     mul = (NM)MALLOC(sizeof(struct oNM)+(nd_wpd-1)*sizeof(UINT));
     sig = g->sig;
     while ( 1 ) {
       if ( mod > 0 || mod == -1 )
         hindex = head_pbucket(mod,bucket);
       else if ( mod == -2 )
         hindex = head_pbucket_lf(bucket);
       else
         hindex = head_pbucket_q(bucket);
       if ( hindex < 0 ) {
         if ( DP_Print > 3 ) printf("(%d %d)",count,hcount);
         if ( d ) {
           SG(d) = sugar;
           d->sig = sig;
         }
         *rp = d;
         return 1;
       }
       g = bucket->body[hindex];
       index = ndl_find_reducer_s(HDL(g),sig);
       if ( index >= 0 && index < nd_psn ) {
         count++;
         if ( !d ) hcount++;
         h = nd_psh[index];
         ndl_sub(HDL(g),DL(h),DL(mul));
         if ( ndl_check_bound2(index,DL(mul)) ) {
           nd_free(d);
           free_pbucket(bucket);
           *rp = 0;
           return 0;
         }
         p = ps[index];
         if ( mod == -1 )
           CM(mul) = _mulsf(_invsf(HCM(p)),_chsgnsf(HCM(g)));
         else if ( mod == -2 ) {
           Z inv,t;
           divlf(ONE,HCZ(p),&inv);
           chsgnlf(HCZ(g),&t);
           mullf(inv,t,&CZ(mul));
         } else if ( mod ) {
           c1 = invm(HCM(p),mod); c2 = mod-HCM(g);
           DMAR(c1,c2,0,mod,c); CM(mul) = c;
         } else {
           igcd_cofactor(HCZ(g),HCZ(p),&gcd,&cg,&cred);
           chsgnz(cg,&CZ(mul));
           nd_mul_c_q(d,(P)cred);
           mulq_pbucket(bucket,cred);
           g = bucket->body[hindex];
           gmag = (double)p_mag((P)HCZ(g));
         }
         red = ndv_mul_nm(mod,mul,p);
         bucket->body[hindex] = nd_remove_head(g);
         red = nd_remove_head(red);
         add_pbucket(mod,bucket,red);
         psugar = SG(p)+TD(DL(mul));
         sugar = MAX(sugar,psugar);
         if ( !mod && hmag && (gmag > hmag) ) {
            g = normalize_pbucket(mod,bucket);
            if ( !g ) {
              if ( d ) {
                SG(d) = sugar;
                d->sig = sig;
              }
              *rp = d;
              return 1;
            }
            nd_removecont2(d,g);
            hmag = ((double)p_mag((P)HCZ(g)))*nd_scale;
            add_pbucket(mod,bucket,g);
         }
       } else if ( index == -1 ) {
         // singular top reducible
         return -1;
       } else if ( !full ) {
         g = normalize_pbucket(mod,bucket);
         if ( g ) {
           SG(g) = sugar;
           g->sig = sig;
         }
         *rp = g;
         return 1;
       } else {
         m = BDY(g);
         if ( NEXT(m) ) {
           BDY(g) = NEXT(m); NEXT(m) = 0; LEN(g)--;
         } else {
           FREEND(g); g = 0;
         }
         bucket->body[hindex] = g;
         NEXT(m) = 0;
         if ( d ) {
           NEXT(tail)=m; tail=m; LEN(d)++;
         } else {
           MKND(n,m,1,d); tail = BDY(d);
         }
       }
     }
   }
   
 /* input : list of NDV, cand : list of NDV */  /* input : list of NDV, cand : list of NDV */
   
 int ndv_check_membership(int m,NODE input,int obpe,int oadv,EPOS oepos,NODE cand)  int ndv_check_membership(int m,NODE input,int obpe,int oadv,EPOS oepos,NODE cand)
Line 1632  int ndv_check_membership(int m,NODE input,int obpe,int
Line 1986  int ndv_check_membership(int m,NODE input,int obpe,int
     Z q;      Z q;
     LIST list;      LIST list;
   
     ndv_setup(m,0,cand,nd_gentrace?1:0,1);      ndv_setup(m,0,cand,nd_gentrace?1:0,1,0);
     n = length(cand);      n = length(cand);
   
   if ( nd_gentrace ) { nd_alltracelist = 0; nd_tracelist = 0; }    if ( nd_gentrace ) { nd_alltracelist = 0; nd_tracelist = 0; }
Line 1719  void free_pbucket(PGeoBucket b) {
Line 2073  void free_pbucket(PGeoBucket b) {
     GCFREE(b);      GCFREE(b);
 }  }
   
   #if 0
 void add_pbucket_symbolic(PGeoBucket g,ND d)  void add_pbucket_symbolic(PGeoBucket g,ND d)
 {  {
     int l,i,k,m;      int l,i,k,m;
Line 1736  void add_pbucket_symbolic(PGeoBucket g,ND d)
Line 2091  void add_pbucket_symbolic(PGeoBucket g,ND d)
     g->body[k] = d;      g->body[k] = d;
     g->m = MAX(g->m,k);      g->m = MAX(g->m,k);
 }  }
   #else
   void add_pbucket_symbolic(PGeoBucket g,ND d)
   {
     int l,i,k,m,m0;
   
     if ( !d )
       return;
     m0 = g->m;
     while ( 1 ) {
       l = LEN(d);
       for ( k = 0, m = 1; l > m; k++, m <<= 1 );
       /* 2^(k-1) < l <= 2^k (=m) */
       if ( g->body[k] == 0 ) {
         g->body[k] = d;
         m0 = MAX(k,m0);
         break;
       } else {
         d = nd_merge(g->body[k],d);
         g->body[k] = 0;
       }
     }
     g->m = m0;
   }
   #endif
   
   #if 0
 void add_pbucket(int mod,PGeoBucket g,ND d)  void add_pbucket(int mod,PGeoBucket g,ND d)
 {  {
     int l,i,k,m;      int l,i,k,m;
Line 1754  void add_pbucket(int mod,PGeoBucket g,ND d)
Line 2134  void add_pbucket(int mod,PGeoBucket g,ND d)
     g->body[k] = d;      g->body[k] = d;
     g->m = MAX(g->m,k);      g->m = MAX(g->m,k);
 }  }
   #else
   void add_pbucket(int mod,PGeoBucket g,ND d)
   {
     int l,i,k,m,m0;
   
     m0 = g->m;
     while ( d != 0 ) {
       l = LEN(d);
       for ( k = 0, m = 1; l > m; k++, m <<= 1 );
       /* 2^(k-1) < l <= 2^k (=m) */
       if ( g->body[k] == 0 ) {
         g->body[k] = d;
         m0 = MAX(k,m0);
         break;
       } else {
         d = nd_add(mod,g->body[k],d);
         g->body[k] = 0;
       }
     }
     g->m = m0;
   }
   #endif
   
 void mulq_pbucket(PGeoBucket g,Z c)  void mulq_pbucket(PGeoBucket g,Z c)
 {  {
     int k;      int k;
Line 2078  NODE nd_gb(int m,int ishomo,int checkonly,int gensyz,i
Line 2480  NODE nd_gb(int m,int ishomo,int checkonly,int gensyz,i
   Z q;    Z q;
   union oNDC dn,hc;    union oNDC dn,hc;
   int diag_count = 0;    int diag_count = 0;
     int Nnfnz = 0,Nnfz = 0;
   P cont;    P cont;
   LIST list;    LIST list;
   struct oEGT eg1,eg2,eg_update;
   
   init_eg(&eg_update);
     Nnd_add = 0;
   g = 0; d = 0;    g = 0; d = 0;
   for ( i = 0; i < nd_psn; i++ ) {    for ( i = 0; i < nd_psn; i++ ) {
     d = update_pairs(d,g,i,gensyz);      d = update_pairs(d,g,i,gensyz);
Line 2111  again:
Line 2517  again:
       goto again;        goto again;
     }      }
 #if USE_GEOBUCKET  #if USE_GEOBUCKET
     stat = (m&&!nd_gentrace)?nd_nf_pbucket(m,h,nd_ps,!Top,&nf)      stat = (m&&!nd_gentrace)?nd_nf_pbucket(m,h,nd_ps,!nd_top&&!Top,&nf)
       :nd_nf(m,0,h,nd_ps,!Top,&nf);        :nd_nf(m,0,h,nd_ps,!nd_top&&!Top,&nf);
 #else  #else
     stat = nd_nf(m,0,h,nd_ps,!Top,&nf);      stat = nd_nf(m,0,h,nd_ps,!nd_top&&!Top,&nf);
 #endif  #endif
     if ( !stat ) {      if ( !stat ) {
       NEXT(l) = d; d = l;        NEXT(l) = d; d = l;
       d = nd_reconstruct(0,d);        d = nd_reconstruct(0,d);
       goto again;        goto again;
     } else if ( nf ) {      } else if ( nf ) {
         Nnfnz++;
       if ( checkonly || gensyz ) return 0;        if ( checkonly || gensyz ) return 0;
       if ( nd_newelim ) {        if ( nd_newelim ) {
         if ( nd_module ) {          if ( nd_module ) {
Line 2144  again:
Line 2551  again:
         }          }
       }        }
       nfv = ndtondv(m,nf); nd_free(nf);        nfv = ndtondv(m,nf); nd_free(nf);
       nh = ndv_newps(m,nfv,0,0);        nh = ndv_newps(m,nfv,0);
       if ( !m && (ishomo && ++diag_count == diag_period) ) {        if ( !m && (ishomo && ++diag_count == diag_period) ) {
         diag_count = 0;          diag_count = 0;
         stat = do_diagonalize(sugar,m);          stat = do_diagonalize(sugar,m);
Line 2154  again:
Line 2561  again:
           goto again;            goto again;
         }          }
       }        }
   get_eg(&eg1);
       d = update_pairs(d,g,nh,0);        d = update_pairs(d,g,nh,0);
   get_eg(&eg2); add_eg(&eg_update,&eg1,&eg2);
       g = update_base(g,nh);        g = update_base(g,nh);
       FREENDP(l);        FREENDP(l);
       } else {
         Nnfz++;
         if ( nd_gentrace && gensyz ) {
           nd_tracelist = reverse_node(nd_tracelist);
           MKLIST(list,nd_tracelist);
           STOZ(-1,q); t = mknode(2,q,list); MKLIST(list,t);
           MKNODE(t,list,nd_alltracelist);
           nd_alltracelist = t; nd_tracelist = 0;
         }
         if ( DP_Print ) { printf("."); fflush(stdout); }
           FREENDP(l);
       }
     }
     conv_ilist(nd_demand,0,g,indp);
     if ( !checkonly && DP_Print ) {
       printf("\nnd_gb done. Nnd_add=%d,Npairs=%d, Nnfnz=%d,Nnfz=%d,",Nnd_add,Npairs,Nnfnz,Nnfz);
       printf("Nremoved=%d\n",NcriB+NcriMF+Ncri2);
       fflush(asir_out);
     }
     if ( DP_Print ) {
       print_eg("update",&eg_update); fprintf(asir_out,"\n");
     }
     return g;
   }
   
   ND_pairs update_pairs_s(ND_pairs d,int t,NODE *syz);
   ND_pairs nd_newpairs_s(int t ,NODE *syz);
   
   int nd_nf_pbucket_s(int mod,ND g,NDV *ps,int full,ND *nf);
   int nd_nf_s(int mod,ND d,ND g,NDV *ps,int full,ND *nf);
   
   void _copydl(int n,DL d1,DL d2);
   void _subfromdl(int n,DL d1,DL d2);
   extern int (*cmpdl)(int n,DL d1,DL d2);
   
   NODE insert_sig(NODE l,SIG s)
   {
     int pos;
     DL sig;
     struct oNODE root;
     NODE p,prev,r;
     SIG t;
   
     pos = s->pos; sig = DL(s);
     root.next = l; prev = &root;
     for ( p = l; p; p = p->next ) {
       t = (SIG)p->body;
       if ( t->pos == pos ) {
         if ( _dl_redble(DL(t),sig,nd_nvar) )
           return root.next;
         else if ( _dl_redble(sig,DL(t),nd_nvar) )
           // remove p
           prev->next = p->next;
         else
           prev = p;
       } else
         prev = p;
     }
     NEWNODE(r); r->body = (pointer)s; r->next = 0;
     for ( p = &root; p->next; p = p->next );
     p->next = r;
   //  r->next = root.next;
   //  return r;
     return root.next;
   }
   
   ND_pairs remove_spair_s(ND_pairs d,SIG sig)
   {
     struct oND_pairs root;
     ND_pairs prev,p;
     SIG spsig;
   
     root.next = d;
     prev = &root; p = d;
     while ( p ) {
       spsig = p->sig;
       if ( sig->pos == spsig->pos && _dl_redble(DL(sig),DL(spsig),nd_nvar) ) {
         // remove p
         prev->next = p->next;
         Nsyz++;
       } else
         prev = p;
       p = p->next;
     }
     return (ND_pairs)root.next;
   }
   
   int _dl_redble_ext(DL,DL,DL,int);
   
   int small_lcm(ND_pairs l)
   {
     SIG sig;
     int i;
     NODE t;
     static DL lcm,mul,quo;
     static int nvar = 0;
   
     if ( nd_sba_largelcm ) return 0;
     if ( nvar < nd_nvar ) {
       nvar = nd_nvar; NEWDL(lcm,nvar); NEWDL(quo,nvar); NEWDL(mul,nvar);
     }
     sig = l->sig;
     _ndltodl(l->lcm,lcm);
   #if 0
     for ( i = 0; i < nd_psn; i++ ) {
       if ( sig->pos == nd_psh[i]->sig->pos &&
         _dl_redble_ext(DL(nd_psh[i]->sig),DL(sig),quo,nd_nvar) ) {
         _ndltodl(DL(nd_psh[i]),mul);
         _addtodl(nd_nvar,quo,mul);
         if ( (*cmpdl)(nd_nvar,lcm,mul) > 0 )
           break;
       }
     }
     if ( i < nd_psn ) return 1;
     else return 0;
   #else
     for ( t = nd_sba_pos[sig->pos]; t; t = t->next ) {
       i = (long)BDY(t);
       if ( _dl_redble_ext(DL(nd_psh[i]->sig),DL(sig),quo,nd_nvar) ) {
         _ndltodl(DL(nd_psh[i]),mul);
         _addtodl(nd_nvar,quo,mul);
         if ( (*cmpdl)(nd_nvar,lcm,mul) > 0 )
           break;
       }
     }
     if ( t ) return 1;
     else return 0;
   #endif
   }
   
   ND_pairs find_smallest_lcm(ND_pairs l)
   {
     SIG sig;
     int i,minindex;
     NODE t;
     ND_pairs r;
     struct oSIG sig1;
     static DL mul,quo,minlm;
     static int nvar = 0;
   
     if ( nvar < nd_nvar ) {
       nvar = nd_nvar;
       NEWDL(quo,nvar); NEWDL(mul,nvar);
       NEWDL(minlm,nvar);
     }
     sig = l->sig;
     // find mg s.t. m*s(g)=sig and m*lm(g) is minimal
     _ndltodl(l->lcm,minlm); minindex = -1;
     for ( t = nd_sba_pos[sig->pos]; t; t = t->next ) {
       i = (long)BDY(t);
       if ( _dl_redble_ext(DL(nd_psh[i]->sig),DL(sig),quo,nd_nvar) ) {
         _ndltodl(DL(nd_psh[i]),mul);
         _addtodl(nd_nvar,quo,mul);
         if ( (*cmpdl)(nd_nvar,minlm,mul) > 0 ) {
           minindex = i;
           _copydl(nd_nvar,mul,minlm);
         }
       }
     }
     // l->lcm is minimal; return l itself
     if ( minindex < 0 ) return l;
     for ( i = 0; i < nd_psn; i++ ) {
       if ( i == minindex ) continue;
       _ndltodl(DL(nd_psh[i]),mul);
       if ( _dl_redble_ext(mul,minlm,quo,nd_nvar) ) {
         _addtodl(nd_nvar,nd_ps[i]->sig->dl,quo);
         sig1.pos = nd_ps[i]->sig->pos;
         sig1.dl = quo;
         if ( comp_sig(sig,&sig1) > 0 ) {
   //        printf("X");
           NEWND_pairs(r);
           r->sig = sig;
           r->i1 = minindex;
           r->i2 = i;
           dltondl(nd_nvar,minlm,r->lcm);
           r->next = 0;
           return r;
         }
       }
     }
     // there is no suitable spair
     return 0;
   }
   
   ND_pairs remove_large_lcm(ND_pairs d)
   {
     struct oND_pairs root;
     ND_pairs prev,p;
   
     root.next = d;
     prev = &root; p = d;
     while ( p ) {
   #if 0
       if ( small_lcm(p) ) {
         // remove p
         prev->next = p->next;
       } else
   #else
       if ( find_smallest_lcm(p) == 0 ) {
         // remove p
         prev->next = p->next;
       } else
   #endif
         prev = p;
       p = p->next;
     }
     return (ND_pairs)root.next;
   }
   
   struct oEGT eg_create,eg_newpairs,eg_merge;
   
   NODE conv_ilist_s(int demand,int trace,int **indp);
   
   // S(fj*ei-fi*ej)
   
   void _subdl(int,DL,DL,DL);
   
   SIG trivial_sig(int i,int j)
   {
     static DL lcm;
     static struct oSIG sigi,sigj;
     static int nvar = 0;
     SIG sig;
   
     if ( nvar != nd_nvar ) {
       nvar = nd_nvar; NEWDL(lcm,nvar); NEWDL(sigi.dl,nvar); NEWDL(sigj.dl,nvar);
     }
     if ( nd_sba_inputisgb != 0 ) {
       lcm_of_DL(nd_nvar,nd_sba_hm[i],nd_sba_hm[j],lcm);
       sigi.pos = i; _subdl(nd_nvar,lcm,nd_sba_hm[i],sigi.dl);
       sigj.pos = j; _subdl(nd_nvar,lcm,nd_sba_hm[j],sigj.dl);
       if ( comp_sig(&sigi,&sigj) > 0 ) sig = dup_sig(&sigi);
       else sig = dup_sig(&sigj);
     } else {
       sigi.pos = i; _copydl(nd_nvar,nd_sba_hm[j],sigi.dl);
       sigj.pos = j; _copydl(nd_nvar,nd_sba_hm[i],sigj.dl);
       if ( comp_sig(&sigi,&sigj) > 0 ) sig = dup_sig(&sigi);
       else sig = dup_sig(&sigj);
     }
     return sig;
   }
   
   NODE nd_sba_buch(int m,int ishomo,int **indp,NODE *syzp)
   {
     int i,j,nh,sugar,stat,pos;
     NODE r,t,g;
     ND_pairs d;
     ND_pairs l,l1;
     ND h,nf,s,head,nf1;
     NDV nfv;
     Z q;
     union oNDC dn,hc;
     P cont;
     LIST list;
     SIG sig;
     NODE *syzlist;
     int ngen;
     int Nnominimal,Nredundant;
     DL lcm,quo,mul;
     struct oEGT eg1,eg2,eg_update,eg_remove,eg_large,eg_nf,eg_nfzero;
     int Nnfs=0,Nnfz=0,Nnfnz=0;
   
   init_eg(&eg_remove);
     syzlist = (NODE *)MALLOC(nd_psn*sizeof(NODE));
     Nsyz = 0;
     Nnd_add = 0;
     Nnominimal = 0;
     Nredundant = 0;
     d = 0;
     ngen = nd_psn;
     for ( i = 0; i < nd_psn; i++ )
       for ( j = i+1; j < nd_psn; j++ ) {
         sig = trivial_sig(i,j);
         syzlist[sig->pos] = insert_sig(syzlist[sig->pos],sig);
       }
     for ( i = 0; i < nd_psn; i++ ) {
       d = update_pairs_s(d,i,syzlist);
     }
     sugar = 0;
     pos = 0;
     NEWDL(lcm,nd_nvar); NEWDL(quo,nd_nvar); NEWDL(mul,nd_nvar);
   init_eg(&eg_create);
   init_eg(&eg_merge);
   init_eg(&eg_large);
   init_eg(&eg_nf);
   init_eg(&eg_nfzero);
     while ( d ) {
   again:
       if ( DP_Print ) {
         int len;
         ND_pairs td;
         for ( td = d, len=0; td; td = td->next, len++)
           ;
          if ( !(len%100) ) fprintf(asir_out,"(%d)",len);
         }
       l = d; d = d->next;
   #if 0
       if ( small_lcm(l) ) {
         if ( DP_Print ) fprintf(asir_out,"M");
         Nnominimal++;
         continue;
       }
       if ( SG(l) != sugar ) {
         sugar = SG(l);
         if ( DP_Print ) fprintf(asir_out,"%d",sugar);
       }
       sig = l->sig;
       if ( DP_Print && nd_sba_pot ) {
         if ( sig->pos != pos ) {
           fprintf(asir_out,"[%d]",sig->pos);
           pos = sig->pos;
         }
       }
       stat = nd_sp(m,0,l,&h);
   #else
   //    if ( l->sig->dl->td == 0 )
   //      if ( DP_Print ) print_sig(l->sig);
       l1 = find_smallest_lcm(l);
       if ( l1 == 0 ) {
         if ( DP_Print ) fprintf(asir_out,"M");
         Nnominimal++;
         continue;
       }
       if ( SG(l1) != sugar ) {
         sugar = SG(l1);
         if ( DP_Print ) fprintf(asir_out,"%d",sugar);
       }
       sig = l1->sig;
       if ( DP_Print && nd_sba_pot ) {
         if ( sig->pos != pos ) {
           fprintf(asir_out,"[%d]",sig->pos);
           pos = sig->pos;
         }
       }
       stat = nd_sp(m,0,l1,&h);
   #endif
       if ( !stat ) {
         NEXT(l) = d; d = l;
         d = nd_reconstruct(0,d);
         goto again;
       }
   get_eg(&eg1);
   #if USE_GEOBUCKET
       stat = m?nd_nf_pbucket_s(m,h,nd_ps,!nd_top&&!Top,&nf):nd_nf_s(m,0,h,nd_ps,!nd_top&&!Top,&nf);
   #else
       stat = nd_nf_s(m,0,h,nd_ps,!nd_top&&!Top,&nf);
   #endif
   get_eg(&eg2);
       if ( !stat ) {
         NEXT(l) = d; d = l;
         d = nd_reconstruct(0,d);
         goto again;
       } else if ( stat == -1 ) {
         Nnfs++;
         if ( DP_Print ) { printf("S"); fflush(stdout); }
         FREENDP(l);
       } else if ( nf ) {
         Nnfnz++;
         if ( DP_Print ) {
           if ( nd_sba_redundant_check ) {
             if ( ndl_find_reducer_nonsig(HDL(nf)) >= 0 ) {
               Nredundant++;
               printf("R");
             } else
               printf("+");
           } else
             printf("+");
           fflush(stdout);
         }
         add_eg(&eg_nf,&eg1,&eg2);
         hc = HCU(nf);
         nd_removecont(m,nf);
         nfv = ndtondv(m,nf); nd_free(nf);
         nh = ndv_newps(m,nfv,0);
   
         d = update_pairs_s(d,nh,syzlist);
         nd_sba_pos[sig->pos] = append_one(nd_sba_pos[sig->pos],nh);
         FREENDP(l);
    } else {     } else {
      if ( nd_gentrace && gensyz ) {        Nnfz++;
        nd_tracelist = reverse_node(nd_tracelist);        add_eg(&eg_nfzero,&eg1,&eg2);
        MKLIST(list,nd_tracelist);       // syzygy
        STOZ(-1,q); t = mknode(2,q,list); MKLIST(list,t);  get_eg(&eg1);
        MKNODE(t,list,nd_alltracelist);       d = remove_spair_s(d,sig);
        nd_alltracelist = t; nd_tracelist = 0;  get_eg(&eg2); add_eg(&eg_remove,&eg1,&eg2);
      }       syzlist[sig->pos] = insert_sig(syzlist[sig->pos],sig);
      if ( DP_Print ) { printf("."); fflush(stdout); }       if ( DP_Print ) { printf("."); fflush(stdout); }
        FREENDP(l);       FREENDP(l);
    }     }
  }   }
  conv_ilist(nd_demand,0,g,indp);   g = conv_ilist_s(nd_demand,0,indp);
     if ( !checkonly && DP_Print ) { printf("nd_gb done.\n"); fflush(stdout); }   if ( DP_Print ) {
     return g;     printf("\nnd_sba done. nd_add=%d,Nsyz=%d,Nsamesig=%d,Nnominimal=%d\n",Nnd_add,Nsyz,Nsamesig,Nnominimal);
      printf("Nnfnz=%d,Nnfz=%d,Nnfsingular=%d\n",Nnfnz,Nnfz,Nnfs);
      fflush(stdout);
      if ( nd_sba_redundant_check )
      printf("Nredundant=%d\n",Nredundant);
      fflush(stdout);
      print_eg("create",&eg_create);
      print_eg("merge",&eg_merge);
      print_eg("remove",&eg_remove);
      print_eg("nf",&eg_nf);
      print_eg("nfzero",&eg_nfzero);
      printf("\n");
    }
    if ( nd_sba_syz ) {
      NODE hsyz,tsyz,prev;
   
      hsyz = 0;
      for ( i = 0; i < ngen; i++ ) {
        tsyz = syzlist[i];
        for ( prev = 0; tsyz != 0; prev = tsyz, tsyz = NEXT(tsyz))
          BDY(tsyz) = (pointer)sigtodpm((SIG)BDY(tsyz));
        if ( prev != 0 ) {
          prev->next = hsyz; hsyz = syzlist[i];
        }
      }
      *syzp = hsyz;
    } else *syzp = 0;
    return g;
 }  }
   
 /* splist = [[i1,i2],...] */  /* splist = [[i1,i2],...] */
Line 2201  again:
Line 3015  again:
       d = nd_reconstruct(0,d);        d = nd_reconstruct(0,d);
       goto again;        goto again;
     }      }
     stat = nd_nf(m,0,h,nd_ps,!Top,&nf);      stat = nd_nf(m,0,h,nd_ps,!nd_top&&!Top,&nf);
     if ( !stat ) {      if ( !stat ) {
       NEXT(l) = d; d = l;        NEXT(l) = d; d = l;
       d = nd_reconstruct(0,d);        d = nd_reconstruct(0,d);
Line 2376  again:
Line 3190  again:
       goto again;        goto again;
     }      }
 #if USE_GEOBUCKET  #if USE_GEOBUCKET
     stat = nd_nf_pbucket(m,h,nd_ps,!Top,&nf);      stat = nd_nf_pbucket(m,h,nd_ps,!nd_top&&!Top,&nf);
 #else  #else
     stat = nd_nf(m,0,h,nd_ps,!Top,&nf);      stat = nd_nf(m,0,h,nd_ps,!nd_top&&!Top,&nf);
 #endif  #endif
     if ( !stat ) {      if ( !stat ) {
       NEXT(l) = d; d = l;        NEXT(l) = d; d = l;
Line 2391  again:
Line 3205  again:
       } else        } else
         nfq = 0;          nfq = 0;
       if ( !nfq ) {        if ( !nfq ) {
         if ( !nd_sp(0,1,l,&h) || !nd_nf(0,0,h,nd_ps_trace,!Top,&nfq) ) {          if ( !nd_sp(0,1,l,&h) || !nd_nf(0,0,h,nd_ps_trace,!nd_top&&!Top,&nfq) ) {
           NEXT(l) = d; d = l;            NEXT(l) = d; d = l;
           d = nd_reconstruct(1,d);            d = nd_reconstruct(1,d);
           goto again;            goto again;
Line 2427  again:
Line 3241  again:
             nd_tracelist = t;              nd_tracelist = t;
           }            }
         }          }
         nh = ndv_newps(0,nfv,nfqv,0);          nh = ndv_newps(0,nfv,nfqv);
         if ( ishomo && ++diag_count == diag_period ) {          if ( ishomo && ++diag_count == diag_period ) {
           diag_count = 0;            diag_count = 0;
           if ( DP_Print > 2 ) fprintf(asir_out,"|");            if ( DP_Print > 2 ) fprintf(asir_out,"|");
Line 2457  again:
Line 3271  again:
     }      }
   }    }
   conv_ilist(nd_demand,1,g,indp);    conv_ilist(nd_demand,1,g,indp);
   if ( DP_Print ) { printf("nd_gb_trace done.\n"); fflush(stdout); }    if ( DP_Print ) { printf("\nnd_gb_trace done.\n"); fflush(stdout); }
   return g;    return g;
 }  }
   
Line 2497  NODE ndv_reduceall(int m,NODE f)
Line 3311  NODE ndv_reduceall(int m,NODE f)
   
   if ( nd_nora ) return f;    if ( nd_nora ) return f;
   n = length(f);    n = length(f);
   ndv_setup(m,0,f,0,1);    ndv_setup(m,0,f,0,1,0);
   perm = (int *)MALLOC(n*sizeof(int));    perm = (int *)MALLOC(n*sizeof(int));
   if ( nd_gentrace ) {    if ( nd_gentrace ) {
     for ( t = nd_tracelist, i = 0; i < n; i++, t = NEXT(t) )      for ( t = nd_tracelist, i = 0; i < n; i++, t = NEXT(t) )
Line 2545  NODE ndv_reduceall(int m,NODE f)
Line 3359  NODE ndv_reduceall(int m,NODE f)
   return a0;    return a0;
 }  }
   
   int ndplength(ND_pairs d)
   {
     int i;
     for ( i = 0; d; i++ ) d = NEXT(d);
     return i;
   }
   
 ND_pairs update_pairs( ND_pairs d, NODE /* of index */ g, int t, int gensyz)  ND_pairs update_pairs( ND_pairs d, NODE /* of index */ g, int t, int gensyz)
 {  {
   ND_pairs d1,nd,cur,head,prev,remove;    ND_pairs d1,nd,cur,head,prev,remove;
     int len0;
   
   if ( !g ) return d;    if ( !g ) return d;
   /* for testing */    /* for testing */
Line 2564  ND_pairs update_pairs( ND_pairs d, NODE /* of index */
Line 3386  ND_pairs update_pairs( ND_pairs d, NODE /* of index */
   }    }
   d = crit_B(d,t);    d = crit_B(d,t);
   d1 = nd_newpairs(g,t);    d1 = nd_newpairs(g,t);
     len0 = ndplength(d1);
   d1 = crit_M(d1);    d1 = crit_M(d1);
   d1 = crit_F(d1);    d1 = crit_F(d1);
     NcriMF += len0-ndplength(d1);
   if ( gensyz || do_weyl )    if ( gensyz || do_weyl )
     head = d1;      head = d1;
   else {    else {
Line 2575  ND_pairs update_pairs( ND_pairs d, NODE /* of index */
Line 3399  ND_pairs update_pairs( ND_pairs d, NODE /* of index */
         remove = cur;          remove = cur;
         if ( !prev ) head = cur = NEXT(cur);          if ( !prev ) head = cur = NEXT(cur);
         else cur = NEXT(prev) = NEXT(cur);          else cur = NEXT(prev) = NEXT(cur);
         FREENDP(remove);          FREENDP(remove); Ncri2++;
       } else {        } else {
         prev = cur; cur = NEXT(cur);          prev = cur; cur = NEXT(cur);
       }        }
Line 2591  ND_pairs update_pairs( ND_pairs d, NODE /* of index */
Line 3415  ND_pairs update_pairs( ND_pairs d, NODE /* of index */
   }    }
 }  }
   
   ND_pairs merge_pairs_s(ND_pairs d,ND_pairs d1);
   
   ND_pairs update_pairs_s( ND_pairs d, int t,NODE *syz)
   {
     ND_pairs d1;
     struct oEGT eg1,eg2,eg3;
   
     if ( !t ) return d;
   get_eg(&eg1);
     d1 = nd_newpairs_s(t,syz);
   get_eg(&eg2); add_eg(&eg_create,&eg1,&eg2);
     d = merge_pairs_s(d,d1);
   get_eg(&eg3); add_eg(&eg_merge,&eg2,&eg3);
     return d;
   }
   
 ND_pairs nd_newpairs( NODE g, int t )  ND_pairs nd_newpairs( NODE g, int t )
 {  {
   NODE h;    NODE h;
Line 2601  ND_pairs nd_newpairs( NODE g, int t )
Line 3440  ND_pairs nd_newpairs( NODE g, int t )
   
   dl = DL(nd_psh[t]);    dl = DL(nd_psh[t]);
   ts = SG(nd_psh[t]) - TD(dl);    ts = SG(nd_psh[t]) - TD(dl);
   if ( nd_module && nd_intersect && (MPOS(dl) > 1) ) return 0;    if ( nd_module && nd_intersect && (MPOS(dl) > nd_intersect) ) return 0;
   for ( r0 = 0, h = g; h; h = NEXT(h) ) {    for ( r0 = 0, h = g; h; h = NEXT(h) ) {
     if ( nd_module && (MPOS(DL(nd_psh[(long)BDY(h)])) != MPOS(dl)) )      if ( nd_module && (MPOS(DL(nd_psh[(long)BDY(h)])) != MPOS(dl)) )
       continue;        continue;
Line 2615  ND_pairs nd_newpairs( NODE g, int t )
Line 3454  ND_pairs nd_newpairs( NODE g, int t )
       if ( nd_gbblock[i] >= 0 )        if ( nd_gbblock[i] >= 0 )
         continue;          continue;
     }      }
     NEXTND_pairs(r0,r);      NEXTND_pairs(r0,r); Npairs++;
     r->i1 = (long)BDY(h);      r->i1 = (long)BDY(h);
     r->i2 = t;      r->i2 = t;
     ndl_lcm(DL(nd_psh[r->i1]),dl,r->lcm);      ndl_lcm(DL(nd_psh[r->i1]),dl,r->lcm);
Line 2629  ND_pairs nd_newpairs( NODE g, int t )
Line 3468  ND_pairs nd_newpairs( NODE g, int t )
   return r0;    return r0;
 }  }
   
   int sig_cmpdl_op(int n,DL d1,DL d2)
   {
     int e1,e2,i,j,l;
     int *t1,*t2;
     int len,head;
     struct order_pair *pair;
   
     len = nd_sba_modord->block_length;
     pair = nd_sba_modord->order_pair;
   
     head = 0;
     for ( i = 0, t1 = d1->d, t2 = d2->d; i < len; i++ ) {
       l = pair[i].length;
       switch ( pair[i].order ) {
         case 0:
           for ( j = 0, e1 = e2 = 0; j < l; j++ ) {
             e1 += t1[j];
             e2 += t2[j];
           }
           if ( e1 > e2 )
             return 1;
           else if ( e1 < e2 )
             return -1;
           else {
             for ( j = l - 1; j >= 0 && t1[j] == t2[j]; j-- );
             if ( j >= 0 )
               return t1[j] < t2[j] ? 1 : -1;
           }
           break;
         case 1:
           for ( j = 0, e1 = e2 = 0; j < l; j++ ) {
             e1 += t1[j];
             e2 += t2[j];
           }
           if ( e1 > e2 )
             return 1;
           else if ( e1 < e2 )
             return -1;
           else {
             for ( j = 0; j < l && t1[j] == t2[j]; j++ );
             if ( j < l )
               return t1[j] > t2[j] ? 1 : -1;
           }
           break;
         case 2:
           for ( j = 0; j < l && t1[j] == t2[j]; j++ );
           if ( j < l )
             return t1[j] > t2[j] ? 1 : -1;
           break;
         default:
           error("sig_cmpdl_op : invalid order"); break;
       }
       t1 += l; t2 += l; head += l;
     }
     return 0;
   }
   
   int sig_cmpdl_mat(int n,DL d1,DL d2)
   {
     int *v,*t1,*t2;
     int s,i,j,len;
     int **matrix;
     static int *w;
     static int nvar = 0;
   
     if ( nvar != n ) {
       nvar = n; w = (int *)MALLOC(n*sizeof(int));
     }
     for ( i = 0, t1 = d1->d, t2 = d2->d; i < n; i++ )
       w[i] = t1[i]-t2[i];
     len = nd_sba_modord->row;
     matrix = nd_sba_modord->matrix;
     for ( j = 0; j < len; j++ ) {
       v = matrix[j];
       for ( i = 0, s = 0; i < n; i++ )
         s += v[i]*w[i];
       if ( s > 0 )
         return 1;
       else if ( s < 0 )
         return -1;
     }
     return 0;
   }
   
   struct comp_sig_spec *create_comp_sig_spec(VL current_vl,VL old_vl,Obj ord,Obj weight)
   {
     struct comp_sig_spec *spec;
     VL ovl,vl;
     V ov;
     int i,j,n,nvar,s;
     NODE node,t,tn;
     struct order_pair *l;
     MAT m;
     Obj **b;
     int **w;
     int *a;
   
     spec = (struct comp_sig_spec *)MALLOC(sizeof(struct comp_sig_spec));
     for ( i = 0, vl = current_vl; vl; vl = NEXT(vl), i++ );
     spec->n = nvar = i;
     if ( old_vl != 0 ) {
       spec->oldv = (int *)MALLOC(nvar*sizeof(int));
       for ( i = 0, ovl = old_vl; i < nvar; ovl = NEXT(ovl), i++ ) {
         ov = ovl->v;
         for ( j = 0, vl = current_vl; vl; vl = NEXT(vl), j++ )
           if ( ov == vl->v ) break;
         spec->oldv[i] = j;
       }
     } else
       spec->oldv = 0;
     if ( !ord || NUM(ord) ) {
       switch ( ZTOS((Z)ord) ) {
         case 0:
           spec->cmpdl = cmpdl_revgradlex; break;
         case 1:
           spec->cmpdl = cmpdl_gradlex; break;
         case 2:
           spec->cmpdl = cmpdl_lex; break;
         default:
           error("create_comp_sig_spec : invalid spec"); break;
       }
     } else if ( OID(ord) == O_LIST ) {
       node = BDY((LIST)ord);
       for ( n = 0, t = node; t; t = NEXT(t), n++ );
       l = (struct order_pair *)MALLOC_ATOMIC(n*sizeof(struct order_pair));
       for ( i = 0, t = node, s = 0; i < n; t = NEXT(t), i++ ) {
         tn = BDY((LIST)BDY(t)); l[i].order = ZTOS((Q)BDY(tn));
         tn = NEXT(tn); l[i].length = ZTOS((Q)BDY(tn));
         s += l[i].length;
       }
       if ( s != nvar )
         error("create_comp_sig_spec : invalid spec");
       spec->order_pair = l;
       spec->block_length = n;
       spec->cmpdl = sig_cmpdl_op;
     } else if ( OID(ord) == O_MAT ) {
       m = (MAT)ord; b = (Obj **)BDY(m);
       if ( m->col != nvar )
         error("create_comp_sig_spec : invalid spec");
       w = almat(m->row,m->col);
       for ( i = 0; i < m->row; i++ )
         for ( j = 0; j < m->col; j++ )
           w[i][j] = ZTOS((Q)b[i][j]);
       spec->row = m->row;
       spec->matrix = w;
       spec->cmpdl = sig_cmpdl_mat;
     } else
       error("create_comp_sig_spec : invalid spec");
     if ( weight != 0 ) {
       node = BDY((LIST)weight);
       a = (int *)MALLOC(nvar*sizeof(int));
       for ( i = 0; i < nvar; i++, node = NEXT(node) )
         a[i] = ZTOS((Z)BDY(node));
       spec->weight = a;
     }
     return spec;
   }
   
   #define SIG_MUL_WEIGHT(a,i) (weight?(a)*weight[i]:(a))
   
   int comp_sig_monomial(int n,DL d1,DL d2)
   {
     static DL m1,m2;
     static int nvar = 0;
     int *oldv,*weight;
     int i,w1,w2;
   
     if ( nvar != n ) {
       nvar = n; NEWDL(m1,nvar); NEWDL(m2,nvar);
     }
     if ( !nd_sba_modord )
       return (*cmpdl)(n,d1,d2);
     else {
       weight = nd_sba_modord->weight;
       oldv = nd_sba_modord->oldv;
       if ( oldv ) {
         for ( i = 0; i < n; i++ ) {
           m1->d[i] = d1->d[oldv[i]]; m2->d[i] = d2->d[oldv[i]];
         }
       } else {
         for ( i = 0; i < n; i++ ) {
           m1->d[i] = d1->d[i]; m2->d[i] = d2->d[i];
         }
       }
       for ( i = 0, w1 = w2 = 0; i < n; i++ ) {
         w1 += SIG_MUL_WEIGHT(m1->d[i],i);
         w2 += SIG_MUL_WEIGHT(m2->d[i],i);
       }
       m1->td = w1; m2->td = w2;
       return (*nd_sba_modord->cmpdl)(n,m1,m2);
     }
   }
   
   int comp_sig(SIG s1,SIG s2)
   {
     if ( nd_sba_pot ) {
       if ( s1->pos > s2->pos ) return 1;
       else if ( s1->pos < s2->pos ) return -1;
       else return comp_sig_monomial(nd_nvar,s1->dl,s2->dl);
     } else {
       static DL m1,m2;
       static int nvar = 0;
       int ret;
   
       if ( nvar != nd_nvar ) {
         nvar = nd_nvar; NEWDL(m1,nvar); NEWDL(m2,nvar);
       }
       _adddl(nd_nvar,s1->dl,nd_sba_hm[s1->pos],m1);
       _adddl(nd_nvar,s2->dl,nd_sba_hm[s2->pos],m2);
       ret = comp_sig_monomial(nd_nvar,m1,m2);
       if ( ret != 0 ) return ret;
       else if ( s1->pos > s2->pos ) return 1;
       else if ( s1->pos < s2->pos ) return -1;
       else return 0;
     }
   }
   
   int _create_spair_s(int i1,int i2,ND_pairs sp,SIG sig1,SIG sig2)
   {
     int ret,s1,s2;
     RHist p1,p2;
     static int wpd;
     static UINT *lcm;
   
     sp->i1 = i1;
     sp->i2 = i2;
     p1 = nd_psh[i1];
     p2 = nd_psh[i2];
     ndl_lcm(DL(p1),DL(p2),sp->lcm);
     s1 = SG(p1)-TD(DL(p1));
     s2 = SG(p2)-TD(DL(p2));
     SG(sp) = MAX(s1,s2) + TD(sp->lcm);
   
     if ( wpd != nd_wpd ) {
       wpd = nd_wpd;
       lcm = (UINT *)MALLOC(wpd*sizeof(UINT));
     }
     // DL(sig1) <- sp->lcm
     // DL(sig1) -= DL(p1)
     // DL(sig1) += DL(p1->sig)
     ndl_sub(sp->lcm,DL(p1),lcm);
     _ndltodl(lcm,DL(sig1));
     _addtodl(nd_nvar,DL(p1->sig),DL(sig1));
     sig1->pos = p1->sig->pos;
   
     // DL(sig2) <- sp->lcm
     // DL(sig2) -= DL(p2)
     // DL(sig2) += DL(p2->sig)
     ndl_sub(sp->lcm,DL(p2),lcm);
     _ndltodl(lcm,DL(sig2));
     _addtodl(nd_nvar,DL(p2->sig),DL(sig2));
     sig2->pos = p2->sig->pos;
   
     ret = comp_sig(sig1,sig2);
     if ( ret == 0 ) return 0;
     else if ( ret > 0 ) sp->sig = sig1;
     else sp->sig = sig2;
     return 1;
   }
   
   SIG dup_sig(SIG sig)
   {
     SIG r;
   
     if ( !sig ) return 0;
     else {
       NEWSIG(r);
       _copydl(nd_nvar,DL(sig),DL(r));
       r->pos = sig->pos;
       return r;
     }
   }
   
   void dup_ND_pairs(ND_pairs to,ND_pairs from)
   {
     to->i1 = from->i1;
     to->i2 = from->i2;
     to->sugar = from->sugar;
     to->sugar2 = from->sugar2;
     ndl_copy(from->lcm,to->lcm);
     to->sig = dup_sig(from->sig);
   }
   
   ND_pairs merge_pairs_s(ND_pairs p1,ND_pairs p2)
   {
     struct oND_pairs root;
     ND_pairs q1,q2,r0,r;
     int ret;
   
     r = &root;
     for ( q1 = p1, q2 = p2; q1 != 0 && q2 != 0; ) {
       ret = comp_sig(q1->sig,q2->sig);
       if ( ret < 0 ) {
         r->next = q1; r = q1; q1 = q1->next;
       } else if ( ret > 0 ) {
         r->next = q2; r = q2; q2 = q2->next;
       } else {
         ret = DL_COMPARE(q1->lcm,q2->lcm);
         Nsamesig++;
         if ( ret < 0 ) {
           r->next = q1; r = q1; q1 = q1->next;
           q2 = q2->next;
         } else {
           r->next = q2; r = q2; q2 = q2->next;
           q1 = q1->next;
         }
       }
     }
     if ( q1 ) {
       r->next = q1;
     } else {
       r->next = q2;
     }
     return root.next;
   }
   
   ND_pairs insert_pair_s(ND_pairs l,ND_pairs s)
   {
     ND_pairs p,prev;
     int ret;
   
     for ( p = l, prev = 0; p != 0; prev = p, p = p->next ) {
       if ( (ret = comp_sig(s->sig,p->sig)) <= 0 )
         break;
     }
     if ( ret == 0 ) {
       ret = DL_COMPARE(s->lcm,p->lcm);
       if ( ret < 0 ) {
         // replace p with s
         s->next = p->next;
         if ( prev == 0 ) {
           return s;
         } else {
           prev->next = s;
           return l;
         }
       } else
         return l;
     } else {
       // insert s between prev and p
       s->next = p;
       if ( prev == 0 ) {
         return s;
       } else {
         prev->next = s;
         return l;
       }
     }
   }
   
   INLINE int __dl_redble(DL d1,DL d2,int nvar)
   {
     int i;
   
     if ( d1->td > d2->td )
       return 0;
     for ( i = nvar-1; i >= 0; i-- )
       if ( d1->d[i] > d2->d[i] )
         break;
     if ( i >= 0 )
       return 0;
     else
       return 1;
   }
   
   ND_pairs nd_newpairs_s(int t, NODE *syz)
   {
     NODE h,s;
     UINT *dl;
     int ts,ret,i;
     ND_pairs r,r0,_sp,sp;
     SIG spsig,tsig;
     static int nvar = 0;
     static SIG _sig1,_sig2;
     struct oEGT eg1,eg2,eg3,eg4;
   
     NEWND_pairs(_sp);
     if ( !_sig1 || nvar != nd_nvar ) {
       nvar = nd_nvar; NEWSIG(_sig1); NEWSIG(_sig2);
     }
     r0 = 0;
     for ( i = 0; i < t; i++ ) {
       ret = _create_spair_s(i,t,_sp,_sig1,_sig2);
       if ( ret ) {
         spsig = _sp->sig;
         for ( s = syz[spsig->pos]; s; s = s->next ) {
           tsig = (SIG)s->body;
           if ( _dl_redble(DL(tsig),DL(spsig),nd_nvar) )
             break;
         }
         if ( s == 0 ) {
           NEWND_pairs(sp);
           dup_ND_pairs(sp,_sp);
           r0 = insert_pair_s(r0,sp);
         } else
           Nsyz++;
       }
     }
     return r0;
   }
   
 /* ipair = [i1,i2],[i1,i2],... */  /* ipair = [i1,i2],[i1,i2],... */
 ND_pairs nd_ipairtospair(NODE ipair)  ND_pairs nd_ipairtospair(NODE ipair)
 {  {
Line 2679  ND_pairs crit_B( ND_pairs d, int s )
Line 3919  ND_pairs crit_B( ND_pairs d, int s )
           } else {            } else {
             cur = NEXT(prev) = NEXT(cur);              cur = NEXT(prev) = NEXT(cur);
           }            }
           FREENDP(remove);            FREENDP(remove); NcriB++;
         } else {          } else {
           prev = cur; cur = NEXT(cur);            prev = cur; cur = NEXT(cur);
         }          }
Line 2906  ND_pairs nd_minsugarp( ND_pairs d, ND_pairs *prest )
Line 4146  ND_pairs nd_minsugarp( ND_pairs d, ND_pairs *prest )
     return dm0;      return dm0;
 }  }
   
   ND_pairs nd_minsugarp_s( ND_pairs d, ND_pairs *prest )
   {
     int msugar;
     ND_pairs t,last;
   
     for ( msugar = SG(d), t = d; t; t = NEXT(t) )
       if ( SG(t) == msugar ) last = t;
     *prest = last->next;
     last->next = 0;
     return d;
   }
   
 int nd_tdeg(NDV c)  int nd_tdeg(NDV c)
 {  {
   int wmax = 0;    int wmax = 0;
Line 2918  int nd_tdeg(NDV c)
Line 4170  int nd_tdeg(NDV c)
   return wmax;    return wmax;
 }  }
   
 int ndv_newps(int m,NDV a,NDV aq,int f4)  int ndv_newps(int m,NDV a,NDV aq)
 {  {
     int len;      int len;
     RHist r;      RHist r;
Line 2954  int ndv_newps(int m,NDV a,NDV aq,int f4)
Line 4206  int ndv_newps(int m,NDV a,NDV aq,int f4)
         SG(r) = nd_tdeg(aq);          SG(r) = nd_tdeg(aq);
 #endif  #endif
         ndl_copy(HDL(aq),DL(r));          ndl_copy(HDL(aq),DL(r));
           r->sig = dup_sig(aq->sig);
     } else {      } else {
         if ( !m ) register_hcf(a);          if ( !m ) register_hcf(a);
         nd_bound[nd_psn] = ndv_compute_bound(a);          nd_bound[nd_psn] = ndv_compute_bound(a);
Line 2963  int ndv_newps(int m,NDV a,NDV aq,int f4)
Line 4216  int ndv_newps(int m,NDV a,NDV aq,int f4)
         SG(r) = nd_tdeg(a);          SG(r) = nd_tdeg(a);
 #endif  #endif
         ndl_copy(HDL(a),DL(r));          ndl_copy(HDL(a),DL(r));
           r->sig = dup_sig(a->sig);
     }      }
     if ( nd_demand ) {      if ( nd_demand ) {
         if ( aq ) {          if ( aq ) {
Line 2985  int ndv_newps(int m,NDV a,NDV aq,int f4)
Line 4239  int ndv_newps(int m,NDV a,NDV aq,int f4)
     return nd_psn++;      return nd_psn++;
 }  }
   
   // find LM wrt the specified modord
   void ndv_lm_modord(NDV p,DL d)
   {
     NMV m;
     DL tmp;
     int len,i,ret;
   
     NEWDL(tmp,nd_nvar);
     m = BDY(p); len = LEN(p);
     _ndltodl(DL(m),d); // printdl(d); printf("->");
     for ( i = 1, NMV_ADV(m); i < len; i++, NMV_ADV(m) ) {
       _ndltodl(DL(m),tmp);
       ret = comp_sig_monomial(nd_nvar,tmp,d);
       if ( ret > 0 ) _copydl(nd_nvar,tmp,d);
     }
   //   printdl(d); printf("\n");
   }
   
 /* nd_tracelist = [[0,index,div],...,[nd_psn-1,index,div]] */  /* nd_tracelist = [[0,index,div],...,[nd_psn-1,index,div]] */
 /* return 1 if success, 0 if failure (HC(a mod p)) */  /* return 1 if success, 0 if failure (HC(a mod p)) */
   
 int ndv_setup(int mod,int trace,NODE f,int dont_sort,int dont_removecont)  int ndv_setup(int mod,int trace,NODE f,int dont_sort,int dont_removecont,int sba)
 {  {
   int i,j,td,len,max;    int i,j,td,len,max;
   NODE s,s0,f0,tn;    NODE s,s0,f0,tn;
Line 3012  int ndv_setup(int mod,int trace,NODE f,int dont_sort,i
Line 4284  int ndv_setup(int mod,int trace,NODE f,int dont_sort,i
     if ( BDY(s) ) { w[i].p = BDY(s); w[i].i = j; i++; }      if ( BDY(s) ) { w[i].p = BDY(s); w[i].i = j; i++; }
   if ( !dont_sort ) {    if ( !dont_sort ) {
     /* XXX heuristic */      /* XXX heuristic */
     if ( !nd_ord->id && (nd_ord->ord.simple<2) )      if ( !sba && !nd_ord->id && (nd_ord->ord.simple<2) )
       qsort(w,nd_psn,sizeof(struct oNDVI),        qsort(w,nd_psn,sizeof(struct oNDVI),
         (int (*)(const void *,const void *))ndvi_compare_rev);          (int (*)(const void *,const void *))ndvi_compare_rev);
     else      else
Line 3088  int ndv_setup(int mod,int trace,NODE f,int dont_sort,i
Line 4360  int ndv_setup(int mod,int trace,NODE f,int dont_sort,i
       }        }
     }      }
   }    }
     if ( sba ) {
       nd_sba_hm = (DL *)MALLOC(nd_psn*sizeof(DL));
      // setup signatures
       for ( i = 0; i < nd_psn; i++ ) {
         SIG sig;
   
         NEWSIG(sig); sig->pos = i;
         nd_ps[i]->sig = sig;
         if ( nd_demand ) nd_ps_sym[i]->sig = sig;
           nd_psh[i]->sig = sig;
         if ( trace ) {
           nd_ps_trace[i]->sig = sig;
           if ( nd_demand ) nd_ps_trace_sym[i]->sig = sig;
         }
         NEWDL(nd_sba_hm[i],nd_nvar);
         if ( nd_sba_modord )
           ndv_lm_modord(nd_ps[i],nd_sba_hm[i]);
         else
           _ndltodl(DL(nd_psh[i]),nd_sba_hm[i]);
       }
       nd_sba_pos = (NODE *)MALLOC(nd_psn*sizeof(NODE));
       for ( i = 0; i < nd_psn; i++ ) {
         j = nd_psh[i]->sig->pos;
         nd_sba_pos[j] = append_one(nd_sba_pos[j],i);
       }
     }
   if ( nd_gentrace && nd_tracelist ) NEXT(tn) = 0;    if ( nd_gentrace && nd_tracelist ) NEXT(tn) = 0;
   return 1;    return 1;
 }  }
Line 3220  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
Line 4518  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
     int *perm;      int *perm;
     EPOS oepos;      EPOS oepos;
     int obpe,oadv,ompos,cbpe;      int obpe,oadv,ompos,cbpe;
       VECT hvect;
   
       NcriB = NcriMF = Ncri2 = 0;
     nd_module = 0;      nd_module = 0;
     if ( !m && Demand ) nd_demand = 1;      if ( !m && Demand ) nd_demand = 1;
     else nd_demand = 0;      else nd_demand = 0;
     parse_nd_option(current_option);  
   
     if ( DP_Multiple )      if ( DP_Multiple )
         nd_scale = ((double)DP_Multiple)/(double)(Denominator?Denominator:1);          nd_scale = ((double)DP_Multiple)/(double)(Denominator?Denominator:1);
Line 3232  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
Line 4531  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
     ndv_alloc = 0;      ndv_alloc = 0;
 #endif  #endif
     get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);      get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);
       parse_nd_option(vv,current_option);
     if ( m && nd_vc )      if ( m && nd_vc )
        error("nd_{gr,f4} : computation over Fp(X) is unsupported. Use dp_gr_mod_main().");         error("nd_{gr,f4} : computation over Fp(X) is unsupported. Use dp_gr_mod_main().");
     for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );      for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );
Line 3263  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
Line 4563  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
     for ( t = BDY(f), max = 1; t; t = NEXT(t) )      for ( t = BDY(f), max = 1; t; t = NEXT(t) )
         for ( tv = vv; tv; tv = NEXT(tv) ) {          for ( tv = vv; tv; tv = NEXT(tv) ) {
             if ( nd_module ) {              if ( nd_module ) {
                 s = BDY((LIST)BDY(t));                  if ( OID(BDY(t)) == O_DPM ) {
                 trank = length(s);                    e = dpm_getdeg((DPM)BDY(t),&trank);
                 mrank = MAX(mrank,trank);                    max = MAX(e,max);
                 for ( ; s; s = NEXT(s) ) {                    mrank = MAX(mrank,trank);
                     e = getdeg(tv->v,(P)BDY(s));                  } else {
                     max = MAX(e,max);                    s = BDY((LIST)BDY(t));
                     trank = length(s);
                     mrank = MAX(mrank,trank);
                     for ( ; s; s = NEXT(s) ) {
                         e = getdeg(tv->v,(P)BDY(s));
                         max = MAX(e,max);
                     }
                 }                  }
             } else {              } else {
                 e = getdeg(tv->v,(P)BDY(t));                  if ( OID(BDY(t)) == O_DP ) {
                 max = MAX(e,max);                    e = dp_getdeg((DP)BDY(t));
                     max = MAX(e,max);
                   } else {
                     e = getdeg(tv->v,(P)BDY(t));
                     max = MAX(e,max);
                   }
             }              }
         }          }
     nd_setup_parameters(nvar,nd_nzlist?0:max);      nd_setup_parameters(nvar,nd_nzlist?0:max);
Line 3280  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
Line 4591  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
     ishomo = 1;      ishomo = 1;
     for ( fd0 = 0, t = BDY(f); t; t = NEXT(t) ) {      for ( fd0 = 0, t = BDY(f); t; t = NEXT(t) ) {
       if ( nd_module ) {        if ( nd_module ) {
         if ( !m && !nd_gentrace ) pltozpl((LIST)BDY(t),&dmy,&zpl);          if ( OID(BDY(t)) == O_DPM ) {
         else zpl = (LIST)BDY(t);            Z cont;
             DPM zdpm;
   
             if ( !m && !nd_gentrace ) dpm_ptozp((DPM)BDY(t),&cont,&zdpm);
             else zdpm = (DPM)BDY(t);
             b = (pointer)dpmtondv(m,zdpm);
           } else {
             if ( !m && !nd_gentrace ) pltozpl((LIST)BDY(t),&dmy,&zpl);
             else zpl = (LIST)BDY(t);
           b = (pointer)pltondv(CO,vv,zpl);            b = (pointer)pltondv(CO,vv,zpl);
           }
       } else {        } else {
         if ( !m && !nd_gentrace ) ptozp((P)BDY(t),1,&dmy,&zp);          if ( OID(BDY(t)) == O_DP ) {
         else zp = (P)BDY(t);            DP zdp;
         b = (pointer)ptondv(CO,vv,zp);  
             if ( !m && !nd_gentrace ) dp_ptozp((DP)BDY(t),&zdp);
             else zdp = (DP)BDY(t);
             b = (pointer)dptondv(m,zdp);
           } else {
             if ( !m && !nd_gentrace ) ptozp((P)BDY(t),1,&dmy,&zp);
             else zp = (P)BDY(t);
             b = (pointer)ptondv(CO,vv,zp);
           }
       }        }
       if ( ishomo )        if ( ishomo )
         ishomo = ishomo && ndv_ishomo(b);          ishomo = ishomo && ndv_ishomo(b);
Line 3308  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
Line 4636  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
             ndv_homogenize((NDV)BDY(t),obpe,oadv,oepos,ompos);              ndv_homogenize((NDV)BDY(t),obpe,oadv,oepos,ompos);
     }      }
   
     ndv_setup(m,0,fd0,(nd_gbblock||nd_splist||nd_check_splist)?1:0,0);      ndv_setup(m,0,fd0,(nd_gbblock||nd_splist||nd_check_splist)?1:0,0,0);
     if ( nd_gentrace ) {      if ( nd_gentrace ) {
         MKLIST(l1,nd_tracelist); MKNODE(nd_alltracelist,l1,0);          MKLIST(l1,nd_tracelist); MKNODE(nd_alltracelist,l1,0);
     }      }
Line 3330  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
Line 4658  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
   if ( !x ) {    if ( !x ) {
     *rp = 0; return;      *rp = 0; return;
   }    }
     if ( nd_gentrace ) {
       MKVECT(hvect,nd_psn);
       for ( i = 0; i < nd_psn; i++ )
          ndltodp(nd_psh[i]->dl,(DP *)&BDY(hvect)[i]);
     }
   if ( !ishomo && homo ) {    if ( !ishomo && homo ) {
        /* dehomogenization */         /* dehomogenization */
     for ( t = x; t; t = NEXT(t) ) ndv_dehomogenize((NDV)BDY(t),ord);      for ( t = x; t; t = NEXT(t) ) ndv_dehomogenize((NDV)BDY(t),ord);
Line 3339  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
Line 4672  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
     nd_demand = 0;      nd_demand = 0;
   if ( nd_module && nd_intersect ) {    if ( nd_module && nd_intersect ) {
     for ( j = nd_psn-1, x = 0; j >= 0; j-- )      for ( j = nd_psn-1, x = 0; j >= 0; j-- )
       if ( MPOS(DL(nd_psh[j])) > 1 ) {        if ( MPOS(DL(nd_psh[j])) > nd_intersect ) {
         MKNODE(xx,(pointer)((unsigned long)j),x); x = xx;          MKNODE(xx,(pointer)((unsigned long)j),x); x = xx;
       }        }
     conv_ilist(nd_demand,0,x,0);      conv_ilist(nd_demand,0,x,0);
Line 3363  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
Line 4696  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
     nd_setup_parameters(nd_nvar,0);      nd_setup_parameters(nd_nvar,0);
 FINAL:  FINAL:
     for ( r0 = 0, t = x; t; t = NEXT(t) ) {      for ( r0 = 0, t = x; t; t = NEXT(t) ) {
         NEXTNODE(r0,r);        NEXTNODE(r0,r);
         if ( nd_module ) BDY(r) = ndvtopl(m,CO,vv,BDY(t),mrank);        if ( nd_module ) {
         else if ( retdp ) BDY(r) = ndvtodp(m,BDY(t));          if ( retdp ) BDY(r) = ndvtodpm(m,BDY(t));
     else BDY(r) = ndvtop(m,CO,vv,BDY(t));          else BDY(r) = ndvtopl(m,CO,vv,BDY(t),mrank);
         } else if ( retdp ) BDY(r) = ndvtodp(m,BDY(t));
         else BDY(r) = ndvtop(m,CO,vv,BDY(t));
     }      }
     if ( r0 ) NEXT(r) = 0;      if ( r0 ) NEXT(r) = 0;
     if ( !m && nd_nalg )      if ( !m && nd_nalg )
Line 3376  FINAL:
Line 4711  FINAL:
   if ( f4 ) {    if ( f4 ) {
             STOZ(16,bpe);              STOZ(16,bpe);
             STOZ(nd_last_nonzero,last_nonzero);              STOZ(nd_last_nonzero,last_nonzero);
             tr = mknode(5,*rp,(!ishomo&&homo)?ONE:0,BDY(nzlist),bpe,last_nonzero); MKLIST(*rp,tr);              tr = mknode(6,*rp,(!ishomo&&homo)?ONE:0,BDY(nzlist),bpe,last_nonzero,hvect); MKLIST(*rp,tr);
   
         } else {          } else {
             tl1 = reverse_node(tl1); tl2 = reverse_node(tl2);              tl1 = reverse_node(tl1); tl2 = reverse_node(tl2);
             tl3 = reverse_node(tl3);              tl3 = reverse_node(tl3);
Line 3397  FINAL:
Line 4731  FINAL:
             MKLIST(l1,tl1); MKLIST(l2,tl2); MKLIST(l3,t); MKLIST(l4,tl3);              MKLIST(l1,tl1); MKLIST(l2,tl2); MKLIST(l3,t); MKLIST(l4,tl3);
             MKLIST(l5,tl4);              MKLIST(l5,tl4);
             STOZ(nd_bpe,bpe);              STOZ(nd_bpe,bpe);
             tr = mknode(8,*rp,(!ishomo&&homo)?ONE:0,l1,l2,l3,l4,l5,bpe); MKLIST(*rp,tr);              tr = mknode(9,*rp,(!ishomo&&homo)?ONE:0,l1,l2,l3,l4,l5,bpe,hvect); MKLIST(*rp,tr);
         }          }
     }      }
 #if 0  #if 0
Line 3405  FINAL:
Line 4739  FINAL:
 #endif  #endif
 }  }
   
   NODE nd_sba_f4(int m,int **indp);
   
   void nd_sba(LIST f,LIST v,int m,int homo,int retdp,int f4,struct order_spec *ord,LIST *rp)
   {
     VL tv,fv,vv,vc,av;
     NODE fd,fd0,r,r0,t,x,s,xx,nd,syz;
     int e,max,nvar,i;
     NDV b;
     int ishomo,nalg,wmax,len;
     NMV a;
     P p,zp;
     Q dmy;
     struct order_spec *ord1;
     int j;
     int *perm;
     EPOS oepos;
     int obpe,oadv,ompos,cbpe;
     struct oEGT eg0,eg1,egconv;
   
     nd_module = 0;
     nd_demand = 0;
     Nsamesig = 0;
     if ( DP_Multiple )
       nd_scale = ((double)DP_Multiple)/(double)(Denominator?Denominator:1);
     get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);
     parse_nd_option(vv,current_option);
     if ( m && nd_vc )
       error("nd_sba : computation over Fp(X) is unsupported. Use dp_gr_mod_main().");
     for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );
     switch ( ord->id ) {
       case 1:
         if ( ord->nv != nvar )
           error("nd_sba : invalid order specification");
           break;
         default:
           break;
     }
     nd_nalg = 0;
     nd_init_ord(ord);
     // for SIG comparison
     initd(ord);
     for ( t = BDY(f), max = 1; t; t = NEXT(t) ) {
       for ( tv = vv; tv; tv = NEXT(tv) ) {
         if ( OID(BDY(t)) == O_DP ) {
           e = dp_getdeg((DP)BDY(t));
           max = MAX(e,max);
         } else {
           e = getdeg(tv->v,(P)BDY(t));
           max = MAX(e,max);
         }
       }
     }
     nd_setup_parameters(nvar,max);
     obpe = nd_bpe; oadv = nmv_adv; oepos = nd_epos; ompos = nd_mpos;
     ishomo = 1;
     for ( fd0 = 0, t = BDY(f); t; t = NEXT(t) ) {
       if ( OID(BDY(t)) == O_DP ) {
         DP zdp;
   
         if ( !m ) dp_ptozp((DP)BDY(t),&zdp);
         else zdp = (DP)BDY(t);
         b = (pointer)dptondv(m,zdp);
       } else {
         if ( !m ) ptozp((P)BDY(t),1,&dmy,&zp);
         else zp = (P)BDY(t);
         b = (pointer)ptondv(CO,vv,zp);
       }
       if ( ishomo )
         ishomo = ishomo && ndv_ishomo(b);
       if ( m ) ndv_mod(m,b);
       if ( b ) { NEXTNODE(fd0,fd); BDY(fd) = (pointer)b; }
     }
     if ( fd0 ) NEXT(fd) = 0;
   
     if ( !ishomo && homo ) {
       for ( t = fd0, wmax = max; t; t = NEXT(t) ) {
         b = (NDV)BDY(t); len = LEN(b);
         for ( a = BDY(b), i = 0; i < len; i++, NMV_ADV(a) )
           wmax = MAX(TD(DL(a)),wmax);
         }
         homogenize_order(ord,nvar,&ord1);
         nd_init_ord(ord1);
         // for SIG comparison
         initd(ord1);
         nd_setup_parameters(nvar+1,nd_nzlist?0:wmax);
         for ( t = fd0; t; t = NEXT(t) )
           ndv_homogenize((NDV)BDY(t),obpe,oadv,oepos,ompos);
     }
   
     ndv_setup(m,0,fd0,nd_sba_dontsort,0,1);
     x = f4 ? nd_sba_f4(m,&perm) : nd_sba_buch(m,ishomo || homo,&perm,&syz);
     if ( !x ) {
       *rp = 0; return;
     }
     if ( !ishomo && homo ) {
          /* dehomogenization */
       for ( t = x; t; t = NEXT(t) ) ndv_dehomogenize((NDV)BDY(t),ord);
       nd_init_ord(ord);
       // for SIG comparison
       initd(ord);
       nd_setup_parameters(nvar,0);
     }
     nd_demand = 0;
     x = ndv_reducebase(x,perm);
     x = ndv_reduceall(m,x);
     nd_setup_parameters(nd_nvar,0);
     get_eg(&eg0);
     for ( r0 = 0, t = x; t; t = NEXT(t) ) {
       NEXTNODE(r0,r);
       if ( retdp ) BDY(r) = ndvtodp(m,BDY(t));
       else BDY(r) = ndvtop(m,CO,vv,BDY(t));
     }
     if ( r0 ) NEXT(r) = 0;
     if ( nd_sba_syz ) {
       LIST gb,hsyz;
       NODE nd;
   
       MKLIST(gb,r0);
       MKLIST(hsyz,syz);
       nd = mknode(2,gb,hsyz);
       MKLIST(*rp,nd);
     } else
       MKLIST(*rp,r0);
     get_eg(&eg1); init_eg(&egconv); add_eg(&egconv,&eg0,&eg1);
     print_eg("conv",&egconv); fprintf(asir_out,"\n");
   }
   
 void nd_gr_postproc(LIST f,LIST v,int m,struct order_spec *ord,int do_check,LIST *rp)  void nd_gr_postproc(LIST f,LIST v,int m,struct order_spec *ord,int do_check,LIST *rp)
 {  {
     VL tv,fv,vv,vc,av;      VL tv,fv,vv,vc,av;
Line 3421  void nd_gr_postproc(LIST f,LIST v,int m,struct order_s
Line 4882  void nd_gr_postproc(LIST f,LIST v,int m,struct order_s
     struct order_spec *ord1;      struct order_spec *ord1;
     int *perm;      int *perm;
   
     parse_nd_option(current_option);  
     get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);      get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);
       parse_nd_option(vv,current_option);
     for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );      for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );
     switch ( ord->id ) {      switch ( ord->id ) {
         case 1:          case 1:
Line 3464  void nd_gr_postproc(LIST f,LIST v,int m,struct order_s
Line 4925  void nd_gr_postproc(LIST f,LIST v,int m,struct order_s
         if ( b ) { NEXTNODE(fd0,fd); BDY(fd) = (pointer)b; }          if ( b ) { NEXTNODE(fd0,fd); BDY(fd) = (pointer)b; }
     }      }
     if ( fd0 ) NEXT(fd) = 0;      if ( fd0 ) NEXT(fd) = 0;
     ndv_setup(m,0,fd0,0,1);      ndv_setup(m,0,fd0,0,1,0);
     for ( x = 0, i = 0; i < nd_psn; i++ )      for ( x = 0, i = 0; i < nd_psn; i++ )
         x = update_base(x,i);          x = update_base(x,i);
     if ( do_check ) {      if ( do_check ) {
Line 3569  void nd_gr_recompute_trace(LIST f,LIST v,int m,struct 
Line 5030  void nd_gr_recompute_trace(LIST f,LIST v,int m,struct 
   int len,n,j;    int len,n,j;
   NDV *db,*pb;    NDV *db,*pb;
   
     parse_nd_option(current_option);  
     get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);      get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);
       parse_nd_option(vv,current_option);
     for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );      for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );
     switch ( ord->id ) {      switch ( ord->id ) {
         case 1:          case 1:
Line 3641  void nd_gr_recompute_trace(LIST f,LIST v,int m,struct 
Line 5102  void nd_gr_recompute_trace(LIST f,LIST v,int m,struct 
     if ( DP_Print ) fprintf(asir_out,"\n");      if ( DP_Print ) fprintf(asir_out,"\n");
 }  }
   
 void nd_gr_trace(LIST f,LIST v,int trace,int homo,int f4,struct order_spec *ord,LIST *rp)  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int retdp,int f4,struct order_spec *ord,LIST *rp)
 {  {
     VL tv,fv,vv,vc,av;      VL tv,fv,vv,vc,av;
     NODE fd,fd0,in0,in,r,r0,t,s,cand,alist;      NODE fd,fd0,in0,in,r,r0,t,s,cand,alist;
Line 3664  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
Line 5125  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
     int *perm;      int *perm;
     int j,ret;      int j,ret;
     Z jq,bpe;      Z jq,bpe;
       VECT hvect;
   
       NcriB = NcriMF = Ncri2 = 0;
     nd_module = 0;      nd_module = 0;
     nd_lf = 0;      nd_lf = 0;
     parse_nd_option(current_option);      get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);
       parse_nd_option(vv,current_option);
     if ( nd_lf ) {      if ( nd_lf ) {
       if ( f4 )        if ( f4 )
         nd_f4_lf_trace(f,v,trace,homo,ord,rp);          nd_f4_lf_trace(f,v,trace,homo,ord,rp);
Line 3678  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
Line 5142  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
     if ( DP_Multiple )      if ( DP_Multiple )
         nd_scale = ((double)DP_Multiple)/(double)(Denominator?Denominator:1);          nd_scale = ((double)DP_Multiple)/(double)(Denominator?Denominator:1);
   
     get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);  
     for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );      for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );
     switch ( ord->id ) {      switch ( ord->id ) {
         case 1:          case 1:
Line 3718  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
Line 5181  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
     for ( t = BDY(f), max = 1; t; t = NEXT(t) )      for ( t = BDY(f), max = 1; t; t = NEXT(t) )
         for ( tv = vv; tv; tv = NEXT(tv) ) {          for ( tv = vv; tv; tv = NEXT(tv) ) {
             if ( nd_module ) {              if ( nd_module ) {
                 if ( OID(BDY(t)) == O_DPM ) {
                   e = dpm_getdeg((DPM)BDY(t),&trank);
                   max = MAX(e,max);
                   mrank = MAX(mrank,trank);
                 } else {
                 s = BDY((LIST)BDY(t));                  s = BDY((LIST)BDY(t));
                 trank = length(s);                  trank = length(s);
                 mrank = MAX(mrank,trank);                  mrank = MAX(mrank,trank);
Line 3725  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
Line 5193  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
                     e = getdeg(tv->v,(P)BDY(s));                      e = getdeg(tv->v,(P)BDY(s));
                     max = MAX(e,max);                      max = MAX(e,max);
                 }                  }
                 }
             } else {              } else {
                 if ( OID(BDY(t)) == O_DP ) {
                   e = dp_getdeg((DP)BDY(t));
                   max = MAX(e,max);
                 } else {
                 e = getdeg(tv->v,(P)BDY(t));                  e = getdeg(tv->v,(P)BDY(t));
                 max = MAX(e,max);                  max = MAX(e,max);
                 }
             }              }
         }          }
     nd_setup_parameters(nvar,max);      nd_setup_parameters(nvar,max);
Line 3735  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
Line 5209  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
     ishomo = 1;      ishomo = 1;
     for ( in0 = 0, fd0 = 0, t = BDY(f); t; t = NEXT(t) ) {      for ( in0 = 0, fd0 = 0, t = BDY(f); t; t = NEXT(t) ) {
         if ( nd_module ) {          if ( nd_module ) {
       if ( !nd_gentrace ) pltozpl((LIST)BDY(t),&dmy,&zpl);            if ( OID(BDY(t)) == O_DPM ) {
       else zpl = (LIST)BDY(t);              Z cont;
               DPM zdpm;
   
               if ( !nd_gentrace ) dpm_ptozp((DPM)BDY(t),&cont,&zdpm);
               else zdpm = (DPM)BDY(t);
               c = (pointer)dpmtondv(m,zdpm);
             } else {
               if ( !nd_gentrace ) pltozpl((LIST)BDY(t),&dmy,&zpl);
               else zpl = (LIST)BDY(t);
             c = (pointer)pltondv(CO,vv,zpl);              c = (pointer)pltondv(CO,vv,zpl);
             }
         } else {          } else {
       if ( !nd_gentrace ) ptozp((P)BDY(t),1,&dmy,&zp);            if ( OID(BDY(t)) == O_DP ) {
       else zp = (P)BDY(t);              DP zdp;
   
               if ( !nd_gentrace ) dp_ptozp((DP)BDY(t),&zdp);
               else zdp = (DP)BDY(t);
               c = (pointer)dptondv(m,zdp);
             } else {
               if ( !nd_gentrace ) ptozp((P)BDY(t),1,&dmy,&zp);
               else zp = (P)BDY(t);
             c = (pointer)ptondv(CO,vv,zp);              c = (pointer)ptondv(CO,vv,zp);
             }
         }          }
         if ( ishomo )          if ( ishomo )
             ishomo = ishomo && ndv_ishomo(c);              ishomo = ishomo && ndv_ishomo(c);
Line 3769  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
Line 5260  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
     tl1 = tl2 = tl3 = tl4 = 0;      tl1 = tl2 = tl3 = tl4 = 0;
         if ( Demand )          if ( Demand )
             nd_demand = 1;              nd_demand = 1;
         ret = ndv_setup(m,1,fd0,nd_gbblock?1:0,0);          ret = ndv_setup(m,1,fd0,nd_gbblock?1:0,0,0);
         if ( nd_gentrace ) {          if ( nd_gentrace ) {
             MKLIST(l1,nd_tracelist); MKNODE(nd_alltracelist,l1,0);              MKLIST(l1,nd_tracelist); MKNODE(nd_alltracelist,l1,0);
         }          }
Line 3781  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
Line 5272  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
             else m = get_lprime(++mindex);              else m = get_lprime(++mindex);
             continue;              continue;
         }          }
           if ( nd_gentrace ) {
             MKVECT(hvect,nd_psn);
             for ( i = 0; i < nd_psn; i++ )
                ndltodp(nd_psh[i]->dl,(DP *)&BDY(hvect)[i]);
           }
         if ( !ishomo && homo ) {          if ( !ishomo && homo ) {
             /* dehomogenization */              /* dehomogenization */
             for ( t = cand; t; t = NEXT(t) ) ndv_dehomogenize((NDV)BDY(t),ord);              for ( t = cand; t; t = NEXT(t) ) ndv_dehomogenize((NDV)BDY(t),ord);
Line 3833  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
Line 5329  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
     nd_bpe = cbpe;      nd_bpe = cbpe;
     nd_setup_parameters(nd_nvar,0);      nd_setup_parameters(nd_nvar,0);
     for ( r = cand; r; r = NEXT(r) ) {      for ( r = cand; r; r = NEXT(r) ) {
     if ( nd_module ) BDY(r) = ndvtopl(0,CO,vv,BDY(r),mrank);        if ( nd_module ) {
         else BDY(r) = (pointer)ndvtop(0,CO,vv,BDY(r));          if ( retdp ) BDY(r) = ndvtodpm(0,BDY(r));
           else BDY(r) = ndvtopl(0,CO,vv,BDY(r),mrank);
         } else if ( retdp ) BDY(r) = ndvtodp(0,BDY(r));
         else BDY(r) = (pointer)ndvtop(0,CO,vv,BDY(r));
     }      }
     if ( nd_nalg )      if ( nd_nalg )
         cand = postprocess_algcoef(av,alist,cand);          cand = postprocess_algcoef(av,alist,cand);
Line 3858  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
Line 5357  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
         MKLIST(l1,tl1); MKLIST(l2,tl2); MKLIST(l3,t); MKLIST(l4,tl3);          MKLIST(l1,tl1); MKLIST(l2,tl2); MKLIST(l3,t); MKLIST(l4,tl3);
     MKLIST(l5,tl4);      MKLIST(l5,tl4);
       STOZ(nd_bpe,bpe);        STOZ(nd_bpe,bpe);
         tr = mknode(8,*rp,(!ishomo&&homo)?ONE:0,l1,l2,l3,l4,l5,bpe); MKLIST(*rp,tr);          tr = mknode(9,*rp,(!ishomo&&homo)?ONE:0,l1,l2,l3,l4,l5,bpe,hvect); MKLIST(*rp,tr);
     }      }
 }  }
   
Line 3894  DL ndltodl(int n,UINT *ndl)
Line 5393  DL ndltodl(int n,UINT *ndl)
     int i,j,l,s,ord_l;      int i,j,l,s,ord_l;
     struct order_pair *op;      struct order_pair *op;
   
     NEWDL(dl,n);      NEWDL_NOINIT(dl,n);
     dl->td = TD(ndl);      dl->td = TD(ndl);
     d = dl->d;      d = dl->d;
     if ( nd_blockmask ) {      if ( nd_blockmask ) {
Line 3910  DL ndltodl(int n,UINT *ndl)
Line 5409  DL ndltodl(int n,UINT *ndl)
     return dl;      return dl;
 }  }
   
   void _ndltodl(UINT *ndl,DL dl)
   {
       int *d;
       int i,j,l,s,ord_l,n;
       struct order_pair *op;
   
       n = nd_nvar;
       dl->td = TD(ndl);
       d = dl->d;
       if ( nd_blockmask ) {
           l = nd_blockmask->n;
           op = nd_blockmask->order_pair;
           for ( j = 0, s = 0; j < l; j++ ) {
               ord_l = op[j].length;
               for ( i = 0; i < ord_l; i++, s++ ) d[s] = GET_EXP(ndl,s);
           }
       } else {
           for ( i = 0; i < n; i++ ) d[i] = GET_EXP(ndl,i);
       }
   }
   
 void nmtodp(int mod,NM m,DP *r)  void nmtodp(int mod,NM m,DP *r)
 {  {
     DP dp;      DP dp;
Line 3922  void nmtodp(int mod,NM m,DP *r)
Line 5442  void nmtodp(int mod,NM m,DP *r)
     *r = dp;      *r = dp;
 }  }
   
   void ndltodp(UINT *d,DP *r)
   {
       DP dp;
       MP mr;
   
       NEWMP(mr);
       mr->dl = ndltodl(nd_nvar,d);
       mr->c = (Obj)ONE;
       NEXT(mr) = 0; MKDP(nd_nvar,mr,dp); dp->sugar = mr->dl->td;
       *r = dp;
   }
   
 void ndl_print(UINT *dl)  void ndl_print(UINT *dl)
 {  {
     int n;      int n;
Line 3955  void nd_print(ND p)
Line 5487  void nd_print(ND p)
     else {      else {
         for ( m = BDY(p); m; m = NEXT(m) ) {          for ( m = BDY(p); m; m = NEXT(m) ) {
             if ( CM(m) & 0x80000000 ) printf("+@_%d*",IFTOF(CM(m)));              if ( CM(m) & 0x80000000 ) printf("+@_%d*",IFTOF(CM(m)));
             else printf("+%d*",CM(m));              else printf("+%ld*",CM(m));
             ndl_print(DL(m));              ndl_print(DL(m));
         }          }
         printf("\n");          printf("\n");
Line 4086  void ndv_homogenize(NDV p,int obpe,int oadv,EPOS oepos
Line 5618  void ndv_homogenize(NDV p,int obpe,int oadv,EPOS oepos
     NMV m,mr0,mr,t;      NMV m,mr0,mr,t;
   
     len = p->len;      len = p->len;
     for ( m = BDY(p), i = 0, max = 1; i < len; NMV_OADV(m), i++ )      for ( m = BDY(p), i = 0, max = 0; i < len; NMV_OADV(m), i++ )
         max = MAX(max,TD(DL(m)));          max = MAX(max,TD(DL(m)));
     mr0 = nmv_adv>oadv?(NMV)REALLOC(BDY(p),len*nmv_adv):BDY(p);      mr0 = nmv_adv>oadv?(NMV)REALLOC(BDY(p),len*nmv_adv):BDY(p);
     m = (NMV)((char *)mr0+(len-1)*oadv);      m = (NMV)((char *)mr0+(len-1)*oadv);
Line 4231  void mpz_removecont_array(mpz_t *c,int n)
Line 5763  void mpz_removecont_array(mpz_t *c,int n)
 {  {
   mpz_t d0,a,u,u1,gcd;    mpz_t d0,a,u,u1,gcd;
   int i,j;    int i,j;
   mpz_t *q,*r;    static mpz_t *q,*r;
     static int c_len = 0;
   
   for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
     if ( mpz_sgn(c[i]) ) break;      if ( mpz_sgn(c[i]) ) break;
   if ( i == n ) return;    if ( i == n ) return;
   gcdv_mpz_estimate(d0,c,n);    gcdv_mpz_estimate(d0,c,n);
   q = (mpz_t *)MALLOC(n*sizeof(mpz_t));    if ( n > c_len ) {
   r = (mpz_t *)MALLOC(n*sizeof(mpz_t));      q = (mpz_t *)MALLOC(n*sizeof(mpz_t));
       r = (mpz_t *)MALLOC(n*sizeof(mpz_t));
       c_len = n;
     }
   for ( i = 0; i < n; i++ ) {    for ( i = 0; i < n; i++ ) {
     mpz_init(q[i]); mpz_init(r[i]);      mpz_init(q[i]); mpz_init(r[i]);
     mpz_fdiv_qr(q[i],r[i],c[i],d0);      mpz_fdiv_qr(q[i],r[i],c[i],d0);
Line 4410  UINT *nd_compute_bound(ND p)
Line 5946  UINT *nd_compute_bound(ND p)
 int nd_get_exporigin(struct order_spec *ord)  int nd_get_exporigin(struct order_spec *ord)
 {  {
     switch ( ord->id ) {      switch ( ord->id ) {
         case 0: case 2: case 256: case 258:          case 0: case 2: case 256: case 258: case 300:
             return 1+nd_module;              return 1+nd_module;
         case 1: case 257:          case 1: case 257:
             /* block order */              /* block order */
Line 4432  int nd_get_exporigin(struct order_spec *ord)
Line 5968  int nd_get_exporigin(struct order_spec *ord)
 void nd_setup_parameters(int nvar,int max) {  void nd_setup_parameters(int nvar,int max) {
     int i,j,n,elen,ord_o,ord_l,l,s,wpd;      int i,j,n,elen,ord_o,ord_l,l,s,wpd;
     struct order_pair *op;      struct order_pair *op;
       extern int CNVars;
   
     nd_nvar = nvar;      nd_nvar = nvar;
       CNVars = nvar;
     if ( max ) {      if ( max ) {
         /* XXX */          /* XXX */
         if ( do_weyl ) nd_bpe = 32;          if ( do_weyl ) nd_bpe = 32;
Line 4546  ND_pairs nd_reconstruct(int trace,ND_pairs d)
Line 6084  ND_pairs nd_reconstruct(int trace,ND_pairs d)
         NEXTND_pairs(s0,s);          NEXTND_pairs(s0,s);
         s->i1 = t->i1;          s->i1 = t->i1;
         s->i2 = t->i2;          s->i2 = t->i2;
           s->sig = t->sig;
         SG(s) = SG(t);          SG(s) = SG(t);
         ndl_reconstruct(LCM(t),LCM(s),obpe,oepos);          ndl_reconstruct(LCM(t),LCM(s),obpe,oepos);
     }      }
Line 4564  ND_pairs nd_reconstruct(int trace,ND_pairs d)
Line 6103  ND_pairs nd_reconstruct(int trace,ND_pairs d)
             h = ndl_hash_value(DL(mr));              h = ndl_hash_value(DL(mr));
             NEXT(mr) = nd_red[h];              NEXT(mr) = nd_red[h];
             nd_red[h] = mr;              nd_red[h] = mr;
               mr->sig = r->sig;
         }          }
     for ( i = 0; i < REDTAB_LEN; i++ ) old_red[i] = 0;      for ( i = 0; i < REDTAB_LEN; i++ ) old_red[i] = 0;
     old_red = 0;      old_red = 0;
     for ( i = 0; i < nd_psn; i++ ) {      for ( i = 0; i < nd_psn; i++ ) {
         NEWRHist(r); SG(r) = SG(nd_psh[i]);          NEWRHist(r); SG(r) = SG(nd_psh[i]);
         ndl_reconstruct(DL(nd_psh[i]),DL(r),obpe,oepos);          ndl_reconstruct(DL(nd_psh[i]),DL(r),obpe,oepos);
           r->sig = nd_psh[i]->sig;
         nd_psh[i] = r;          nd_psh[i] = r;
     }      }
     if ( s0 ) NEXT(s) = 0;      if ( s0 ) NEXT(s) = 0;
Line 4581  ND_pairs nd_reconstruct(int trace,ND_pairs d)
Line 6122  ND_pairs nd_reconstruct(int trace,ND_pairs d)
     return s0;      return s0;
 }  }
   
   void nd_reconstruct_s(int trace,ND_pairs *d)
   {
       int i,obpe,oadv,h;
       static NM prev_nm_free_list;
       static ND_pairs prev_ndp_free_list;
       RHist mr0,mr;
       RHist r;
       RHist *old_red;
       ND_pairs s0,s,t;
       EPOS oepos;
   
       obpe = nd_bpe;
       oadv = nmv_adv;
       oepos = nd_epos;
       if ( obpe < 2 ) nd_bpe = 2;
       else if ( obpe < 3 ) nd_bpe = 3;
       else if ( obpe < 4 ) nd_bpe = 4;
       else if ( obpe < 5 ) nd_bpe = 5;
       else if ( obpe < 6 ) nd_bpe = 6;
       else if ( obpe < 8 ) nd_bpe = 8;
       else if ( obpe < 10 ) nd_bpe = 10;
       else if ( obpe < 16 ) nd_bpe = 16;
       else if ( obpe < 32 ) nd_bpe = 32;
       else error("nd_reconstruct_s : exponent too large");
   
       nd_setup_parameters(nd_nvar,0);
       prev_nm_free_list = _nm_free_list;
       prev_ndp_free_list = _ndp_free_list;
       _nm_free_list = 0;
       _ndp_free_list = 0;
       for ( i = nd_psn-1; i >= 0; i-- ) {
           ndv_realloc(nd_ps[i],obpe,oadv,oepos);
           ndv_realloc(nd_ps_sym[i],obpe,oadv,oepos);
       }
       if ( trace )
           for ( i = nd_psn-1; i >= 0; i-- ) {
               ndv_realloc(nd_ps_trace[i],obpe,oadv,oepos);
               ndv_realloc(nd_ps_trace_sym[i],obpe,oadv,oepos);
           }
   
       for ( i = 0; i < nd_nbase; i++ ) {
         s0 = 0;
         for ( t = d[i]; t; t = NEXT(t) ) {
             NEXTND_pairs(s0,s);
             s->i1 = t->i1;
             s->i2 = t->i2;
             s->sig = t->sig;
             SG(s) = SG(t);
             ndl_reconstruct(LCM(t),LCM(s),obpe,oepos);
         }
         d[i] = s0;
       }
   
       old_red = (RHist *)MALLOC(REDTAB_LEN*sizeof(RHist));
       for ( i = 0; i < REDTAB_LEN; i++ ) {
           old_red[i] = nd_red[i];
           nd_red[i] = 0;
       }
       for ( i = 0; i < REDTAB_LEN; i++ )
           for ( r = old_red[i]; r; r = NEXT(r) ) {
               NEWRHist(mr);
               mr->index = r->index;
               SG(mr) = SG(r);
               ndl_reconstruct(DL(r),DL(mr),obpe,oepos);
               h = ndl_hash_value(DL(mr));
               NEXT(mr) = nd_red[h];
               nd_red[h] = mr;
               mr->sig = r->sig;
           }
       for ( i = 0; i < REDTAB_LEN; i++ ) old_red[i] = 0;
       old_red = 0;
       for ( i = 0; i < nd_psn; i++ ) {
           NEWRHist(r); SG(r) = SG(nd_psh[i]);
           ndl_reconstruct(DL(nd_psh[i]),DL(r),obpe,oepos);
           r->sig = nd_psh[i]->sig;
           nd_psh[i] = r;
       }
       if ( s0 ) NEXT(s) = 0;
       prev_nm_free_list = 0;
       prev_ndp_free_list = 0;
   #if 0
       GC_gcollect();
   #endif
   }
   
 void ndl_reconstruct(UINT *d,UINT *r,int obpe,EPOS oepos)  void ndl_reconstruct(UINT *d,UINT *r,int obpe,EPOS oepos)
 {  {
     int n,i,ei,oepw,omask0,j,s,ord_l,l;      int n,i,ei,oepw,omask0,j,s,ord_l,l;
Line 4689  int nd_sp(int mod,int trace,ND_pairs p,ND *rp)
Line 6315  int nd_sp(int mod,int trace,ND_pairs p,ND *rp)
         MKLIST(hist,node); MKNODE(node,hist,nd_tracelist);          MKLIST(hist,node); MKNODE(node,hist,nd_tracelist);
         nd_tracelist = node;          nd_tracelist = node;
     }      }
       if ( *rp )
         (*rp)->sig = p->sig;
     FREENM(m1); FREENM(m2);      FREENM(m1); FREENM(m2);
     return 1;      return 1;
 }  }
Line 5067  NDV ndv_dup_realloc(NDV p,int obpe,int oadv,EPOS oepos
Line 6695  NDV ndv_dup_realloc(NDV p,int obpe,int oadv,EPOS oepos
     }      }
     MKNDV(NV(p),mr0,len,r);      MKNDV(NV(p),mr0,len,r);
     SG(r) = SG(p);      SG(r) = SG(p);
       r->sig = p->sig;
     return r;      return r;
 }  }
   
Line 5188  NDV ptondv(VL vl,VL dvl,P p)
Line 6817  NDV ptondv(VL vl,VL dvl,P p)
   
 void pltozpl(LIST l,Q *cont,LIST *pp)  void pltozpl(LIST l,Q *cont,LIST *pp)
 {  {
     NODE nd,nd1;    NODE nd,nd1;
     int n;    int n;
     P *pl;    P *pl;
     Q *cl;    Q *cl;
     int i;    int i;
     P dmy;    P dmy;
     Z dvr;    Z dvr,inv;
     LIST r;    LIST r;
   
     nd = BDY(l); n = length(nd);    nd = BDY(l); n = length(nd);
     pl = (P *)MALLOC(n*sizeof(P));    pl = (P *)MALLOC(n*sizeof(P));
     cl = (Q *)MALLOC(n*sizeof(P));    cl = (Q *)MALLOC(n*sizeof(Q));
     for ( i = 0; i < n; i++, nd = NEXT(nd) )    for ( i = 0; i < n; i++, nd = NEXT(nd) ) {
         ptozp((P)BDY(nd),1,&cl[i],&dmy);      ptozp((P)BDY(nd),1,&cl[i],&dmy);
     qltozl(cl,n,&dvr);    }
     nd = BDY(l);    qltozl(cl,n,&dvr);
     for ( i = 0; i < n; i++, nd = NEXT(nd) ) {    divz(ONE,dvr,&inv);
         divsp(CO,(P)BDY(nd),(P)dvr,&pl[i]);    nd = BDY(l);
     }    for ( i = 0; i < n; i++, nd = NEXT(nd) )
     nd = 0;      divsp(CO,(P)BDY(nd),(P)dvr,&pl[i]);
     for ( i = n-1; i >= 0; i-- ) {    nd = 0;
         MKNODE(nd1,pl[i],nd); nd = nd1;    for ( i = n-1; i >= 0; i-- ) {
     }      MKNODE(nd1,pl[i],nd); nd = nd1;
     MKLIST(r,nd);    }
     *pp = r;    MKLIST(r,nd);
     *pp = r;
 }  }
   
 /* (a1,a2,...,an) -> a1*e(1)+...+an*e(n) */  /* (a1,a2,...,an) -> a1*e(1)+...+an*e(n) */
Line 5398  NDV ndtondv(int mod,ND p)
Line 7028  NDV ndtondv(int mod,ND p)
     }      }
     MKNDV(NV(p),m0,len,d);      MKNDV(NV(p),m0,len,d);
     SG(d) = SG(p);      SG(d) = SG(p);
       d->sig = p->sig;
     return d;      return d;
 }  }
   
   static int dmm_comp_nv;
   
   int dmm_comp(DMM *a,DMM *b)
   {
      return -compdmm(dmm_comp_nv,*a,*b);
   }
   
   void dmm_sort_by_ord(DMM *a,int len,int nv)
   {
     dmm_comp_nv = nv;
     qsort(a,len,sizeof(DMM),(int (*)(const void *,const void *))dmm_comp);
   }
   
   void dpm_sort(DPM p,DPM *rp)
   {
     DMM t,t1;
     int len,i,n;
     DMM *a;
     DPM d;
   
     if ( !p ) *rp = 0;
     for ( t = BDY(p), len = 0; t; t = NEXT(t), len++ );
     a = (DMM *)MALLOC(len*sizeof(DMM));
     for ( i = 0, t = BDY(p); i < len; i++, t = NEXT(t) ) a[i] = t;
     n = p->nv;
     dmm_sort_by_ord(a,len,n);
     t = 0;
     for ( i = len-1; i >= 0; i-- ) {
       NEWDMM(t1);
       t1->c = a[i]->c;
       t1->dl = a[i]->dl;
       t1->pos = a[i]->pos;
       t1->next = t;
       t = t1;
     }
     MKDPM(n,t,d);
     SG(d) = SG(p);
     *rp = d;
   }
   
   int dpm_comp(DPM *a,DPM *b)
   {
     return -compdpm(CO,*a,*b);
   }
   
   NODE dpm_sort_list(NODE l)
   {
     int i,len;
     NODE t,t1;
     DPM *a;
   
     len = length(l);
     a = (DPM *)MALLOC(len*sizeof(DPM));
     for ( t = l, i = 0; i < len; i++, t = NEXT(t) ) a[i] = (DPM)BDY(t);
     qsort(a,len,sizeof(DPM),(int (*)(const void *,const void *))dpm_comp);
     t = 0;
     for ( i = len-1; i >= 0; i-- ) {
       MKNODE(t1,(pointer)a[i],t); t = t1;
     }
     return t;
   }
   
   int nmv_comp(NMV a,NMV b)
   {
     int t;
     t = DL_COMPARE(a->dl,b->dl);
     return -t;
   }
   
   NDV dptondv(int mod,DP p)
   {
     NDV d;
     NMV m,m0;
     MP t;
     MP *a;
     int i,len,n;
   
     if ( !p ) return 0;
     for ( t = BDY(p), len = 0; t; t = NEXT(t), len++ );
     n = p->nv;
     if ( mod > 0 || mod == -1 )
       m0 = m = (NMV)MALLOC_ATOMIC_IGNORE_OFF_PAGE(len*nmv_adv);
     else
       m0 = m = MALLOC(len*nmv_adv);
     for ( i = 0, t = BDY(p); i < len; i++, NMV_ADV(m), t = NEXT(t) ) {
       dltondl(n,t->dl,DL(m));
       TD(DL(m)) = ndl_weight(DL(m));
       CZ(m) = (Z)t->c;
     }
     qsort(m0,len,nmv_adv,(int (*)(const void *,const void *))nmv_comp);
     MKNDV(NV(p),m0,len,d);
     SG(d) = SG(p);
     return d;
   }
   
   NDV dpmtondv(int mod,DPM p)
   {
     NDV d;
     NMV m,m0;
     DMM t;
     DMM *a;
     int i,len,n;
   
     if ( !p ) return 0;
     for ( t = BDY(p), len = 0; t; t = NEXT(t), len++ );
     a = (DMM *)MALLOC(len*sizeof(DMM));
     for ( i = 0, t = BDY(p); i < len; i++, t = NEXT(t) ) a[i] = t;
     n = p->nv;
     dmm_sort_by_ord(a,len,n);
     if ( mod > 0 || mod == -1 )
       m0 = m = (NMV)MALLOC_ATOMIC_IGNORE_OFF_PAGE(len*nmv_adv);
     else
       m0 = m = MALLOC(len*nmv_adv);
   #if 0
     ndv_alloc += nmv_adv*len;
   #endif
     for ( i = 0; i < len; i++, NMV_ADV(m) ) {
       dltondl(n,a[i]->dl,DL(m));
       MPOS(DL(m)) = a[i]->pos;
       TD(DL(m)) = ndl_weight(DL(m));
       CZ(m) = (Z)a[i]->c;
     }
     qsort(m0,len,nmv_adv,(int (*)(const void *,const void *))nmv_comp);
     MKNDV(NV(p),m0,len,d);
     SG(d) = SG(p);
     return d;
   }
   
 ND ndvtond(int mod,NDV p)  ND ndvtond(int mod,NDV p)
 {  {
     ND d;      ND d;
Line 5419  ND ndvtond(int mod,NDV p)
Line 7178  ND ndvtond(int mod,NDV p)
     NEXT(m) = 0;      NEXT(m) = 0;
     MKND(NV(p),m0,len,d);      MKND(NV(p),m0,len,d);
     SG(d) = SG(p);      SG(d) = SG(p);
       d->sig = p->sig;
     return d;      return d;
 }  }
   
Line 5443  DP ndvtodp(int mod,NDV p)
Line 7203  DP ndvtodp(int mod,NDV p)
     return d;      return d;
 }  }
   
   DPM sigtodpm(SIG s)
   {
     DMM m;
     DPM d;
   
     NEWDMM(m);
     m->c = (Obj)ONE;
     m->dl = s->dl;
     m->pos = s->pos+1;
     m->next = 0;
     MKDPM(nd_nvar,m,d);
     SG(d) = s->dl->td;
     return d;
   }
   
   DPM ndvtodpm(int mod,NDV p)
   {
     DMM m,m0;
     DPM d;
     NMV t;
     int i,len;
   
     if ( !p ) return 0;
     m0 = 0;
     len = p->len;
     for ( t = BDY(p), i = 0; i < len; NMV_ADV(t), i++ ) {
       NEXTDMM(m0,m);
       m->dl = ndltodl(nd_nvar,DL(t));
       m->c = (Obj)ndctop(mod,t->c);
       m->pos = MPOS(DL(t));
     }
     NEXT(m) = 0;
     MKDPM(nd_nvar,m0,d);
     SG(d) = SG(p);
     return d;
   }
   
   
 DP ndtodp(int mod,ND p)  DP ndtodp(int mod,ND p)
 {  {
     MP m,m0;      MP m,m0;
Line 5474  void ndv_print(NDV p)
Line 7272  void ndv_print(NDV p)
         len = LEN(p);          len = LEN(p);
         for ( m = BDY(p), i = 0; i < len; i++, NMV_ADV(m) ) {          for ( m = BDY(p), i = 0; i < len; i++, NMV_ADV(m) ) {
             if ( CM(m) & 0x80000000 ) printf("+@_%d*",IFTOF(CM(m)));              if ( CM(m) & 0x80000000 ) printf("+@_%d*",IFTOF(CM(m)));
             else printf("+%d*",CM(m));              else printf("+%ld*",CM(m));
             ndl_print(DL(m));              ndl_print(DL(m));
         }          }
         printf("\n");          printf("\n");
Line 5505  NODE ndv_reducebase(NODE x,int *perm)
Line 7303  NODE ndv_reducebase(NODE x,int *perm)
     NDVI w;      NDVI w;
     NODE t,t0;      NODE t,t0;
   
       if ( nd_norb ) return x;
     len = length(x);      len = length(x);
     w = (NDVI)MALLOC(len*sizeof(struct oNDVI));      w = (NDVI)MALLOC(len*sizeof(struct oNDVI));
     for ( i = 0, t = x; i < len; i++, t = NEXT(t) ) {      for ( i = 0, t = x; i < len; i++, t = NEXT(t) ) {
Line 5530  NODE ndv_reducebase(NODE x,int *perm)
Line 7329  NODE ndv_reducebase(NODE x,int *perm)
   
 /* XXX incomplete */  /* XXX incomplete */
   
   extern DMMstack dmm_stack;
   int ndl_module_schreyer_compare(UINT *a,UINT *b);
   
 void nd_init_ord(struct order_spec *ord)  void nd_init_ord(struct order_spec *ord)
 {  {
   nd_module = (ord->id >= 256);    nd_module = (ord->id >= 256);
   if ( nd_module ) {    if ( nd_module ) {
     nd_dcomp = -1;      nd_dcomp = -1;
     nd_ispot = ord->ispot;      nd_module_ordtype = ord->module_ordtype;
     nd_pot_nelim = ord->pot_nelim;      nd_pot_nelim = ord->pot_nelim;
     nd_poly_weight_len = ord->nv;      nd_poly_weight_len = ord->nv;
     nd_poly_weight = ord->top_weight;      nd_poly_weight = ord->top_weight;
Line 5599  void nd_init_ord(struct order_spec *ord)
Line 7401  void nd_init_ord(struct order_spec *ord)
         case 256:          case 256:
             switch ( ord->ord.simple ) {              switch ( ord->ord.simple ) {
                 case 0:                  case 0:
                       nd_dcomp = 0;
                     nd_isrlex = 1;                      nd_isrlex = 1;
                     ndl_compare_function = ndl_module_grlex_compare;                      ndl_compare_function = ndl_module_glex_compare;
                     break;                      break;
                 case 1:                  case 1:
                       nd_dcomp = 0;
                     nd_isrlex = 0;                      nd_isrlex = 0;
                     ndl_compare_function = ndl_module_glex_compare;                      ndl_compare_function = ndl_module_glex_compare;
                     break;                      break;
                 case 2:                  case 2:
                       nd_dcomp = 0;
                     nd_isrlex = 0;                      nd_isrlex = 0;
                     ndl_compare_function = ndl_module_lex_compare;                      ndl_compare_function = ndl_module_compare;
                       ndl_base_compare_function = ndl_lex_compare;
                     break;                      break;
                 default:                  default:
                     error("nd_gr : unsupported order");                      error("nd_init_ord : unsupported order");
             }              }
             break;              break;
         case 257:          case 257:
             /* block order */              /* block order */
             nd_isrlex = 0;              nd_isrlex = 0;
             ndl_compare_function = ndl_module_block_compare;              ndl_compare_function = ndl_module_compare;
               ndl_base_compare_function = ndl_block_compare;
             break;              break;
         case 258:          case 258:
             /* matrix order */              /* matrix order */
             nd_isrlex = 0;              nd_isrlex = 0;
             nd_matrix_len = ord->ord.matrix.row;              nd_matrix_len = ord->ord.matrix.row;
             nd_matrix = ord->ord.matrix.matrix;              nd_matrix = ord->ord.matrix.matrix;
             ndl_compare_function = ndl_module_matrix_compare;              ndl_compare_function = ndl_module_compare;
               ndl_base_compare_function = ndl_matrix_compare;
             break;              break;
         case 259:          case 259:
             /* composite order */              /* composite order */
             nd_isrlex = 0;              nd_isrlex = 0;
             nd_worb_len = ord->ord.composite.length;              nd_worb_len = ord->ord.composite.length;
             nd_worb = ord->ord.composite.w_or_b;              nd_worb = ord->ord.composite.w_or_b;
             ndl_compare_function = ndl_module_composite_compare;              ndl_compare_function = ndl_module_compare;
               ndl_base_compare_function = ndl_composite_compare;
             break;              break;
           case 300:
               /* schreyer order */
               if ( ord->base->id != 256 )
                  error("nd_init_ord : unsupported base order");
               ndl_compare_function = ndl_module_schreyer_compare;
               dmm_stack = ord->dmmstack;
               switch ( ord->base->ord.simple ) {
                   case 0:
                       nd_isrlex = 1;
                       ndl_base_compare_function = ndl_glex_compare;
                       dl_base_compare_function = cmpdl_revgradlex;
                       break;
                   case 1:
                       nd_isrlex = 0;
                       ndl_base_compare_function = ndl_glex_compare;
                       dl_base_compare_function = cmpdl_gradlex;
                       break;
                   case 2:
                       nd_isrlex = 0;
                       ndl_base_compare_function = ndl_lex_compare;
                       dl_base_compare_function = cmpdl_lex;
                       break;
                   default:
                       error("nd_init_ord : unsupported order");
               }
               break;
     }      }
     nd_ord = ord;      nd_ord = ord;
 }  }
Line 5668  EPOS nd_create_epos(struct order_spec *ord)
Line 7503  EPOS nd_create_epos(struct order_spec *ord)
   
     epos = (EPOS)MALLOC_ATOMIC(nd_nvar*sizeof(struct oEPOS));      epos = (EPOS)MALLOC_ATOMIC(nd_nvar*sizeof(struct oEPOS));
     switch ( ord->id ) {      switch ( ord->id ) {
         case 0: case 256:          case 0: case 256: case 300:
             if ( nd_isrlex ) {              if ( nd_isrlex ) {
                 for ( i = 0; i < nd_nvar; i++ ) {                  for ( i = 0; i < nd_nvar; i++ ) {
                     epos[i].i = nd_exporigin + (nd_nvar-1-i)/nd_epw;                      epos[i].i = nd_exporigin + (nd_nvar-1-i)/nd_epw;
Line 5771  void nd_nf_p(Obj f,LIST g,LIST v,int m,struct order_sp
Line 7606  void nd_nf_p(Obj f,LIST g,LIST v,int m,struct order_sp
     ndf = (pointer)ndvtond(m,ndvf);      ndf = (pointer)ndvtond(m,ndvf);
   
     /* dont sort, dont removecont */      /* dont sort, dont removecont */
     ndv_setup(m,0,in0,1,1);      ndv_setup(m,0,in0,1,1,0);
     nd_scale=2;      nd_scale=2;
     stat = nd_nf(m,0,ndf,nd_ps,1,&nf);      stat = nd_nf(m,0,ndf,nd_ps,1,&nf);
     if ( !stat )      if ( !stat )
Line 5889  Z *nm_ind_pair_to_vect(int mod,UINT *s0,int n,NM_ind_p
Line 7724  Z *nm_ind_pair_to_vect(int mod,UINT *s0,int n,NM_ind_p
     return r;      return r;
 }  }
   
 IndArray nm_ind_pair_to_vect_compress(int trace,UINT *s0,int n,int *s0hash,NM_ind_pair pair)  IndArray nm_ind_pair_to_vect_compress(int trace,UINT *s0,int n,NM_ind_pair pair,int start)
 {  {
     NM m;      NM m;
     NMV mr;      NMV mr;
     UINT *d,*t,*s;      UINT *d,*t,*s,*u;
     NDV p;      NDV p;
     unsigned char *ivc;      unsigned char *ivc;
     unsigned short *ivs;      unsigned short *ivs;
     UINT *v,*ivi,*s0v;      UINT *v,*ivi,*s0v;
     int i,j,len,prev,diff,cdiff,h;      int i,j,len,prev,diff,cdiff,h,st,ed,md,c;
     IndArray r;      IndArray r;
 struct oEGT eg0,eg1;  
   
     m = pair->mul;      m = pair->mul;
     d = DL(m);      d = DL(m);
Line 5912  struct oEGT eg0,eg1;
Line 7746  struct oEGT eg0,eg1;
     len = LEN(p);      len = LEN(p);
     t = (UINT *)MALLOC(nd_wpd*sizeof(UINT));      t = (UINT *)MALLOC(nd_wpd*sizeof(UINT));
     v = (unsigned int *)MALLOC(len*sizeof(unsigned int));      v = (unsigned int *)MALLOC(len*sizeof(unsigned int));
 get_eg(&eg0);      for ( prev = start, mr = BDY(p), j = 0; j < len; j++, NMV_ADV(mr) ) {
     for ( i = j = 0, s = s0, mr = BDY(p); j < len; j++, NMV_ADV(mr) ) {        ndl_add(d,DL(mr),t);
         ndl_add(d,DL(mr),t);        st = prev;
     h = ndl_hash_value(t);        ed = n;
         for ( ; h != s0hash[i] || !ndl_equal(t,s); s += nd_wpd, i++ );        while ( ed > st ) {
         v[j] = i;          md = (st+ed)/2;
           u = s0+md*nd_wpd;
           c = DL_COMPARE(u,t);
           if ( c == 0 ) break;
           else if ( c > 0 ) st = md;
           else ed = md;
         }
         prev = v[j] = md;
     }      }
 get_eg(&eg1); add_eg(&eg_search,&eg0,&eg1);  
     r = (IndArray)MALLOC(sizeof(struct oIndArray));      r = (IndArray)MALLOC(sizeof(struct oIndArray));
     r->head = v[0];      r->head = v[0];
     diff = 0;      diff = 0;
Line 6047  int ndv_reduce_vect_q(Z *svect,int trace,int col,IndAr
Line 7887  int ndv_reduce_vect_q(Z *svect,int trace,int col,IndAr
 int ndv_reduce_vect_q(Z *svect0,int trace,int col,IndArray *imat,NM_ind_pair *rp0,int nred)  int ndv_reduce_vect_q(Z *svect0,int trace,int col,IndArray *imat,NM_ind_pair *rp0,int nred)
 {  {
     int i,j,k,len,pos,prev;      int i,j,k,len,pos,prev;
     mpz_t *svect;  
     mpz_t cs,cr,gcd;      mpz_t cs,cr,gcd;
     IndArray ivect;      IndArray ivect;
     unsigned char *ivc;      unsigned char *ivc;
Line 6059  int ndv_reduce_vect_q(Z *svect0,int trace,int col,IndA
Line 7898  int ndv_reduce_vect_q(Z *svect0,int trace,int col,IndA
     int maxrs;      int maxrs;
     double hmag;      double hmag;
     int l;      int l;
       static mpz_t *svect;
       static int svect_len=0;
   
     maxrs = 0;      maxrs = 0;
     for ( i = 0; i < col && !svect0[i]; i++ );      for ( i = 0; i < col && !svect0[i]; i++ );
     if ( i == col ) return maxrs;      if ( i == col ) return maxrs;
     hmag = p_mag((P)svect0[i])*nd_scale;      hmag = p_mag((P)svect0[i])*nd_scale;
     svect = (mpz_t *)MALLOC(col*sizeof(mpz_t));      if ( col > svect_len ) {
         svect = (mpz_t *)MALLOC(col*sizeof(mpz_t));
         svect_len = col;
       }
     for ( i = 0; i < col; i++ ) {      for ( i = 0; i < col; i++ ) {
       mpz_init(svect[i]);        mpz_init(svect[i]);
       if ( svect0[i] )        if ( svect0[i] )
Line 6135  int ndv_reduce_vect_q(Z *svect0,int trace,int col,IndA
Line 7979  int ndv_reduce_vect_q(Z *svect0,int trace,int col,IndA
 }  }
 #endif  #endif
   
 int ndv_reduce_vect(int m,UINT *svect,int col,IndArray *imat,NM_ind_pair *rp0,int nred)  int ndv_reduce_vect(int m,UINT *svect,int col,IndArray *imat,NM_ind_pair *rp0,int nred,SIG sig)
 {  {
     int i,j,k,len,pos,prev;      int i,j,k,len,pos,prev;
     UINT c,c1,c2,c3,up,lo,dmy;      UINT c,c1,c2,c3,up,lo,dmy;
Line 6152  int ndv_reduce_vect(int m,UINT *svect,int col,IndArray
Line 7996  int ndv_reduce_vect(int m,UINT *svect,int col,IndArray
     for ( i = 0; i < nred; i++ ) {      for ( i = 0; i < nred; i++ ) {
         ivect = imat[i];          ivect = imat[i];
         k = ivect->head; svect[k] %= m;          k = ivect->head; svect[k] %= m;
         if ( (c = svect[k]) != 0 ) {          if ( (c = svect[k]) != 0 && (sig == 0 || comp_sig(sig,rp0[i]->sig) > 0 ) ) {
             maxrs = MAX(maxrs,rp0[i]->sugar);              maxrs = MAX(maxrs,rp0[i]->sugar);
             c = m-c; redv = nd_ps[rp0[i]->index];              c = m-c; redv = nd_ps[rp0[i]->index];
             len = LEN(redv); mr = BDY(redv);              len = LEN(redv); mr = BDY(redv);
Line 6162  int ndv_reduce_vect(int m,UINT *svect,int col,IndArray
Line 8006  int ndv_reduce_vect(int m,UINT *svect,int col,IndArray
                     ivc = ivect->index.c;                      ivc = ivect->index.c;
                     for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {                      for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {
                         pos = prev+ivc[j]; c1 = CM(mr); prev = pos;                          pos = prev+ivc[j]; c1 = CM(mr); prev = pos;
             if ( c1 ) {                          if ( c1 ) {
               c2 = svect[pos];                            c2 = svect[pos];
                           DMA(c1,c,c2,up,lo);                            DMA(c1,c,c2,up,lo);
                           if ( up ) { DSAB(m,up,lo,dmy,c3); svect[pos] = c3;                            if ( up ) { DSAB(m,up,lo,dmy,c3); svect[pos] = c3;
                           } else svect[pos] = lo;                            } else svect[pos] = lo;
             }                          }
                     }                      }
                     break;                      break;
                 case 2:                  case 2:
Line 6175  int ndv_reduce_vect(int m,UINT *svect,int col,IndArray
Line 8019  int ndv_reduce_vect(int m,UINT *svect,int col,IndArray
                     for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {                      for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {
                         pos = prev+ivs[j]; c1 = CM(mr);                          pos = prev+ivs[j]; c1 = CM(mr);
                         prev = pos;                          prev = pos;
             if ( c1 ) {                          if ( c1 ) {
               c2 = svect[pos];                            c2 = svect[pos];
                           DMA(c1,c,c2,up,lo);                            DMA(c1,c,c2,up,lo);
                           if ( up ) { DSAB(m,up,lo,dmy,c3); svect[pos] = c3;                            if ( up ) { DSAB(m,up,lo,dmy,c3); svect[pos] = c3;
                           } else svect[pos] = lo;                            } else svect[pos] = lo;
             }                          }
                     }                      }
                     break;                      break;
                 case 4:                  case 4:
Line 6188  int ndv_reduce_vect(int m,UINT *svect,int col,IndArray
Line 8032  int ndv_reduce_vect(int m,UINT *svect,int col,IndArray
                     for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {                      for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {
                         pos = prev+ivi[j]; c1 = CM(mr);                          pos = prev+ivi[j]; c1 = CM(mr);
                         prev = pos;                          prev = pos;
             if ( c1 ) {                          if ( c1 ) {
               c2 = svect[pos];                            c2 = svect[pos];
                           DMA(c1,c,c2,up,lo);                            DMA(c1,c,c2,up,lo);
                           if ( up ) { DSAB(m,up,lo,dmy,c3); svect[pos] = c3;                            if ( up ) { DSAB(m,up,lo,dmy,c3); svect[pos] = c3;
                           } else svect[pos] = lo;                            } else svect[pos] = lo;
             }                          }
                     }                      }
                     break;                      break;
             }              }
Line 6461  NDV vect_to_ndv(UINT *vect,int spcol,int col,int *rhea
Line 8305  NDV vect_to_ndv(UINT *vect,int spcol,int col,int *rhea
     }      }
 }  }
   
   NDV vect_to_ndv_s(UINT *vect,int col,UINT *s0vect)
   {
       int j,k,len;
       UINT *p;
       UINT c;
       NDV r;
       NMV mr0,mr;
   
       for ( j = 0, len = 0; j < col; j++ ) if ( vect[j] ) len++;
       if ( !len ) return 0;
       else {
           mr0 = (NMV)MALLOC_ATOMIC_IGNORE_OFF_PAGE(nmv_adv*len);
           mr = mr0;
           p = s0vect;
           for ( j = k = 0; j < col; j++, p += nd_wpd )
             if ( (c = vect[k++]) != 0 ) {
               ndl_copy(p,DL(mr)); CM(mr) = c; NMV_ADV(mr);
             }
           MKNDV(nd_nvar,mr0,len,r);
           return r;
       }
   }
   
 NDV vect_to_ndv_2(unsigned long *vect,int col,UINT *s0vect)  NDV vect_to_ndv_2(unsigned long *vect,int col,UINT *s0vect)
 {  {
     int j,k,len;      int j,k,len;
Line 6622  int nd_symbolic_preproc(PGeoBucket bucket,int trace,UI
Line 8489  int nd_symbolic_preproc(PGeoBucket bucket,int trace,UI
             if ( ndl_check_bound2(index,DL(mul)) )              if ( ndl_check_bound2(index,DL(mul)) )
                 return 0;                  return 0;
             sugar = TD(DL(mul))+SG(ps[index]);              sugar = TD(DL(mul))+SG(ps[index]);
             MKNM_ind_pair(pair,mul,index,sugar);              MKNM_ind_pair(pair,mul,index,sugar,0);
             red = ndv_mul_nm_symbolic(mul,ps[index]);              red = ndv_mul_nm_symbolic(mul,ps[index]);
             add_pbucket_symbolic(bucket,nd_remove_head(red));              add_pbucket_symbolic(bucket,nd_remove_head(red));
             NEXTNODE(rp0,rp); BDY(rp) = (pointer)pair;              NEXTNODE(rp0,rp); BDY(rp) = (pointer)pair;
Line 6670  NODE nd_f4(int m,int checkonly,int **indp)
Line 8537  NODE nd_f4(int m,int checkonly,int **indp)
     PGeoBucket bucket;      PGeoBucket bucket;
     struct oEGT eg0,eg1,eg_f4;      struct oEGT eg0,eg1,eg_f4;
     Z i1,i2,sugarq;      Z i1,i2,sugarq;
   
       init_eg(&f4_symb); init_eg(&f4_conv); init_eg(&f4_conv); init_eg(&f4_elim1); init_eg(&f4_elim2);
 #if 0  #if 0
     ndv_alloc = 0;      ndv_alloc = 0;
 #endif  #endif
       Nf4_red=0;
     g = 0; d = 0;      g = 0; d = 0;
     for ( i = 0; i < nd_psn; i++ ) {      for ( i = 0; i < nd_psn; i++ ) {
         d = update_pairs(d,g,i,0);          d = update_pairs(d,g,i,0);
Line 6714  NODE nd_f4(int m,int checkonly,int **indp)
Line 8584  NODE nd_f4(int m,int checkonly,int **indp)
             d = nd_reconstruct(0,d);              d = nd_reconstruct(0,d);
             continue;              continue;
         }          }
         get_eg(&eg1); init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg1);          get_eg(&eg1); init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg1); add_eg(&f4_symb,&eg0,&eg1);
         if ( DP_Print )          if ( DP_Print )
             fprintf(asir_out,"sugar=%d,symb=%.3fsec,",              fprintf(asir_out,"sugar=%d,symb=%.3fsec,",
                 sugar,eg_f4.exectime);                  sugar,eg_f4.exectime);
Line 6724  NODE nd_f4(int m,int checkonly,int **indp)
Line 8594  NODE nd_f4(int m,int checkonly,int **indp)
         if ( nflist ) nd_last_nonzero = f4red;          if ( nflist ) nd_last_nonzero = f4red;
         for ( r = nflist; r; r = NEXT(r) ) {          for ( r = nflist; r; r = NEXT(r) ) {
             nf = (NDV)BDY(r);              nf = (NDV)BDY(r);
               if ( nd_f4_td ) SG(nf) = nd_tdeg(nf);
             ndv_removecont(m,nf);              ndv_removecont(m,nf);
             if ( !m && nd_nalg ) {              if ( !m && nd_nalg ) {
                 ND nf1;                  ND nf1;
Line 6733  NODE nd_f4(int m,int checkonly,int **indp)
Line 8604  NODE nd_f4(int m,int checkonly,int **indp)
                 nd_removecont(m,nf1);                  nd_removecont(m,nf1);
                 nf = ndtondv(m,nf1);                  nf = ndtondv(m,nf1);
             }              }
             nh = ndv_newps(m,nf,0,1);              nh = ndv_newps(m,nf,0);
             d = update_pairs(d,g,nh,0);              d = update_pairs(d,g,nh,0);
             g = update_base(g,nh);              g = update_base(g,nh);
         }          }
Line 6763  NODE nd_f4(int m,int checkonly,int **indp)
Line 8634  NODE nd_f4(int m,int checkonly,int **indp)
 #if 0  #if 0
     fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc);      fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc);
 #endif  #endif
     if ( DP_Print ) {
       fprintf(asir_out,"number of red=%d,",Nf4_red);
       fprintf(asir_out,"symb=%.3fsec,conv=%.3fsec,elim1=%.3fsec,elim2=%.3fsec\n",
         f4_symb.exectime,f4_conv.exectime,f4_elim1.exectime,f4_elim2.exectime);
       fprintf(asir_out,"number of removed pairs=%d\n,",NcriB+NcriMF+Ncri2);
     }
   conv_ilist(nd_demand,0,g,indp);    conv_ilist(nd_demand,0,g,indp);
     return g;      return g;
 }  }
Line 6856  NODE nd_f4_trace(int m,int **indp)
Line 8733  NODE nd_f4_trace(int m,int **indp)
             nfv = ndv_dup(0,nfqv);              nfv = ndv_dup(0,nfqv);
             ndv_mod(m,nfv);              ndv_mod(m,nfv);
             ndv_removecont(m,nfv);              ndv_removecont(m,nfv);
             nh = ndv_newps(0,nfv,nfqv,1);              nh = ndv_newps(0,nfv,nfqv);
             d = update_pairs(d,g,nh,0);              d = update_pairs(d,g,nh,0);
             g = update_base(g,nh);              g = update_base(g,nh);
         }          }
Line 6986  NODE nd_f4_red_2(ND_pairs sp0,UINT *s0vect,int col,NOD
Line 8863  NODE nd_f4_red_2(ND_pairs sp0,UINT *s0vect,int col,NOD
     unsigned long *v;      unsigned long *v;
   
     get_eg(&eg0);      get_eg(&eg0);
 init_eg(&eg_search);  
     for ( sp = sp0, nsp = 0; sp; sp = NEXT(sp), nsp++ );      for ( sp = sp0, nsp = 0; sp; sp = NEXT(sp), nsp++ );
     nred = length(rp0);      nred = length(rp0);
     mat = alloc_matrix(nsp,col);      mat = alloc_matrix(nsp,col);
Line 7041  init_eg(&eg_search);
Line 8917  init_eg(&eg_search);
 NODE nd_f4_red(int m,ND_pairs sp0,int trace,UINT *s0vect,int col,NODE rp0,ND_pairs *nz)  NODE nd_f4_red(int m,ND_pairs sp0,int trace,UINT *s0vect,int col,NODE rp0,ND_pairs *nz)
 {  {
     IndArray *imat;      IndArray *imat;
     int nsp,nred,i;      int nsp,nred,i,start;
     int *rhead;      int *rhead;
     NODE r0,rp;      NODE r0,rp;
     ND_pairs sp;      ND_pairs sp;
     NM_ind_pair *rvect;      NM_ind_pair *rvect;
     UINT *s;      UINT *s;
     int *s0hash;      int *s0hash;
       struct oEGT eg0,eg1,eg_conv;
   
     if ( m == 2 && nd_rref2 )      if ( m == 2 && nd_rref2 )
      return nd_f4_red_2(sp0,s0vect,col,rp0,nz);       return nd_f4_red_2(sp0,s0vect,col,rp0,nz);
   
 init_eg(&eg_search);  
     for ( sp = sp0, nsp = 0; sp; sp = NEXT(sp), nsp++ );      for ( sp = sp0, nsp = 0; sp; sp = NEXT(sp), nsp++ );
     nred = length(rp0);      nred = length(rp0);
     imat = (IndArray *)MALLOC(nred*sizeof(IndArray));      imat = (IndArray *)MALLOC(nred*sizeof(IndArray));
Line 7060  init_eg(&eg_search);
Line 8936  init_eg(&eg_search);
     for ( i = 0; i < col; i++ ) rhead[i] = 0;      for ( i = 0; i < col; i++ ) rhead[i] = 0;
   
     /* construction of index arrays */      /* construction of index arrays */
       get_eg(&eg0);
     if ( DP_Print ) {      if ( DP_Print ) {
     fprintf(asir_out,"%dx%d,",nsp+nred,col);        fprintf(asir_out,"%dx%d,",nsp+nred,col);
         fflush(asir_out);
     }      }
     rvect = (NM_ind_pair *)MALLOC(nred*sizeof(NM_ind_pair));      rvect = (NM_ind_pair *)MALLOC(nred*sizeof(NM_ind_pair));
     s0hash = (int *)MALLOC(col*sizeof(int));      for ( start = 0, rp = rp0, i = 0; rp; i++, rp = NEXT(rp) ) {
     for ( i = 0, s = s0vect; i < col; i++, s += nd_wpd )  
         s0hash[i] = ndl_hash_value(s);  
     for ( rp = rp0, i = 0; rp; i++, rp = NEXT(rp) ) {  
         rvect[i] = (NM_ind_pair)BDY(rp);          rvect[i] = (NM_ind_pair)BDY(rp);
         imat[i] = nm_ind_pair_to_vect_compress(trace,s0vect,col,s0hash,rvect[i]);          imat[i] = nm_ind_pair_to_vect_compress(trace,s0vect,col,rvect[i],start);
         rhead[imat[i]->head] = 1;          rhead[imat[i]->head] = 1;
           start = imat[i]->head;
     }      }
       get_eg(&eg1); init_eg(&eg_conv); add_eg(&eg_conv,&eg0,&eg1); add_eg(&f4_conv,&eg0,&eg1);
       if ( DP_Print ) {
         fprintf(asir_out,"conv=%.3fsec,",eg_conv.exectime);
         fflush(asir_out);
       }
     if ( m > 0 )      if ( m > 0 )
 #if SIZEOF_LONG==8  #if SIZEOF_LONG==8
         r0 = nd_f4_red_mod64_main(m,sp0,nsp,s0vect,col,rvect,rhead,imat,nred,nz);          r0 = nd_f4_red_mod64_main(m,sp0,nsp,s0vect,col,rvect,rhead,imat,nred,nz);
Line 7084  init_eg(&eg_search);
Line 8965  init_eg(&eg_search);
         r0 = nd_f4_red_lf_main(m,sp0,nsp,trace,s0vect,col,rvect,rhead,imat,nred);          r0 = nd_f4_red_lf_main(m,sp0,nsp,trace,s0vect,col,rvect,rhead,imat,nred);
     else      else
         r0 = nd_f4_red_q_main(sp0,nsp,trace,s0vect,col,rvect,rhead,imat,nred);          r0 = nd_f4_red_q_main(sp0,nsp,trace,s0vect,col,rvect,rhead,imat,nred);
 #if 0  
     if ( DP_Print ) print_eg("search",&eg_search);  
 #endif  
     return r0;      return r0;
 }  }
   
Line 7122  NODE nd_f4_red_main(int m,ND_pairs sp0,int nsp,UINT *s
Line 9000  NODE nd_f4_red_main(int m,ND_pairs sp0,int nsp,UINT *s
         if ( m == -1 )          if ( m == -1 )
             maxrs = ndv_reduce_vect_sf(m,svect,col,imat,rvect,nred);              maxrs = ndv_reduce_vect_sf(m,svect,col,imat,rvect,nred);
         else          else
             maxrs = ndv_reduce_vect(m,svect,col,imat,rvect,nred);              maxrs = ndv_reduce_vect(m,svect,col,imat,rvect,nred,0);
         for ( i = 0; i < col; i++ ) if ( svect[i] ) break;          for ( i = 0; i < col; i++ ) if ( svect[i] ) break;
         if ( i < col ) {          if ( i < col ) {
             spmat[sprow] = v = (UINT *)MALLOC_ATOMIC(spcol*sizeof(UINT));              spmat[sprow] = v = (UINT *)MALLOC_ATOMIC(spcol*sizeof(UINT));
Line 7178  NODE nd_f4_red_main(int m,ND_pairs sp0,int nsp,UINT *s
Line 9056  NODE nd_f4_red_main(int m,ND_pairs sp0,int nsp,UINT *s
     return r0;      return r0;
 }  }
   
   NODE nd_f4_red_main_s(int m,ND_pairs sp0,int nsp,UINT *s0vect,int col,
           NM_ind_pair *rvect,int *rhead,IndArray *imat,int nred,NODE *syzlistp)
   {
       int spcol,sprow,a;
       int i,j,k,l,rank;
       NODE r0,r;
       ND_pairs sp;
       ND spol;
       UINT **spmat;
       UINT *svect,*cvect;
       UINT *v;
       int *colstat;
       struct oEGT eg0,eg1,eg2,eg_f4,eg_f4_1,eg_f4_2;
       int maxrs;
       int *spsugar;
       ND_pairs *spactive;
       SIG *spsig;
   
       get_eg(&eg0);
       /* elimination (1st step) */
       spmat = (UINT **)MALLOC(nsp*sizeof(UINT *));
       spsugar = (int *)MALLOC(nsp*sizeof(int));
       spsig = (SIG *)MALLOC(nsp*sizeof(SIG));
       for ( a = sprow = 0, sp = sp0; a < nsp; a++, sp = NEXT(sp) ) {
           nd_sp(m,0,sp,&spol);
           if ( !spol ) {
             syzlistp[sp->sig->pos] = insert_sig(syzlistp[sp->sig->pos],sp->sig);
             continue;
           }
           svect = (UINT *)MALLOC(col*sizeof(UINT));
           nd_to_vect(m,s0vect,col,spol,svect);
           maxrs = ndv_reduce_vect(m,svect,col,imat,rvect,nred,spol->sig);
           for ( i = 0; i < col; i++ ) if ( svect[i] ) break;
           if ( i < col ) {
               spmat[sprow] = svect;
               spsugar[sprow] = MAX(maxrs,SG(spol));
               spsig[sprow] = sp->sig;
               sprow++;
           } else {
             syzlistp[sp->sig->pos] = insert_sig(syzlistp[sp->sig->pos],sp->sig);
           }
           nd_free(spol);
       }
       get_eg(&eg1); init_eg(&eg_f4_1); add_eg(&eg_f4_1,&eg0,&eg1); add_eg(&f4_elim1,&eg0,&eg1);
       if ( DP_Print ) {
           fprintf(asir_out,"elim1=%.3fsec,",eg_f4_1.exectime);
           fflush(asir_out);
       }
       /* free index arrays */
       for ( i = 0; i < nred; i++ ) GCFREE(imat[i]->index.c);
   
       /* elimination (2nd step) */
       colstat = (int *)MALLOC(col*sizeof(int));
       rank = nd_gauss_elim_mod_s(spmat,spsugar,0,sprow,col,m,colstat,spsig);
       r0 = 0;
       for ( i = 0; i < sprow; i++ ) {
           if ( spsugar[i] >= 0 ) {
             NEXTNODE(r0,r);
             BDY(r) = vect_to_ndv_s(spmat[i],col,s0vect);
             SG((NDV)BDY(r)) = spsugar[i];
             ((NDV)BDY(r))->sig = spsig[i];
           } else
             syzlistp[spsig[i]->pos] = insert_sig(syzlistp[spsig[i]->pos],spsig[i]);
           GCFREE(spmat[i]);
       }
       if ( r0 ) NEXT(r) = 0;
       get_eg(&eg2); init_eg(&eg_f4_2); add_eg(&eg_f4_2,&eg1,&eg2); add_eg(&f4_elim2,&eg1,&eg2);
       init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg2);
       if ( DP_Print ) {
           fprintf(asir_out,"elim2=%.3fsec,",eg_f4_2.exectime);
           fprintf(asir_out,"nsp=%d,nred=%d,spmat=(%d,%d),rank=%d ",
               nsp,nred,sprow,col,rank);
           fprintf(asir_out,"%.3fsec,",eg_f4.exectime);
       }
       return r0;
   }
   
   
 /* for small finite fields */  /* for small finite fields */
   
 NODE nd_f4_red_sf_main(int m,ND_pairs sp0,int nsp,UINT *s0vect,int col,  NODE nd_f4_red_sf_main(int m,ND_pairs sp0,int nsp,UINT *s0vect,int col,
Line 7590  int nd_gauss_elim_mod(UINT **mat0,int *sugar,ND_pairs 
Line 9545  int nd_gauss_elim_mod(UINT **mat0,int *sugar,ND_pairs 
     return rank;      return rank;
 }  }
   
   int nd_gauss_elim_mod_s(UINT **mat,int *sugar,ND_pairs *spactive,int row,int col,int md,int *colstat,SIG *sig)
   {
     int i,j,k,l,rank,s,imin;
     UINT inv;
     UINT a;
     UINT *t,*pivot,*pk;
     UINT *ck;
     UINT *ct;
     ND_pairs pair;
     SIG sg;
     int *used;
   
     used = (int *)MALLOC(row*sizeof(int));
     for ( j = 0; j < col; j++ ) {
       for ( i = 0; i < row; i++ )
         a = mat[i][j] %= md;
       for ( i = 0; i < row; i++ )
         if ( !used[i] && mat[i][j] ) break;
       if ( i == row ) {
         colstat[j] = 0;
         continue;
       } else {
         colstat[j] = 1;
         used[i] = 1;
       }
       /* column j is normalized */
       s = sugar[i];
       inv = invm(mat[i][j],md);
       /* normalize pivot row */
       for ( k = j, pk = mat[i]+j; k < col; k++, pk++, ck++ ) {
         DMAR(*pk,inv,0,md,*pk);
       }
       for ( k = i+1; k < row; k++ ) {
         if ( (a = mat[k][j]) != 0 ) {
           sugar[k] = MAX(sugar[k],s);
           red_by_vect(md,mat[k]+j,mat[i]+j,(int)(md-a),col-j);
           Nf4_red++;
         }
       }
     }
     rank = 0;
     for ( i = 0; i < row; i++ ) {
       for ( j = 0; j < col; j++ )
         if ( mat[i][j] ) break;
       if ( j == col ) sugar[i] = -1;
       else rank++;
     }
     return rank;
   }
   
   
 int nd_gauss_elim_sf(UINT **mat0,int *sugar,int row,int col,int md,int *colstat)  int nd_gauss_elim_sf(UINT **mat0,int *sugar,int row,int col,int md,int *colstat)
 {  {
     int i,j,k,l,inv,a,rank,s;      int i,j,k,l,inv,a,rank,s;
Line 7653  int ndv_ishomo(NDV p)
Line 9658  int ndv_ishomo(NDV p)
     h = TD(DL(m));      h = TD(DL(m));
     NMV_ADV(m);      NMV_ADV(m);
     for ( len--; len; len--, NMV_ADV(m) )      for ( len--; len; len--, NMV_ADV(m) )
         if ( TD(DL(m)) != h ) return 0;          if ( TD(DL(m)) != h ) {
             return 0;
           }
     return 1;      return 1;
 }  }
   
Line 8264  void conv_ilist(int demand,int trace,NODE g,int **indp
Line 10271  void conv_ilist(int demand,int trace,NODE g,int **indp
   if ( indp ) *indp = ind;    if ( indp ) *indp = ind;
 }  }
   
 void parse_nd_option(NODE opt)  NODE conv_ilist_s(int demand,int trace,int **indp)
 {  {
     NODE t,p,u;    int n,i,j;
     int *ind;
     NODE g0,g;
   
     n = nd_psn;
     ind = (int *)MALLOC(n*sizeof(int));
     g0 = 0;
     for ( i = 0; i < n; i++ ) {
       ind[i] = i;
       NEXTNODE(g0,g);
       BDY(g) = (pointer)(demand?ndv_load(i):(trace?nd_ps_trace[i]:nd_ps[i]));
     }
     if ( g0 ) NEXT(g) = 0;
     if ( indp ) *indp = ind;
     return g0;
   }
   
   void parse_nd_option(VL vl,NODE opt)
   {
     NODE t,p,u;
   int i,s,n;    int i,s,n;
     char *key;    char *key;
     Obj value;    Obj value;
     VL oldvl;
   
     nd_gentrace = 0; nd_gensyz = 0; nd_nora = 0; nd_gbblock = 0;    nd_gentrace = 0; nd_gensyz = 0; nd_nora = 0; nd_norb = 0; nd_gbblock = 0;
   nd_newelim = 0; nd_intersect = 0; nd_nzlist = 0;    nd_newelim = 0; nd_intersect = 0; nd_nzlist = 0;
   nd_splist = 0; nd_check_splist = 0;    nd_splist = 0; nd_check_splist = 0;
     nd_sugarweight = 0;    nd_sugarweight = 0; nd_f4red =0; nd_rank0 = 0;
     nd_f4red =0;    nd_f4_td = 0; nd_sba_f4step = 2; nd_sba_pot = 0; nd_sba_largelcm = 0;
     nd_rank0 = 0;    nd_sba_dontsort = 0; nd_top = 0; nd_sba_redundant_check = 0;
     for ( t = opt; t; t = NEXT(t) ) {    nd_sba_syz = 0; nd_sba_modord = 0; nd_sba_inputisgb = 0;
         p = BDY((LIST)BDY(t));  
         key = BDY((STRING)BDY(p));    for ( t = opt; t; t = NEXT(t) ) {
         value = (Obj)BDY(NEXT(p));      p = BDY((LIST)BDY(t));
         if ( !strcmp(key,"gentrace") )      key = BDY((STRING)BDY(p));
             nd_gentrace = value?1:0;      value = (Obj)BDY(NEXT(p));
         else if ( !strcmp(key,"gensyz") )      if ( !strcmp(key,"gentrace") )
             nd_gensyz = value?1:0;        nd_gentrace = value?1:0;
         else if ( !strcmp(key,"nora") )      else if ( !strcmp(key,"gensyz") )
             nd_nora = value?1:0;        nd_gensyz = value?1:0;
         else if ( !strcmp(key,"gbblock") ) {      else if ( !strcmp(key,"nora") )
             if ( value && OID(value) == O_LIST ) {        nd_nora = value?1:0;
       else if ( !strcmp(key,"norb") )
         nd_norb = value?1:0;
       else if ( !strcmp(key,"gbblock") ) {
         if ( value && OID(value) == O_LIST ) {
         u = BDY((LIST)value);          u = BDY((LIST)value);
               nd_gbblock = MALLOC((2*length(u)+1)*sizeof(int));          nd_gbblock = MALLOC((2*length(u)+1)*sizeof(int));
         for ( i = 0; u; u = NEXT(u) ) {          for ( i = 0; u; u = NEXT(u) ) {
           p = BDY((LIST)BDY(u));            p = BDY((LIST)BDY(u));
           s = nd_gbblock[i++] = ZTOS((Q)BDY(p));            s = nd_gbblock[i++] = ZTOS((Q)BDY(p));
           nd_gbblock[i++] = s+ZTOS((Q)BDY(NEXT(p)))-1;            nd_gbblock[i++] = s+ZTOS((Q)BDY(NEXT(p)))-1;
         }          }
         nd_gbblock[i] = -1;          nd_gbblock[i] = -1;
             } else        } else
               nd_gbblock = 0;          nd_gbblock = 0;
     } else if ( !strcmp(key,"newelim") )      } else if ( !strcmp(key,"newelim") )
             nd_newelim = value?1:0;              nd_newelim = value?1:0;
     else if ( !strcmp(key,"intersect") )      else if ( !strcmp(key,"intersect") )
             nd_intersect = value?1:0;              nd_intersect = value?1:0;
       else if ( !strcmp(key,"syzgen") )
               nd_intersect = ZTOS((Q)value);
     else if ( !strcmp(key,"lf") )      else if ( !strcmp(key,"lf") )
             nd_lf = value?1:0;              nd_lf = value?1:0;
     else if ( !strcmp(key,"trace") ) {      else if ( !strcmp(key,"trace") ) {
            if ( value ) {        if ( value ) {
                u = BDY((LIST)value);          u = BDY((LIST)value);
            nd_nzlist = BDY((LIST)ARG2(u));          nd_nzlist = BDY((LIST)ARG2(u));
            nd_bpe = ZTOS((Q)ARG3(u));          nd_bpe = ZTOS((Q)ARG3(u));
            }        }
     } else if ( !strcmp(key,"f4red") ) {      } else if ( !strcmp(key,"f4red") ) {
        nd_f4red = ZTOS((Q)value);        nd_f4red = ZTOS((Q)value);
     } else if ( !strcmp(key,"rank0") ) {      } else if ( !strcmp(key,"rank0") ) {
             nd_rank0 = value?1:0;        nd_rank0 = value?1:0;
     } else if ( !strcmp(key,"splist") ) {      } else if ( !strcmp(key,"splist") ) {
             nd_splist = value?1:0;        nd_splist = value?1:0;
     } else if ( !strcmp(key,"check_splist") ) {      } else if ( !strcmp(key,"check_splist") ) {
       nd_check_splist = BDY((LIST)value);        nd_check_splist = BDY((LIST)value);
     } else if ( !strcmp(key,"sugarweight") ) {      } else if ( !strcmp(key,"sugarweight") ) {
       u = BDY((LIST)value);        u = BDY((LIST)value);
             n = length(u);        n = length(u);
             nd_sugarweight = MALLOC(n*sizeof(int));        nd_sugarweight = MALLOC(n*sizeof(int));
       for ( i = 0; i < n; i++, u = NEXT(u) )        for ( i = 0; i < n; i++, u = NEXT(u) )
                 nd_sugarweight[i] = ZTOS((Q)BDY(u));          nd_sugarweight[i] = ZTOS((Q)BDY(u));
       } else if ( !strcmp(key,"f4_td") ) {
         nd_f4_td = value?1:0;
       } else if ( !strcmp(key,"sba_f4step") ) {
         nd_sba_f4step = value?ZTOS((Q)value):0;
       } else if ( !strcmp(key,"sba_pot") ) {
         nd_sba_pot = ZTOS((Q)value);
       } else if ( !strcmp(key,"sba_largelcm") ) {
         nd_sba_largelcm = value?1:0;
       } else if ( !strcmp(key,"sba_dontsort") ) {
         nd_sba_dontsort = value?1:0;
       } else if ( !strcmp(key,"sba_syz") ) {
         nd_sba_syz = value?1:0;
       } else if ( !strcmp(key,"sba_modord") ) {
         // value=[vlist,ordspec,weight]
         u = BDY((LIST)value);
         pltovl((LIST)ARG0(u),&oldvl);
         nd_sba_modord = create_comp_sig_spec(vl,oldvl,(Obj)ARG1(u),argc(u)==3?ARG2(u):0);
       } else if ( !strcmp(key,"sba_gbinput") ) {
         nd_sba_inputisgb = value?1:0;
         if ( nd_sba_inputisgb != 0 ) {
           // value=[vlist,ordspec,weight]
           u = BDY((LIST)value);
           pltovl((LIST)ARG0(u),&oldvl);
           nd_sba_modord = create_comp_sig_spec(vl,oldvl,(Obj)ARG1(u),argc(u)==3?ARG2(u):0);
         }
       } else if ( !strcmp(key,"sba_redundant_check") ) {
         nd_sba_redundant_check = value?1:0;
       } else if ( !strcmp(key,"top") ) {
         nd_top = value?1:0;
     }      }
     }    }
     if ( nd_sba_syz ) nd_sba_dontsort = 1;
 }  }
   
 ND mdptond(DP d);  ND mdptond(DP d);
Line 8531  MAT nd_btog(LIST f,LIST v,int mod,struct order_spec *o
Line 10594  MAT nd_btog(LIST f,LIST v,int mod,struct order_spec *o
   if ( mod == -2 )    if ( mod == -2 )
     return nd_btog_lf(f,v,ord,tlist,rp);      return nd_btog_lf(f,v,ord,tlist,rp);
   
   parse_nd_option(current_option);  
   get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);    get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);
     parse_nd_option(vv,current_option);
   for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );    for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );
   switch ( ord->id ) {    switch ( ord->id ) {
     case 1:      case 1:
Line 8600  MAT nd_btog_lf(LIST f,LIST v,struct order_spec *ord,LI
Line 10663  MAT nd_btog_lf(LIST f,LIST v,struct order_spec *ord,LI
   LM lm;    LM lm;
   Z lf,inv;    Z lf,inv;
   
   parse_nd_option(current_option);  
   get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);    get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);
     parse_nd_option(vv,current_option);
   for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );    for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );
   switch ( ord->id ) {    switch ( ord->id ) {
     case 1:      case 1:
Line 8671  VECT nd_btog_one(LIST f,LIST v,int mod,struct order_sp
Line 10734  VECT nd_btog_one(LIST f,LIST v,int mod,struct order_sp
   if ( mod == -2 )    if ( mod == -2 )
     error("nd_btog_one : not implemented yet for a large finite field");      error("nd_btog_one : not implemented yet for a large finite field");
   
   parse_nd_option(current_option);  
   get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);    get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);
     parse_nd_option(vv,current_option);
   for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );    for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );
   switch ( ord->id ) {    switch ( ord->id ) {
     case 1:      case 1:
Line 8785  void nd_f4_lf_trace(LIST f,LIST v,int trace,int homo,s
Line 10848  void nd_f4_lf_trace(LIST f,LIST v,int trace,int homo,s
     Q jq,bpe;      Q jq,bpe;
   
     nd_module = 0;      nd_module = 0;
     parse_nd_option(current_option);  
     get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);      get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);
       parse_nd_option(vv,current_option);
     if ( nd_vc )      if ( nd_vc )
       error("nd_f4_lf_trace : computation over a rational function field is not implemented");        error("nd_f4_lf_trace : computation over a rational function field is not implemented");
     for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );      for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );
Line 8858  void nd_f4_lf_trace(LIST f,LIST v,int trace,int homo,s
Line 10921  void nd_f4_lf_trace(LIST f,LIST v,int trace,int homo,s
             ndv_homogenize((NDV)BDY(t),obpe,oadv,oepos,ompos);              ndv_homogenize((NDV)BDY(t),obpe,oadv,oepos,ompos);
     }      }
     if ( MaxDeg > 0 ) nocheck = 1;      if ( MaxDeg > 0 ) nocheck = 1;
     ret = ndv_setup(-2,m,fd0,nd_gbblock?1:0,0);      ret = ndv_setup(-2,m,fd0,nd_gbblock?1:0,0,0);
     if ( ret )      if ( ret )
       cand = nd_f4_lf_trace_main(m,&perm);        cand = nd_f4_lf_trace_main(m,&perm);
     if ( !ret || !cand ) {      if ( !ret || !cand ) {
Line 8974  NODE nd_f4_lf_trace_main(int m,int **indp)
Line 11037  NODE nd_f4_lf_trace_main(int m,int **indp)
             if ( DL_COMPARE(HDL(nfv),HDL(nfqv)) ) return 0;              if ( DL_COMPARE(HDL(nfv),HDL(nfqv)) ) return 0;
             ndv_removecont(m,nfv);              ndv_removecont(m,nfv);
             ndv_removecont(-2,nfqv);              ndv_removecont(-2,nfqv);
             nh = ndv_newps(-2,nfv,nfqv,1);              nh = ndv_newps(-2,nfv,nfqv);
             d = update_pairs(d,g,nh,0);              d = update_pairs(d,g,nh,0);
             g = update_base(g,nh);              g = update_base(g,nh);
         }          }
Line 9014  NDV vect64_to_ndv(mp_limb_t *vect,int spcol,int col,in
Line 11077  NDV vect64_to_ndv(mp_limb_t *vect,int spcol,int col,in
     }      }
 }  }
   
   NDV vect64_to_ndv_s(mp_limb_t *vect,int col,UINT *s0vect)
   {
       int j,k,len;
       UINT *p;
       UINT c;
       NDV r;
       NMV mr0,mr;
   
       for ( j = 0, len = 0; j < col; j++ ) if ( vect[j] ) len++;
       if ( !len ) return 0;
       else {
           mr0 = (NMV)MALLOC_ATOMIC_IGNORE_OFF_PAGE(nmv_adv*len);
           mr = mr0;
           p = s0vect;
           for ( j = k = 0; j < col; j++, p += nd_wpd )
             if ( (c = (UINT)vect[k++]) != 0 ) {
               ndl_copy(p,DL(mr)); CM(mr) = c; NMV_ADV(mr);
             }
           MKNDV(nd_nvar,mr0,len,r);
           return r;
       }
   }
   
 int nd_to_vect64(int mod,UINT *s0,int n,ND d,mp_limb_t *r)  int nd_to_vect64(int mod,UINT *s0,int n,ND d,mp_limb_t *r)
 {  {
     NM m;      NM m;
     UINT *t,*s;      UINT *t,*s,*u;
     int i;      int i,st,ed,md,prev,c;
   
     for ( i = 0; i < n; i++ ) r[i] = 0;      for ( i = 0; i < n; i++ ) r[i] = 0;
     for ( i = 0, s = s0, m = BDY(d); m; m = NEXT(m) ) {      prev = 0;
         t = DL(m);      for ( i = 0, m = BDY(d); m; m = NEXT(m) ) {
         for ( ; !ndl_equal(t,s); s += nd_wpd, i++ );        t = DL(m);
         r[i] = (mp_limb_t)CM(m);        st = prev;
         ed = n;
         while ( ed > st ) {
           md = (st+ed)/2;
           u = s0+md*nd_wpd;
           c = DL_COMPARE(u,t);
           if ( c == 0 ) break;
           else if ( c > 0 ) st = md;
           else ed = md;
         }
         r[md] = (mp_limb_t)CM(m);
         prev = md;
     }      }
     for ( i = 0; !r[i]; i++ );      for ( i = 0; !r[i]; i++ );
     return i;      return i;
Line 9032  int nd_to_vect64(int mod,UINT *s0,int n,ND d,mp_limb_t
Line 11129  int nd_to_vect64(int mod,UINT *s0,int n,ND d,mp_limb_t
   
 #define MOD128(a,c,m) ((a)=(((c)!=0||((a)>=(m)))?(((((U128)(c))<<64)+(a))%(m)):(a)))  #define MOD128(a,c,m) ((a)=(((c)!=0||((a)>=(m)))?(((((U128)(c))<<64)+(a))%(m)):(a)))
   
 int ndv_reduce_vect64(int m,mp_limb_t *svect,mp_limb_t *cvect,int col,IndArray *imat,NM_ind_pair *rp0,int nred)  int ndv_reduce_vect64(int m,mp_limb_t *svect,mp_limb_t *cvect,int col,IndArray *imat,NM_ind_pair *rp0,int nred,SIG sig)
 {  {
     int i,j,k,len,pos,prev;      int i,j,k,len,pos,prev;
     mp_limb_t a,c,c1,c2;      mp_limb_t a,c,c1,c2;
Line 9053  int ndv_reduce_vect64(int m,mp_limb_t *svect,mp_limb_t
Line 11150  int ndv_reduce_vect64(int m,mp_limb_t *svect,mp_limb_t
         a = svect[k]; c = cvect[k];          a = svect[k]; c = cvect[k];
         MOD128(a,c,m);          MOD128(a,c,m);
         svect[k] = a; cvect[k] = 0;          svect[k] = a; cvect[k] = 0;
         if ( (c = svect[k]) != 0 ) {          if ( (c = svect[k]) != 0 && (sig == 0 || comp_sig(sig,rp0[i]->sig) > 0 ) ) {
               Nf4_red++;
             maxrs = MAX(maxrs,rp0[i]->sugar);              maxrs = MAX(maxrs,rp0[i]->sugar);
             c = m-c; redv = nd_ps[rp0[i]->index];              c = m-c; redv = nd_ps[rp0[i]->index];
             len = LEN(redv); mr = BDY(redv);              len = LEN(redv); mr = BDY(redv);
Line 9063  int ndv_reduce_vect64(int m,mp_limb_t *svect,mp_limb_t
Line 11161  int ndv_reduce_vect64(int m,mp_limb_t *svect,mp_limb_t
                     ivc = ivect->index.c;                      ivc = ivect->index.c;
                     for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {                      for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {
                         pos = prev+ivc[j]; c1 = CM(mr); prev = pos;                          pos = prev+ivc[j]; c1 = CM(mr); prev = pos;
                         if ( c1 ) {                          c2 = svect[pos]+c1*c;
                           c2 = svect[pos]+c1*c;                          if ( c2 < svect[pos] ) cvect[pos]++;
                           if ( c2 < svect[pos] ) cvect[pos]++;                          svect[pos] = c2;
                           svect[pos] = c2;  
                         }  
                     }                      }
                     break;                      break;
                 case 2:                  case 2:
                     ivs = ivect->index.s;                      ivs = ivect->index.s;
                     for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {                      for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {
                         pos = prev+ivs[j]; c1 = CM(mr); prev = pos;                          pos = prev+ivs[j]; c1 = CM(mr); prev = pos;
                         if ( c1 ) {                          c2 = svect[pos]+c1*c;
                           c2 = svect[pos]+c1*c;                          if ( c2 < svect[pos] ) cvect[pos]++;
                           if ( c2 < svect[pos] ) cvect[pos]++;                          svect[pos] = c2;
                           svect[pos] = c2;  
                         }  
                     }                      }
                     break;                      break;
                 case 4:                  case 4:
                     ivi = ivect->index.i;                      ivi = ivect->index.i;
                     for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {                      for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {
                         pos = prev+ivi[j]; c1 = CM(mr); prev = pos;                          pos = prev+ivi[j]; c1 = CM(mr); prev = pos;
                         if ( c1 ) {                          c2 = svect[pos]+c1*c;
                           c2 = svect[pos]+c1*c;                          if ( c2 < svect[pos] ) cvect[pos]++;
                           if ( c2 < svect[pos] ) cvect[pos]++;                          svect[pos] = c2;
                           svect[pos] = c2;  
                         }  
                     }                      }
                     break;                      break;
             }              }
Line 9132  NODE nd_f4_red_mod64_main(int m,ND_pairs sp0,int nsp,U
Line 11224  NODE nd_f4_red_mod64_main(int m,ND_pairs sp0,int nsp,U
         nd_sp(m,0,sp,&spol);          nd_sp(m,0,sp,&spol);
         if ( !spol ) continue;          if ( !spol ) continue;
         nd_to_vect64(m,s0vect,col,spol,svect);          nd_to_vect64(m,s0vect,col,spol,svect);
         maxrs = ndv_reduce_vect64(m,svect,cvect,col,imat,rvect,nred);          maxrs = ndv_reduce_vect64(m,svect,cvect,col,imat,rvect,nred,0);
         for ( i = 0; i < col; i++ ) if ( svect[i] ) break;          for ( i = 0; i < col; i++ ) if ( svect[i] ) break;
         if ( i < col ) {          if ( i < col ) {
             spmat[sprow] = v = (mp_limb_t *)MALLOC_ATOMIC(spcol*sizeof(mp_limb_t));              spmat[sprow] = v = (mp_limb_t *)MALLOC_ATOMIC(spcol*sizeof(mp_limb_t));
Line 9145  NODE nd_f4_red_mod64_main(int m,ND_pairs sp0,int nsp,U
Line 11237  NODE nd_f4_red_mod64_main(int m,ND_pairs sp0,int nsp,U
         }          }
         nd_free(spol);          nd_free(spol);
     }      }
     get_eg(&eg1); init_eg(&eg_f4_1); add_eg(&eg_f4_1,&eg0,&eg1);      get_eg(&eg1); init_eg(&eg_f4_1); add_eg(&eg_f4_1,&eg0,&eg1); add_eg(&f4_elim1,&eg0,&eg1);
     if ( DP_Print ) {      if ( DP_Print ) {
         fprintf(asir_out,"elim1=%.3fsec,",eg_f4_1.exectime);          fprintf(asir_out,"elim1=%.3fsec,",eg_f4_1.exectime);
         fflush(asir_out);          fflush(asir_out);
Line 9166  NODE nd_f4_red_mod64_main(int m,ND_pairs sp0,int nsp,U
Line 11258  NODE nd_f4_red_mod64_main(int m,ND_pairs sp0,int nsp,U
     if ( r0 ) NEXT(r) = 0;      if ( r0 ) NEXT(r) = 0;
   
     for ( ; i < sprow; i++ ) GCFREE(spmat[i]);      for ( ; i < sprow; i++ ) GCFREE(spmat[i]);
     get_eg(&eg2); init_eg(&eg_f4_2); add_eg(&eg_f4_2,&eg1,&eg2);      get_eg(&eg2); init_eg(&eg_f4_2); add_eg(&eg_f4_2,&eg1,&eg2); add_eg(&f4_elim2,&eg1,&eg2);
     init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg2);      init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg2);
     if ( DP_Print ) {      if ( DP_Print ) {
         fprintf(asir_out,"elim2=%.3fsec,",eg_f4_2.exectime);          fprintf(asir_out,"elim2=%.3fsec,",eg_f4_2.exectime);
Line 9237  int nd_gauss_elim_mod64(mp_limb_t **mat,int *sugar,ND_
Line 11329  int nd_gauss_elim_mod64(mp_limb_t **mat,int *sugar,ND_
       if ( (a = mat[i][j]) != 0 ) {        if ( (a = mat[i][j]) != 0 ) {
         sugar[i] = MAX(sugar[i],s);          sugar[i] = MAX(sugar[i],s);
         red_by_vect64(md,mat[i]+j,cmat[i]+j,mat[rank]+j,(int)(md-a),col-j);          red_by_vect64(md,mat[i]+j,cmat[i]+j,mat[rank]+j,(int)(md-a),col-j);
           Nf4_red++;
       }        }
     }      }
     rank++;      rank++;
Line 9252  int nd_gauss_elim_mod64(mp_limb_t **mat,int *sugar,ND_
Line 11345  int nd_gauss_elim_mod64(mp_limb_t **mat,int *sugar,ND_
         if ( a ) {          if ( a ) {
           sugar[i] = MAX(sugar[i],s);            sugar[i] = MAX(sugar[i],s);
           red_by_vect64(md,mat[i]+j,cmat[i]+j,mat[l]+j,(int)(md-a),col-j);            red_by_vect64(md,mat[i]+j,cmat[i]+j,mat[l]+j,(int)(md-a),col-j);
             Nf4_red++;
         }          }
       }        }
       l--;        l--;
Line 9260  int nd_gauss_elim_mod64(mp_limb_t **mat,int *sugar,ND_
Line 11354  int nd_gauss_elim_mod64(mp_limb_t **mat,int *sugar,ND_
   GCFREE(cmat);    GCFREE(cmat);
   return rank;    return rank;
 }  }
   
   int nd_gauss_elim_mod64_s(mp_limb_t **mat,int *sugar,ND_pairs *spactive,int row,int col,int md,int *colstat,SIG *sig)
   {
     int i,j,k,l,rank,s,imin;
     mp_limb_t inv;
     mp_limb_t a;
     UINT c;
     mp_limb_t *t,*pivot,*pk;
     UINT *ck;
     UINT **cmat;
     UINT *ct;
     ND_pairs pair;
     SIG sg;
     int *used;
   
     used = (int *)MALLOC(row*sizeof(int));
     cmat = (UINT **)MALLOC(row*sizeof(UINT *));
     for ( i = 0; i < row; i++ ) {
       cmat[i] = MALLOC_ATOMIC(col*sizeof(UINT));
       bzero(cmat[i],col*sizeof(UINT));
     }
   
     for ( j = 0; j < col; j++ ) {
       for ( i = 0; i < row; i++ ) {
         a = mat[i][j]; c = cmat[i][j];
         MOD128(a,c,md);
         mat[i][j] = a; cmat[i][j] = 0;
       }
       for ( i = 0; i < row; i++ )
         if ( !used[i] && mat[i][j] ) break;
       if ( i == row ) {
         colstat[j] = 0;
         continue;
       } else {
         colstat[j] = 1;
         used[i] = 1;
       }
       /* column j is normalized */
       s = sugar[i];
       inv = invm((UINT)mat[i][j],md);
       /* normalize pivot row */
       for ( k = j, pk = mat[i]+j, ck = cmat[i]+j; k < col; k++, pk++, ck++ ) {
         a = *pk; c = *ck; MOD128(a,c,md); *pk = (a*inv)%md; *ck = 0;
       }
       for ( k = i+1; k < row; k++ ) {
         if ( (a = mat[k][j]) != 0 ) {
           sugar[k] = MAX(sugar[k],s);
           red_by_vect64(md,mat[k]+j,cmat[k]+j,mat[i]+j,(int)(md-a),col-j);
           Nf4_red++;
         }
       }
     }
     rank = 0;
     for ( i = 0; i < row; i++ ) {
       for ( j = 0; j < col; j++ )
         if ( mat[i][j] ) break;
       if ( j == col ) sugar[i] = -1;
       else rank++;
     }
     for ( i = 0; i < row; i++ ) GCFREE(cmat[i]);
     GCFREE(cmat);
     return rank;
   }
   
   NODE nd_f4_red_mod64_main_s(int m,ND_pairs sp0,int nsp,UINT *s0vect,int col,
           NM_ind_pair *rvect,int *rhead,IndArray *imat,int nred,NODE *syzlistp)
   {
       int spcol,sprow,a;
       int i,j,k,l,rank;
       NODE r0,r;
       ND_pairs sp;
       ND spol;
       mp_limb_t **spmat;
       mp_limb_t *svect,*cvect;
       mp_limb_t *v;
       int *colstat;
       struct oEGT eg0,eg1,eg2,eg_f4,eg_f4_1,eg_f4_2;
       int maxrs;
       int *spsugar;
       ND_pairs *spactive;
       SIG *spsig;
   
       get_eg(&eg0);
       /* elimination (1st step) */
       spmat = (mp_limb_t **)MALLOC(nsp*sizeof(mp_limb_t *));
       cvect = (mp_limb_t *)MALLOC(col*sizeof(mp_limb_t));
       spsugar = (int *)MALLOC(nsp*sizeof(int));
       spsig = (SIG *)MALLOC(nsp*sizeof(SIG));
       for ( a = sprow = 0, sp = sp0; a < nsp; a++, sp = NEXT(sp) ) {
           nd_sp(m,0,sp,&spol);
           if ( !spol ) {
             syzlistp[sp->sig->pos] = insert_sig(syzlistp[sp->sig->pos],sp->sig);
             continue;
           }
           svect = (mp_limb_t *)MALLOC(col*sizeof(mp_limb_t));
           nd_to_vect64(m,s0vect,col,spol,svect);
           maxrs = ndv_reduce_vect64(m,svect,cvect,col,imat,rvect,nred,spol->sig);
           for ( i = 0; i < col; i++ ) if ( svect[i] ) break;
           if ( i < col ) {
               spmat[sprow] = svect;
               spsugar[sprow] = MAX(maxrs,SG(spol));
               spsig[sprow] = sp->sig;
               sprow++;
           } else {
             syzlistp[sp->sig->pos] = insert_sig(syzlistp[sp->sig->pos],sp->sig);
           }
           nd_free(spol);
       }
       get_eg(&eg1); init_eg(&eg_f4_1); add_eg(&eg_f4_1,&eg0,&eg1); add_eg(&f4_elim1,&eg0,&eg1);
       if ( DP_Print ) {
           fprintf(asir_out,"elim1=%.3fsec,",eg_f4_1.exectime);
           fflush(asir_out);
       }
       /* free index arrays */
       for ( i = 0; i < nred; i++ ) GCFREE(imat[i]->index.c);
   
       /* elimination (2nd step) */
       colstat = (int *)MALLOC(col*sizeof(int));
       rank = nd_gauss_elim_mod64_s(spmat,spsugar,0,sprow,col,m,colstat,spsig);
       r0 = 0;
       for ( i = 0; i < sprow; i++ ) {
           if ( spsugar[i] >= 0 ) {
             NEXTNODE(r0,r);
             BDY(r) = vect64_to_ndv_s(spmat[i],col,s0vect);
             SG((NDV)BDY(r)) = spsugar[i];
             ((NDV)BDY(r))->sig = spsig[i];
           } else
             syzlistp[spsig[i]->pos] = insert_sig(syzlistp[spsig[i]->pos],spsig[i]);
           GCFREE(spmat[i]);
       }
       if ( r0 ) NEXT(r) = 0;
       get_eg(&eg2); init_eg(&eg_f4_2); add_eg(&eg_f4_2,&eg1,&eg2); add_eg(&f4_elim2,&eg1,&eg2);
       init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg2);
       if ( DP_Print ) {
           fprintf(asir_out,"elim2=%.3fsec,",eg_f4_2.exectime);
           fprintf(asir_out,"nsp=%d,nred=%d,spmat=(%d,%d),rank=%d ",
               nsp,nred,sprow,col,rank);
           fprintf(asir_out,"%.3fsec,",eg_f4.exectime);
       }
       return r0;
   }
 #endif  #endif
   
   NODE nd_f4_red_s(int m,ND_pairs sp0,int trace,UINT *s0vect,int col,NODE rp0,NODE *syzlistp)
   {
     IndArray *imat;
     int nsp,nred,i,start;
     int *rhead;
     NODE r0,rp;
     ND_pairs sp;
     NM_ind_pair *rvect;
     UINT *s;
     int *s0hash;
     struct oEGT eg0,eg1,eg_conv;
   
     for ( sp = sp0, nsp = 0; sp; sp = NEXT(sp), nsp++ );
     nred = length(rp0);
     imat = (IndArray *)MALLOC(nred*sizeof(IndArray));
     rhead = (int *)MALLOC(col*sizeof(int));
     for ( i = 0; i < col; i++ ) rhead[i] = 0;
   
     /* construction of index arrays */
     get_eg(&eg0);
     if ( DP_Print ) {
       fprintf(asir_out,"%dx%d,",nsp+nred,col);
       fflush(asir_out);
     }
     rvect = (NM_ind_pair *)MALLOC(nred*sizeof(NM_ind_pair));
     for ( start = 0, rp = rp0, i = 0; rp; i++, rp = NEXT(rp) ) {
       rvect[i] = (NM_ind_pair)BDY(rp);
       imat[i] = nm_ind_pair_to_vect_compress(trace,s0vect,col,rvect[i],start);
       rhead[imat[i]->head] = 1;
       start = imat[i]->head;
     }
     get_eg(&eg1); init_eg(&eg_conv); add_eg(&eg_conv,&eg0,&eg1); add_eg(&f4_conv,&eg0,&eg1);
     if ( DP_Print ) {
       fprintf(asir_out,"conv=%.3fsec,",eg_conv.exectime);
       fflush(asir_out);
     }
     if ( m > 0 )
   #if SIZEOF_LONG==8
       r0 = nd_f4_red_mod64_main_s(m,sp0,nsp,s0vect,col,rvect,rhead,imat,nred,syzlistp);
   #else
       r0 = nd_f4_red_main_s(m,sp0,nsp,s0vect,col,rvect,rhead,imat,nred,syzlistp);
   #endif
     else
   //    r0 = nd_f4_red_q_main_s(sp0,nsp,trace,s0vect,col,rvect,rhead,imat,nred);
       error("nd_f4_red_q_main_s : not implemented yet");
     return r0;
   }
   
   INLINE int ndl_find_reducer_minsig(UINT *dg)
   {
     RHist r;
     int i,singular,ret,d,k,imin;
     SIG t;
     static int wpd,nvar;
     static SIG quo,quomin;
     static UINT *tmp;
   
     if ( !quo || nvar != nd_nvar ) { NEWSIG(quo); NEWSIG(quomin); }
     if ( wpd != nd_wpd ) {
       wpd = nd_wpd;
       tmp = (UINT *)MALLOC(wpd*sizeof(UINT));
     }
   #if 0
     d = ndl_hash_value(dg);
     for ( r = nd_red[d], k = 0; r; r = NEXT(r), k++ ) {
       if ( ndl_equal(dg,DL(r)) ) {
         return r->index;
       }
     }
   #endif
     imin = -1;
     for ( i = 0; i < nd_psn; i++ ) {
       r = nd_psh[i];
       if ( ndl_reducible(dg,DL(r)) ) {
         ndl_sub(dg,DL(r),tmp);
         _ndltodl(tmp,DL(quo));
         _addtodl(nd_nvar,DL(nd_psh[i]->sig),DL(quo));
         quo->pos = nd_psh[i]->sig->pos;
         if ( imin < 0 || comp_sig(quomin,quo) > 0 ) {
           t = quo; quo = quomin; quomin = t;
           imin = i;
         }
       }
     }
     if ( imin == -1 ) return nd_psn;
     else {
   #if 0
       nd_append_red(dg,i);
   #endif
       return imin;
     }
   }
   
   int nd_symbolic_preproc_s(PGeoBucket bucket,int trace,UINT **s0vect,NODE *r)
   {
     NODE rp0,rp;
     NM mul,head,s0,s;
     int index,col,i,sugar;
     RHist h;
     UINT *s0v,*p;
     NM_ind_pair pair;
     ND red;
     NDV *ps;
     SIG sig;
   
     s0 = 0; rp0 = 0; col = 0;
     if ( nd_demand )
       ps = trace?nd_ps_trace_sym:nd_ps_sym;
     else
       ps = trace?nd_ps_trace:nd_ps;
     while ( 1 ) {
       head = remove_head_pbucket_symbolic(bucket);
       if ( !head ) break;
       if ( !s0 ) s0 = head;
       else NEXT(s) = head;
       s = head;
       index = ndl_find_reducer_minsig(DL(head));
       if ( index >= 0 && index < nd_psn ) {
         h = nd_psh[index];
         NEWNM(mul);
         ndl_sub(DL(head),DL(h),DL(mul));
         if ( ndl_check_bound2(index,DL(mul)) )
           return 0;
         sugar = TD(DL(mul))+SG(ps[index]);
         NEWSIG(sig);
         _ndltodl(DL(mul),DL(sig));
         _addtodl(nd_nvar,DL(nd_psh[index]->sig),DL(sig));
         sig->pos = nd_psh[index]->sig->pos;
         MKNM_ind_pair(pair,mul,index,sugar,sig);
         red = ndv_mul_nm_symbolic(mul,ps[index]);
         add_pbucket_symbolic(bucket,nd_remove_head(red));
         NEXTNODE(rp0,rp); BDY(rp) = (pointer)pair;
       }
       col++;
     }
     if ( rp0 ) NEXT(rp) = 0;
     NEXT(s) = 0;
     s0v = (UINT *)MALLOC_ATOMIC(col*nd_wpd*sizeof(UINT));
     for ( i = 0, p = s0v, s = s0; i < col;
       i++, p += nd_wpd, s = NEXT(s) ) ndl_copy(DL(s),p);
     *s0vect = s0v;
     *r = rp0;
   
     return col;
   }
   
   NODE nd_sba_f4(int m,int **indp)
   {
     int i,nh,stat,index,f4red,f4step;
     int col,rank,len,k,j,a,sugar,nbase,psugar,ms;
     NODE r,g,rp0,nflist;
     ND_pairs d,l,t,l1;
     ND h,nf;
     NDV nfv;
     union oNDC hc;
     UINT *s0vect;
     UINT c;
     PGeoBucket bucket;
     NODE *syzlist;
     SIG sig;
     struct oEGT eg0,eg1,eg_f4;
     struct oEGT eg2,eg_update,eg_remove,eg_large,eg_nf,eg_nfzero;
   
     Nf4_red=0;
     d = 0;
     syzlist = (NODE *)MALLOC(nd_psn*sizeof(NODE));
     for ( i = 0; i < nd_psn; i++ ) {
       d = update_pairs_s(d,i,syzlist);
     }
     nd_nbase = nd_psn;
     f4red = 1;
     psugar = 0;
     f4step = 0;
     while ( d ) {
       for ( t = d, ms = SG(d); t; t = NEXT(t) )
         if ( SG(t) < ms ) ms = SG(t);
       if ( ms == psugar && f4step >= nd_sba_f4step ) {
   again:
         l = d; d = d->next;
   #if 0
         if ( small_lcm(l) ) {
           if ( DP_Print ) fprintf(asir_out,"M");
           continue;
         }
         sig = l->sig;
         stat = nd_sp(m,0,l,&h);
   #else
         l1 = find_smallest_lcm(l);
         if ( l1 == 0 ) {
           if ( DP_Print ) fprintf(asir_out,"M");
           continue;
         }
         sig = l1->sig;
         stat = nd_sp(m,0,l1,&h);
   #endif
         if ( !stat ) {
           NEXT(l) = d; d = l;
           d = nd_reconstruct(0,d);
           goto again;
         }
     get_eg(&eg1);
     #if USE_GEOBUCKET
         stat = m?nd_nf_pbucket_s(m,h,nd_ps,!nd_top&&!Top,&nf):nd_nf_s(m,0,h,nd_ps,!nd_top&&!Top,&nf);
     #else
         stat = nd_nf_s(m,0,h,nd_ps,!nd_top&&!Top,&nf);
     #endif
     get_eg(&eg2);
         if ( !stat ) {
           NEXT(l) = d; d = l;
           d = nd_reconstruct(0,d);
           goto again;
         } else if ( stat == -1 ) {
           if ( DP_Print ) { printf("S"); fflush(stdout); }
           FREENDP(l);
         } else if ( nf ) {
           if ( DP_Print ) { printf("+"); fflush(stdout); }
           add_eg(&eg_nf,&eg1,&eg2);
           hc = HCU(nf);
           nd_removecont(m,nf);
           nfv = ndtondv(m,nf); nd_free(nf);
           nh = ndv_newps(m,nfv,0);
   
           d = update_pairs_s(d,nh,syzlist);
           nd_sba_pos[sig->pos] = append_one(nd_sba_pos[sig->pos],nh);
           FREENDP(l);
         } else {
           add_eg(&eg_nfzero,&eg1,&eg2);
          // syzygy
     get_eg(&eg1);
           d = remove_spair_s(d,sig);
     get_eg(&eg2); add_eg(&eg_remove,&eg1,&eg2);
           syzlist[sig->pos] = insert_sig(syzlist[sig->pos],sig);
           if ( DP_Print ) { printf("."); fflush(stdout); }
           FREENDP(l);
         }
       } else {
         if ( ms != psugar ) f4step = 1;
         else f4step++;
   again2:
         psugar = ms;
         l = nd_minsugarp_s(d,&d);
         sugar = nd_sugarweight?d->sugar2:SG(d);
         bucket = create_pbucket();
         stat = nd_sp_f4(m,0,l,bucket);
         if ( !stat ) {
           for ( t = l; NEXT(t); t = NEXT(t) );
           NEXT(t) = d; d = l;
           d = nd_reconstruct(0,d);
           goto again2;
         }
         if ( bucket->m < 0 ) continue;
         col = nd_symbolic_preproc_s(bucket,0,&s0vect,&rp0);
         if ( !col ) {
           for ( t = l; NEXT(t); t = NEXT(t) )
             ;
           NEXT(t) = d; d = l;
           d = nd_reconstruct(0,d);
           goto again2;
         }
         if ( DP_Print ) fprintf(asir_out,"\nsugar=%d,",psugar);
         nflist = nd_f4_red_s(m,l,0,s0vect,col,rp0,syzlist);
         /* adding new bases */
         for ( r = nflist; r; r = NEXT(r) ) {
           nfv = (NDV)BDY(r);
           if ( nd_f4_td ) SG(nfv) = nd_tdeg(nfv);
           ndv_removecont(m,nfv);
           nh = ndv_newps(m,nfv,0);
           d = update_pairs_s(d,nh,syzlist);
           nd_sba_pos[nfv->sig->pos] = append_one(nd_sba_pos[nfv->sig->pos],nh);
         }
         for ( i = 0; i < nd_nbase; i++ )
           for ( r = syzlist[i]; r; r = NEXT(r) )
               d = remove_spair_s(d,(SIG)BDY(r));
         d = remove_large_lcm(d);
         if ( DP_Print ) {
           fprintf(asir_out,"f4red=%d,gblen=%d",f4red,nd_psn); fflush(asir_out);
         }
         f4red++;
       }
     }
     if ( DP_Print ) {
       fprintf(asir_out,"\nnumber of red=%d,",Nf4_red);
     }
     g = conv_ilist_s(nd_demand,0,indp);
     return g;
   }
Legend:
Removed from v.1.10  
changed lines
  Added in v.1.46
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>