[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.44 and 1.46

version 1.44, 2020/12/15 07:40:09 version 1.46, 2021/01/25 00:39:52
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.43 2020/12/05 03:27:20 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"
   
   void print_siglist(NODE l);
   
 int Nnd_add,Nf4_red,NcriB,NcriMF,Ncri2,Npairs;  int Nnd_add,Nf4_red,NcriB,NcriMF,Ncri2,Npairs;
 struct oEGT eg_search,f4_symb,f4_conv,f4_elim1,f4_elim2;  struct oEGT eg_search,f4_symb,f4_conv,f4_elim1,f4_elim2;
   
Line 67  static NODE nd_tracelist;
Line 69  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,nd_norb;  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_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;  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;
Line 76  static int nd_f4red,nd_rank0,nd_last_nonzero;
Line 78  static int nd_f4red,nd_rank0,nd_last_nonzero;
 static DL *nd_sba_hm;  static DL *nd_sba_hm;
 static NODE *nd_sba_pos;  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 93  P ndc_div(int mod,union oNDC a,union oNDC b);
Line 109  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);
Line 1245  void print_sig(SIG s)
Line 1261  void print_sig(SIG s)
   fprintf(asir_out,">>*e%d",s->pos);    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  // assuming increasing order wrt signature
   
 INLINE int ndl_find_reducer_s(UINT *dg,SIG sig)  INLINE int ndl_find_reducer_s(UINT *dg,SIG sig)
Line 2596  NODE insert_sig(NODE l,SIG s)
Line 2619  NODE insert_sig(NODE l,SIG s)
       else if ( _dl_redble(sig,DL(t),nd_nvar) )        else if ( _dl_redble(sig,DL(t),nd_nvar) )
         // remove p          // remove p
         prev->next = p->next;          prev->next = p->next;
         else
           prev = p;
     } else      } else
       prev = p;        prev = p;
   }    }
