[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.52 and 1.53

version 1.52, 2004/05/14 06:02:54 version 1.53, 2004/05/14 09:20:56
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.51 2004/04/30 08:25:38 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/builtin/dp.c,v 1.52 2004/05/14 06:02:54 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "base.h"  #include "base.h"
Line 195  struct ftab dp_supp_tab[] = {
Line 195  struct ftab dp_supp_tab[] = {
         {"dp_gr_print",Pdp_gr_print,-1},          {"dp_gr_print",Pdp_gr_print,-1},
   
         /* converters */          /* converters */
         {"dp_ptod",Pdp_ptod,2},          {"dp_ptod",Pdp_ptod,-2},
         {"dp_dtop",Pdp_dtop,2},          {"dp_dtop",Pdp_dtop,2},
         {"dp_homo",Pdp_homo,1},          {"dp_homo",Pdp_homo,1},
         {"dp_dehomo",Pdp_dehomo,1},          {"dp_dehomo",Pdp_dehomo,1},
Line 205  struct ftab dp_supp_tab[] = {
Line 205  struct ftab dp_supp_tab[] = {
         {"dp_mdtod",Pdp_mdtod,1},          {"dp_mdtod",Pdp_mdtod,1},
         {"dp_mod",Pdp_mod,3},          {"dp_mod",Pdp_mod,3},
         {"dp_rat",Pdp_rat,1},          {"dp_rat",Pdp_rat,1},
         {"dp_ltod",Pdp_ltod,2},          {"dp_ltod",Pdp_ltod,-2},
   
         /* criteria */          /* criteria */
         {"dp_cri1",Pdp_cri1,2},          {"dp_cri1",Pdp_cri1,2},
Line 442  Obj *rp;
Line 442  Obj *rp;
         if ( !arg )          if ( !arg )
                 *rp = dp_current_spec->obj;                  *rp = dp_current_spec->obj;
         else {          else {
                 if ( ARG0(arg) && OID(ARG0(arg)) == O_OPTLIST )                  if ( current_option )
                         parse_gr_option(&f,BDY((OPTLIST)ARG0(arg)),&v,&homo,&modular,&spec);                          parse_gr_option(&f,current_option,&v,&homo,&modular,&spec);
                 else if ( !create_order_spec(0,(Obj)ARG0(arg),&spec) )                  else if ( !create_order_spec(0,(Obj)ARG0(arg),&spec) )
                         error("dp_ord : invalid order specification");                          error("dp_ord : invalid order specification");
                 initd(spec); *rp = spec->obj;                  initd(spec); *rp = spec->obj;
Line 454  void Pdp_ptod(arg,rp)
Line 454  void Pdp_ptod(arg,rp)
 NODE arg;  NODE arg;
 DP *rp;  DP *rp;
 {  {
           P p;
         NODE n;          NODE n;
         VL vl,tvl;          VL vl,tvl;
           struct oLIST f;
           int ac;
           LIST v;
           Num homo;
           int modular;
           struct order_spec *ord;
   
         asir_assert(ARG0(arg),O_P,"dp_ptod");          asir_assert(ARG0(arg),O_P,"dp_ptod");
         asir_assert(ARG1(arg),O_LIST,"dp_ptod");          p = (P)ARG0(arg);
         for ( vl = 0, n = BDY((LIST)ARG1(arg)); n; n = NEXT(n) ) {          ac = argc(arg);
           if ( ac == 1 ) {
                   if ( current_option ) {
                           f.id = O_LIST; f.body = mknode(1,p);
                           parse_gr_option(&f,current_option,&v,&homo,&modular,&ord);
                           dp_current_spec = ord;
                   } else
                           error("dp_ptod : invalid argument");
           } else {
                   asir_assert(ARG1(arg),O_LIST,"dp_ptod");
                   v = (LIST)ARG1(arg);
           }
           for ( vl = 0, n = BDY(v); n; n = NEXT(n) ) {
                 if ( !vl ) {                  if ( !vl ) {
                         NEWVL(vl); tvl = vl;                          NEWVL(vl); tvl = vl;
                 } else {                  } else {
Line 469  DP *rp;
Line 488  DP *rp;
         }          }
         if ( vl )          if ( vl )
                 NEXT(tvl) = 0;                  NEXT(tvl) = 0;
         ptod(CO,vl,(P)ARG0(arg),rp);          ptod(CO,vl,p,rp);
 }  }
   
 void Pdp_ltod(arg,rp)  void Pdp_ltod(arg,rp)
Line 478  DPV *rp;
Line 497  DPV *rp;
 {  {
         NODE n;          NODE n;
         VL vl,tvl;          VL vl,tvl;
         int sugar,i,len;          LIST f,v;
           int sugar,i,len,ac,modular;
           Num homo;
           struct order_spec *ord;
         DP *e;          DP *e;
         NODE nd,t;          NODE nd,t;
   
           ac = argc(arg);
         asir_assert(ARG0(arg),O_LIST,"dp_ptod");          asir_assert(ARG0(arg),O_LIST,"dp_ptod");
         nd = BDY((LIST)ARG0(arg));          f = (LIST)ARG0(arg);
         asir_assert(ARG1(arg),O_LIST,"dp_ptod");          if ( ac == 1 ) {
         for ( vl = 0, n = BDY((LIST)ARG1(arg)); n; n = NEXT(n) ) {                  if ( current_option ) {
                           parse_gr_option(f,current_option,&v,&homo,&modular,&ord);
                           dp_current_spec = ord;
                   } else
                           error("dp_ltod : invalid argument");
           } else {
                   asir_assert(ARG1(arg),O_LIST,"dp_ptod");
                   v = (LIST)ARG1(arg);
           }
           for ( vl = 0, n = BDY(v); n; n = NEXT(n) ) {
                 if ( !vl ) {                  if ( !vl ) {
                         NEWVL(vl); tvl = vl;                          NEWVL(vl); tvl = vl;
                 } else {                  } else {
Line 495  DPV *rp;
Line 527  DPV *rp;
         }          }
         if ( vl )          if ( vl )
                 NEXT(tvl) = 0;                  NEXT(tvl) = 0;
   
           nd = BDY(f);
         len = length(nd);          len = length(nd);
         e = (DP *)MALLOC(len*sizeof(DP));          e = (DP *)MALLOC(len*sizeof(DP));
         sugar = 0;          sugar = 0;
Line 1142  Obj *rp;
Line 1176  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 ( argc(arg) == 2 && OID(ARG1(arg)) == O_OPTLIST )          if ( current_option )
                 parse_gr_option(f,BDY((OPTLIST)ARG1(arg)),&v,&homo,&modular,&ord);                  parse_gr_option(f,current_option,&v,&homo,&modular,&ord);
         else          else
                 ord = dp_current_spec;                  ord = dp_current_spec;
         initiallist = dp_initial_term(f,ord);          initiallist = dp_initial_term(f,ord);
Line 1170  Obj *rp;
Line 1204  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 ( argc(arg) == 2 && OID(ARG1(arg)) == O_OPTLIST )          if ( current_option )
                 parse_gr_option(f,BDY((OPTLIST)ARG1(arg)),&v,&homo,&modular,&ord);                  parse_gr_option(f,current_option,&v,&homo,&modular,&ord);
         else          else
                 ord = dp_current_spec;                  ord = dp_current_spec;
         ordlist = dp_order(f,ord);          ordlist = dp_order(f,ord);
Line 1562  LIST *rp;
Line 1596  LIST *rp;
         if ( !BDY(f) ) {          if ( !BDY(f) ) {
                 *rp = f; return;                  *rp = f; return;
         }          }
         if ( argc(arg) == 5 ) {          if ( (ac = argc(arg)) == 5 ) {
                 asir_assert(ARG1(arg),O_LIST,"dp_gr_main");                  asir_assert(ARG1(arg),O_LIST,"dp_gr_main");
                 asir_assert(ARG2(arg),O_N,"dp_gr_main");                  asir_assert(ARG2(arg),O_N,"dp_gr_main");
                 asir_assert(ARG3(arg),O_N,"dp_gr_main");                  asir_assert(ARG3(arg),O_N,"dp_gr_main");
Line 1576  LIST *rp;
Line 1610  LIST *rp;
                 else                  else
                         modular = QTOS(m);                          modular = QTOS(m);
                 create_order_spec(0,ARG4(arg),&ord);                  create_order_spec(0,ARG4(arg),&ord);
         } else if ( (ac=argc(arg)) == 2 && OID(ARG1(arg)) == O_OPTLIST )          } else if ( current_option )
                 parse_gr_option(f,BDY((OPTLIST)ARG1(arg)),&v,&homo,&modular,&ord);                  parse_gr_option(f,current_option,&v,&homo,&modular,&ord);
         else if ( ac == 1 )          else if ( ac == 1 )
                 parse_gr_option(f,0,&v,&homo,&modular,&ord);                  parse_gr_option(f,0,&v,&homo,&modular,&ord);
         else          else
Line 1874  LIST *rp;
Line 1908  LIST *rp;
         if ( !BDY(f) ) {          if ( !BDY(f) ) {
                 *rp = f; return;                  *rp = f; return;
         }          }
         if ( argc(arg) == 5 ) {          if ( (ac = argc(arg)) == 5 ) {
                 asir_assert(ARG1(arg),O_LIST,"dp_weyl_gr_main");                  asir_assert(ARG1(arg),O_LIST,"dp_weyl_gr_main");
                 asir_assert(ARG2(arg),O_N,"dp_weyl_gr_main");                  asir_assert(ARG2(arg),O_N,"dp_weyl_gr_main");
                 asir_assert(ARG3(arg),O_N,"dp_weyl_gr_main");                  asir_assert(ARG3(arg),O_N,"dp_weyl_gr_main");
Line 1888  LIST *rp;
Line 1922  LIST *rp;
                 else                  else
                         modular = QTOS(m);                          modular = QTOS(m);
                 create_order_spec(0,ARG4(arg),&ord);                  create_order_spec(0,ARG4(arg),&ord);
         } else if (  (ac=argc(arg)) == 2 && OID(ARG1(arg)) == O_OPTLIST )          } else if ( current_option )
                 parse_gr_option(f,BDY((OPTLIST)ARG1(arg)),&v,&homo,&modular,&ord);                  parse_gr_option(f,current_option,&v,&homo,&modular,&ord);
         else if ( ac == 1 )          else if ( ac == 1 )
                 parse_gr_option(f,0,&v,&homo,&modular,&ord);                  parse_gr_option(f,0,&v,&homo,&modular,&ord);
         else          else
Legend:
Removed from v.1.52  
changed lines
  Added in v.1.53
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>