[BACK]Return to dp.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / builtin

Diff for /OpenXM_contrib2/asir2000/builtin/dp.c between version 1.53 and 1.58

version 1.53, 2004/05/14 09:20:56 version 1.58, 2005/08/03 05:01:00
Line 45 
Line 45 
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,   * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.   * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *   *
  * $OpenXM: OpenXM_contrib2/asir2000/builtin/dp.c,v 1.52 2004/05/14 06:02:54 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/builtin/dp.c,v 1.57 2004/12/09 08:56:43 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "base.h"  #include "base.h"
Line 93  void Pdp_set_weight();
Line 93  void Pdp_set_weight();
 void Pdp_nf_f(),Pdp_weyl_nf_f();  void Pdp_nf_f(),Pdp_weyl_nf_f();
 void Pdp_lnf_f();  void Pdp_lnf_f();
 void Pnd_gr(),Pnd_gr_trace(),Pnd_f4();  void Pnd_gr(),Pnd_gr_trace(),Pnd_f4();
   void Pnd_gr_postproc();
 void Pnd_weyl_gr(),Pnd_weyl_gr_trace();  void Pnd_weyl_gr(),Pnd_weyl_gr_trace();
 void Pnd_nf();  void Pnd_nf();
 void Pdp_initial_term();  void Pdp_initial_term();
Line 145  struct ftab dp_tab[] = {
Line 146  struct ftab dp_tab[] = {
         {"nd_f4",Pnd_f4,4},          {"nd_f4",Pnd_f4,4},
         {"nd_gr",Pnd_gr,4},          {"nd_gr",Pnd_gr,4},
         {"nd_gr_trace",Pnd_gr_trace,5},          {"nd_gr_trace",Pnd_gr_trace,5},
           {"nd_gr_postproc",Pnd_gr_postproc,5},
         {"nd_weyl_gr",Pnd_weyl_gr,4},          {"nd_weyl_gr",Pnd_weyl_gr,4},
         {"nd_weyl_gr_trace",Pnd_weyl_gr_trace,5},          {"nd_weyl_gr_trace",Pnd_weyl_gr_trace,5},
         {"nd_nf",Pnd_nf,5},          {"nd_nf",Pnd_nf,5},
Line 471  DP *rp;
Line 473  DP *rp;
                 if ( current_option ) {                  if ( current_option ) {
                         f.id = O_LIST; f.body = mknode(1,p);                          f.id = O_LIST; f.body = mknode(1,p);
                         parse_gr_option(&f,current_option,&v,&homo,&modular,&ord);                          parse_gr_option(&f,current_option,&v,&homo,&modular,&ord);
                         dp_current_spec = ord;                          initd(ord);
                 } else                  } else
                         error("dp_ptod : invalid argument");                          error("dp_ptod : invalid argument");
         } else {          } else {
Line 510  DPV *rp;
Line 512  DPV *rp;
         if ( ac == 1 ) {          if ( ac == 1 ) {
                 if ( current_option ) {                  if ( current_option ) {
                         parse_gr_option(f,current_option,&v,&homo,&modular,&ord);                          parse_gr_option(f,current_option,&v,&homo,&modular,&ord);
                         dp_current_spec = ord;                          initd(ord);
                 } else                  } else
                         error("dp_ltod : invalid argument");                          error("dp_ltod : invalid argument");
         } else {          } else {
Line 1176  Obj *rp;
Line 1178  Obj *rp;
                 n = mknode(1,f); MKLIST(l,n); f = l;                  n = mknode(1,f); MKLIST(l,n); f = l;
                 is_list = 0;                  is_list = 0;
         }          }
         if ( current_option )          if ( current_option ) {
                 parse_gr_option(f,current_option,&v,&homo,&modular,&ord);                  parse_gr_option(f,current_option,&v,&homo,&modular,&ord);
         else                  initd(ord);
           } else
                 ord = dp_current_spec;                  ord = dp_current_spec;
         initiallist = dp_initial_term(f,ord);          initiallist = dp_initial_term(f,ord);
         if ( !is_list )          if ( !is_list )
Line 1204  Obj *rp;
Line 1207  Obj *rp;
                 n = mknode(1,f); MKLIST(l,n); f = l;                  n = mknode(1,f); MKLIST(l,n); f = l;
                 is_list = 0;                  is_list = 0;
         }          }
         if ( current_option )          if ( current_option ) {
                 parse_gr_option(f,current_option,&v,&homo,&modular,&ord);                  parse_gr_option(f,current_option,&v,&homo,&modular,&ord);
         else                  initd(ord);
           } else
                 ord = dp_current_spec;                  ord = dp_current_spec;
         ordlist = dp_order(f,ord);          ordlist = dp_order(f,ord);
         if ( !is_list )          if ( !is_list )
Line 1796  LIST *rp;
Line 1800  LIST *rp;
         nd_gr(f,v,m,0,ord,rp);          nd_gr(f,v,m,0,ord,rp);
 }  }
   
   void Pnd_gr_postproc(arg,rp)
   NODE arg;
   LIST *rp;
   {
           LIST f,v;
           int m,do_check;
           struct order_spec *ord;
   
           do_weyl = 0;
           asir_assert(ARG0(arg),O_LIST,"nd_gr");
           asir_assert(ARG1(arg),O_LIST,"nd_gr");
           asir_assert(ARG2(arg),O_N,"nd_gr");
           f = (LIST)ARG0(arg); v = (LIST)ARG1(arg);
           f = remove_zero_from_list(f);
           if ( !BDY(f) ) {
                   *rp = f; return;
           }
           m = QTOS((Q)ARG2(arg));
           create_order_spec(0,ARG3(arg),&ord);
           do_check = ARG4(arg) ? 1 : 0;
           nd_gr_postproc(f,v,m,ord,do_check,rp);
   }
   
 void Pnd_gr_trace(arg,rp)  void Pnd_gr_trace(arg,rp)
 NODE arg;  NODE arg;
 LIST *rp;  LIST *rp;
Line 2028  LIST *rp;
Line 2055  LIST *rp;
         do_weyl = 0;          do_weyl = 0;
 }  }
   
 static VECT current_dl_weight_vector_obj;  VECT current_dl_weight_vector_obj;
 int *current_dl_weight_vector;  int *current_dl_weight_vector;
   
 void Pdp_set_weight(arg,rp)  void Pdp_set_weight(arg,rp)
Legend:
Removed from v.1.53  
changed lines
  Added in v.1.58
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>