=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/dp.c,v retrieving revision 1.85 retrieving revision 1.87 diff -u -p -r1.85 -r1.87 --- OpenXM_contrib2/asir2000/builtin/dp.c 2011/03/30 02:43:18 1.85 +++ OpenXM_contrib2/asir2000/builtin/dp.c 2012/08/27 05:38:00 1.87 @@ -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.84 2011/02/18 02:54:48 noro Exp $ + * $OpenXM: OpenXM_contrib2/asir2000/builtin/dp.c,v 1.86 2012/04/10 07:15:07 noro Exp $ */ #include "ca.h" #include "base.h" @@ -96,6 +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_weyl_gr(),Pnd_weyl_gr_trace(); void Pnd_nf(),Pnd_weyl_nf(); void Pdp_initial_term(); @@ -163,6 +164,7 @@ struct ftab dp_tab[] = { {"nd_gr_trace",Pnd_gr_trace,5}, {"nd_f4_trace",Pnd_f4_trace,5}, {"nd_gr_postproc",Pnd_gr_postproc,5}, + {"nd_gr_recompute_trace",Pnd_gr_recompute_trace,5}, {"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}, @@ -2135,8 +2137,8 @@ NODE arg; LIST *rp; { LIST f,v; - int m,find; - Obj homo; + int m,homo,retdp; + Obj val; struct order_spec *ord; do_weyl = 0; @@ -2150,8 +2152,10 @@ LIST *rp; } m = QTOS((Q)ARG2(arg)); create_order_spec(0,ARG3(arg),&ord); - find = get_opt("homo",&homo); - nd_gr(f,v,m,find&&homo,1,ord,rp); + homo = retdp = 0; + if ( get_opt("homo",&val) && val ) homo = 1; + if ( get_opt("dp",&val) && val ) retdp = 1; + nd_gr(f,v,m,homo,retdp,1,ord,rp); } void Pnd_gr(arg,rp) @@ -2159,8 +2163,8 @@ NODE arg; LIST *rp; { LIST f,v; - int m,find; - Obj homo; + int m,homo,retdp; + Obj val; struct order_spec *ord; do_weyl = 0; @@ -2174,8 +2178,10 @@ LIST *rp; } m = QTOS((Q)ARG2(arg)); create_order_spec(0,ARG3(arg),&ord); - find = get_opt("homo",&homo); - nd_gr(f,v,m,find&&homo,0,ord,rp); + homo = retdp = 0; + if ( get_opt("homo",&val) && val ) homo = 1; + if ( get_opt("dp",&val) && val ) retdp = 1; + nd_gr(f,v,m,homo,retdp,0,ord,rp); } void Pnd_gr_postproc(arg,rp) @@ -2201,6 +2207,25 @@ LIST *rp; nd_gr_postproc(f,v,m,ord,do_check,rp); } +void Pnd_gr_recompute_trace(arg,rp) +NODE arg; +LIST *rp; +{ + LIST f,v,tlist; + int m; + struct order_spec *ord; + + do_weyl = 0; + asir_assert(ARG0(arg),O_LIST,"nd_gr_recompute_trace"); + asir_assert(ARG1(arg),O_LIST,"nd_gr_recompute_trace"); + asir_assert(ARG2(arg),O_N,"nd_gr_recompute_trace"); + f = (LIST)ARG0(arg); v = (LIST)ARG1(arg); + m = QTOS((Q)ARG2(arg)); + create_order_spec(0,ARG3(arg),&ord); + tlist = (LIST)ARG4(arg); + nd_gr_recompute_trace(f,v,m,ord,tlist,rp); +} + void Pnd_weyl_gr_postproc(arg,rp) NODE arg; LIST *rp; @@ -2278,8 +2303,8 @@ NODE arg; LIST *rp; { LIST f,v; - int m,find; - Obj homo; + int m,homo,retdp; + Obj val; struct order_spec *ord; do_weyl = 1; @@ -2293,8 +2318,10 @@ LIST *rp; } m = QTOS((Q)ARG2(arg)); create_order_spec(0,ARG3(arg),&ord); - find = get_opt("homo",&homo); - nd_gr(f,v,m,find&&homo,0,ord,rp); + homo = retdp = 0; + if ( get_opt("homo",&val) && val ) homo = 1; + if ( get_opt("dp",&val) && val ) retdp = 1; + nd_gr(f,v,m,homo,retdp,0,ord,rp); do_weyl = 0; }