=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/dp.c,v retrieving revision 1.88 retrieving revision 1.93 diff -u -p -r1.88 -r1.93 --- OpenXM_contrib2/asir2000/builtin/dp.c 2013/06/14 04:47:17 1.88 +++ OpenXM_contrib2/asir2000/builtin/dp.c 2014/10/10 09:02:24 1.93 @@ -44,7 +44,7 @@ * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. * - * $OpenXM: OpenXM_contrib2/asir2000/builtin/dp.c,v 1.87 2012/08/27 05:38:00 noro Exp $ + * $OpenXM: OpenXM_contrib2/asir2000/builtin/dp.c,v 1.92 2014/08/19 06:35:01 noro Exp $ */ #include "ca.h" #include "base.h" @@ -96,7 +96,7 @@ void Pdp_nf_f(),Pdp_weyl_nf_f(); void Pdp_lnf_f(); void Pnd_gr(),Pnd_gr_trace(),Pnd_f4(),Pnd_f4_trace(); void Pnd_gr_postproc(), Pnd_weyl_gr_postproc(); -void Pnd_gr_recompute_trace(); +void Pnd_gr_recompute_trace(), Pnd_btog(); void Pnd_weyl_gr(),Pnd_weyl_gr_trace(); void Pnd_nf(),Pnd_weyl_nf(); void Pdp_initial_term(); @@ -166,6 +166,7 @@ struct ftab dp_tab[] = { {"nd_f4_trace",Pnd_f4_trace,5}, {"nd_gr_postproc",Pnd_gr_postproc,5}, {"nd_gr_recompute_trace",Pnd_gr_recompute_trace,5}, + {"nd_btog",Pnd_btog,-6}, {"nd_weyl_gr_postproc",Pnd_weyl_gr_postproc,5}, {"nd_weyl_gr",Pnd_weyl_gr,4}, {"nd_weyl_gr_trace",Pnd_weyl_gr_trace,5}, @@ -2227,6 +2228,35 @@ LIST *rp; nd_gr_recompute_trace(f,v,m,ord,tlist,rp); } +Obj nd_btog_one(LIST f,LIST v,int m,struct order_spec *ord,LIST tlist,int pos); +Obj nd_btog(LIST f,LIST v,int m,struct order_spec *ord,LIST tlist); + +void Pnd_btog(arg,rp) +NODE arg; +Obj *rp; +{ + LIST f,v,tlist; + int m,ac,pos; + struct order_spec *ord; + + do_weyl = 0; + asir_assert(ARG0(arg),O_LIST,"nd_btog"); + asir_assert(ARG1(arg),O_LIST,"nd_btog"); + asir_assert(ARG2(arg),O_N,"nd_btog"); + f = (LIST)ARG0(arg); v = (LIST)ARG1(arg); + m = QTOS((Q)ARG2(arg)); + create_order_spec(0,ARG3(arg),&ord); + tlist = (LIST)ARG4(arg); + if ( (ac = argc(arg)) == 6 ) { + asir_assert(ARG5(arg),O_N,"nd_btog"); + pos = QTOS((Q)ARG5(arg)); + *rp = nd_btog_one(f,v,m,ord,tlist,pos); + } else if ( ac == 5 ) + *rp = nd_btog(f,v,m,ord,tlist); + else + error("nd_btog : argument mismatch"); +} + void Pnd_weyl_gr_postproc(arg,rp) NODE arg; LIST *rp; @@ -2606,44 +2636,51 @@ VECT *rp; } } -VECT current_top_weight_vector_obj; -N *current_top_weight_vector; +extern Obj current_top_weight; +extern Obj nd_top_weight; -void Pdp_set_top_weight(arg,rp) -NODE arg; -VECT *rp; +void Pdp_set_top_weight(NODE arg,Obj *rp) { VECT v; - int i,n; + MAT m; + Obj obj; + int i,j,n,id,row,col; + Q *mi; NODE node; if ( !arg ) - *rp = current_top_weight_vector_obj; + *rp = current_top_weight; else if ( !ARG0(arg) ) { - current_top_weight_vector = 0; - current_top_weight_vector_obj = 0; + reset_top_weight(); *rp = 0; } else { - if ( OID(ARG0(arg)) != O_VECT && OID(ARG0(arg)) != O_LIST ) + id = OID(ARG0(arg)); + if ( id != O_VECT && id != O_MAT && id != O_LIST ) error("dp_set_top_weight : invalid argument"); - if ( OID(ARG0(arg)) == O_VECT ) - v = (VECT)ARG0(arg); - else { + if ( id == O_LIST ) { node = (NODE)BDY((LIST)ARG0(arg)); n = length(node); MKVECT(v,n); for ( i = 0; i < n; i++, node = NEXT(node) ) BDY(v)[i] = BDY(node); + obj = v; + } else + obj = ARG0(arg); + if ( OID(obj) == O_VECT ) { + v = (VECT)obj; + for ( i = 0; i < v->len; i++ ) + if ( !INT(BDY(v)[i]) || (BDY(v)[i] && SGN((Q)BDY(v)[i]) < 0) ) + error("dp_set_top_weight : each element must be a non-negative integer"); + } else { + m = (MAT)obj; row = m->row; col = m->col; + for ( i = 0; i < row; i++ ) + for ( j = 0, mi = (Q *)BDY(m)[i]; j < col; j++ ) + if ( !INT(mi[j]) || (mi[j] && SGN((Q)mi[j]) < 0) ) + error("dp_set_top_weight : each element must be a non-negative integer"); } - for ( i = 0; i < v->len; i++ ) - if ( !INT(BDY(v)[i]) || (BDY(v)[i] && SGN((Q)BDY(v)[i]) < 0) ) - error("dp_set_top_weight : each element must be a non-negative integer"); - current_top_weight_vector_obj = v; - current_top_weight_vector = (N *)MALLOC(v->len*sizeof(N)); - for ( i = 0; i < v->len; i++ ) { - current_top_weight_vector[i] = !BDY(v)[i]?0:NM((Q)BDY(v)[i]); - } - *rp = current_top_weight_vector_obj; + current_top_weight = obj; + nd_top_weight = obj; + *rp = current_top_weight; } } @@ -2938,4 +2975,3 @@ int get_opt(char *key0,Obj *r) { } return 0; } -