Line 2756  NODE conv_ilist_s(int demand,int trace,int **indp);
Line 2781  NODE conv_ilist_s(int demand,int trace,int **indp);
   
 // S(fj*ei-fi*ej)  // S(fj*ei-fi*ej)
   
   void _subdl(int,DL,DL,DL);
   
 SIG trivial_sig(int i,int j)  SIG trivial_sig(int i,int j)
 {  {
     static DL lcm;
   static struct oSIG sigi,sigj;    static struct oSIG sigi,sigj;
   static int nvar = 0;    static int nvar = 0;
   SIG sig;    SIG sig;
   
   if ( nvar != nd_nvar ) {    if ( nvar != nd_nvar ) {
     nvar = nd_nvar; NEWDL(sigi.dl,nvar); NEWDL(sigj.dl,nvar);      nvar = nd_nvar; NEWDL(lcm,nvar); NEWDL(sigi.dl,nvar); NEWDL(sigj.dl,nvar);
   }    }
   sigi.pos = i; _copydl(nd_nvar,nd_sba_hm[j],sigi.dl);    if ( nd_sba_inputisgb != 0 ) {
   sigj.pos = j; _copydl(nd_nvar,nd_sba_hm[i],sigj.dl);      lcm_of_DL(nd_nvar,nd_sba_hm[i],nd_sba_hm[j],lcm);
   if ( comp_sig(&sigi,&sigj) > 0 ) sig = dup_sig(&sigi);      sigi.pos = i; _subdl(nd_nvar,lcm,nd_sba_hm[i],sigi.dl);
   else sig = dup_sig(&sigj);      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;    return sig;
 }  }
   
Line 2845  again:
Line 2881  again:
     }      }
     stat = nd_sp(m,0,l,&h);      stat = nd_sp(m,0,l,&h);
 #else  #else
   //    if ( l->sig->dl->td == 0 )
   //      if ( DP_Print ) print_sig(l->sig);
     l1 = find_smallest_lcm(l);      l1 = find_smallest_lcm(l);
     if ( l1 == 0 ) {      if ( l1 == 0 ) {
       if ( DP_Print ) fprintf(asir_out,"M");        if ( DP_Print ) fprintf(asir_out,"M");
Line 3430  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)  int comp_sig(SIG s1,SIG s2)
 {  {
   if ( nd_sba_pot ) {    if ( nd_sba_pot ) {
     if ( s1->pos > s2->pos ) return 1;      if ( s1->pos > s2->pos ) return 1;
     else if ( s1->pos < s2->pos ) return -1;      else if ( s1->pos < s2->pos ) return -1;
     else return (*cmpdl)(nd_nvar,s1->dl,s2->dl);      else return comp_sig_monomial(nd_nvar,s1->dl,s2->dl);
   } else {    } else {
     static DL m1,m2;      static DL m1,m2;
     static int nvar = 0;      static int nvar = 0;
Line 3446  int comp_sig(SIG s1,SIG s2)
Line 3677  int comp_sig(SIG s1,SIG s2)
     }      }
     _adddl(nd_nvar,s1->dl,nd_sba_hm[s1->pos],m1);      _adddl(nd_nvar,s1->dl,nd_sba_hm[s1->pos],m1);
     _adddl(nd_nvar,s2->dl,nd_sba_hm[s2->pos],m2);      _adddl(nd_nvar,s2->dl,nd_sba_hm[s2->pos],m2);
     ret = (*cmpdl)(nd_nvar,m1,m2);      ret = comp_sig_monomial(nd_nvar,m1,m2);
     if ( ret != 0 ) return ret;      if ( ret != 0 ) return ret;
     else if ( s1->pos > s2->pos ) return 1;      else if ( s1->pos > s2->pos ) return 1;
     else if ( s1->pos < s2->pos ) return -1;      else if ( s1->pos < s2->pos ) return -1;
Line 4008  int ndv_newps(int m,NDV a,NDV aq)
Line 4239  int ndv_newps(int m,NDV a,NDV aq)
     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)) */
   
Line 4126  int ndv_setup(int mod,int trace,NODE f,int dont_sort,i
Line 4375  int ndv_setup(int mod,int trace,NODE f,int dont_sort,i
         if ( nd_demand ) nd_ps_trace_sym[i]->sig = sig;          if ( nd_demand ) nd_ps_trace_sym[i]->sig = sig;
       }        }
       NEWDL(nd_sba_hm[i],nd_nvar);        NEWDL(nd_sba_hm[i],nd_nvar);
       _ndltodl(DL(nd_psh[i]),nd_sba_hm[i]);        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));      nd_sba_pos = (NODE *)MALLOC(nd_psn*sizeof(NODE));
     for ( i = 0; i < nd_psn; i++ ) {      for ( i = 0; i < nd_psn; i++ ) {
Line 4272  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
Line 4524  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
     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 4280  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 4508  void nd_sba(LIST f,LIST v,int m,int homo,int retdp,int
Line 4760  void nd_sba(LIST f,LIST v,int m,int homo,int retdp,int
   
   nd_module = 0;    nd_module = 0;
   nd_demand = 0;    nd_demand = 0;
   parse_nd_option(current_option);  
   Nsamesig = 0;    Nsamesig = 0;
   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);    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_sba : computation over Fp(X) is unsupported. Use dp_gr_mod_main().");      error("nd_sba : 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 4630  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 4778  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 4878  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
Line 5130  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
     NcriB = NcriMF = Ncri2 = 0;      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 4889  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 5716  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 10036  NODE conv_ilist_s(int demand,int trace,int **indp)
Line 10290  NODE conv_ilist_s(int demand,int trace,int **indp)
   return g0;    return g0;
 }  }
   
 void parse_nd_option(NODE opt)  void parse_nd_option(VL vl,NODE opt)
 {  {
   NODE t,p,u;    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_norb = 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;
Line 10049  void parse_nd_option(NODE opt)
Line 10304  void parse_nd_option(NODE opt)
   nd_sugarweight = 0; nd_f4red =0; nd_rank0 = 0;    nd_sugarweight = 0; nd_f4red =0; nd_rank0 = 0;
   nd_f4_td = 0; nd_sba_f4step = 2; nd_sba_pot = 0; nd_sba_largelcm = 0;    nd_f4_td = 0; nd_sba_f4step = 2; nd_sba_pot = 0; nd_sba_largelcm = 0;
   nd_sba_dontsort = 0; nd_top = 0; nd_sba_redundant_check = 0;    nd_sba_dontsort = 0; nd_top = 0; nd_sba_redundant_check = 0;
   nd_sba_syz = 0;    nd_sba_syz = 0; nd_sba_modord = 0; nd_sba_inputisgb = 0;
   
   for ( t = opt; t; t = NEXT(t) ) {    for ( t = opt; t; t = NEXT(t) ) {
     p = BDY((LIST)BDY(t));      p = BDY((LIST)BDY(t));
Line 10115  void parse_nd_option(NODE opt)
Line 10370  void parse_nd_option(NODE opt)
       nd_sba_dontsort = value?1:0;        nd_sba_dontsort = value?1:0;
     } else if ( !strcmp(key,"sba_syz") ) {      } else if ( !strcmp(key,"sba_syz") ) {
       nd_sba_syz = value?1:0;        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") ) {      } else if ( !strcmp(key,"sba_redundant_check") ) {
       nd_sba_redundant_check = value?1:0;        nd_sba_redundant_check = value?1:0;
     } else if ( !strcmp(key,"top") ) {      } else if ( !strcmp(key,"top") ) {
Line 10326  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 10395  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 10466  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 10580  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++ );
Legend:
Removed from v.1.44  
changed lines
  Added in v.1.46
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>