[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.60

version 1.53, 2004/05/14 09:20:56 version 1.60, 2005/08/25 18:59:11
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.59 2005/08/24 06:28:39 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 439  Obj *rp;
Line 441  Obj *rp;
         int modular;          int modular;
   
         f.id = O_LIST; f.body = 0;          f.id = O_LIST; f.body = 0;
         if ( !arg )          if ( !arg && !current_option )
                 *rp = dp_current_spec->obj;                  *rp = dp_current_spec->obj;
         else {          else {
                 if ( current_option )                  if ( current_option )
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 566  extern LIST Dist;
Line 568  extern LIST Dist;
   
 void Pdp_ptozp(arg,rp)  void Pdp_ptozp(arg,rp)
 NODE arg;  NODE arg;
 DP *rp;  Obj *rp;
 {  {
           Q t;
       NODE tt,p;
       NODE n,n0;
       char *key;
           DP pp;
           LIST list;
       int get_factor=0;
   
         asir_assert(ARG0(arg),O_DP,"dp_ptozp");          asir_assert(ARG0(arg),O_DP,"dp_ptozp");
         dp_ptozp((DP)ARG0(arg),rp);  
       /* analyze the option */
       if ( current_option ) {
         for ( tt = current_option; tt; tt = NEXT(tt) ) {
           p = BDY((LIST)BDY(tt));
           key = BDY((STRING)BDY(p));
           /*  value = (Obj)BDY(NEXT(p)); */
           if ( !strcmp(key,"factor") )  get_factor=1;
           else {
             error("ptozp: unknown option.");
           }
         }
       }
   
           dp_ptozp3((DP)ARG0(arg),&t,&pp);
   
       /* printexpr(NULL,t); */
           /* if the option factor is given, then it returns the answer
          in the format [zpoly, num] where num*zpoly is equal to the argument.*/
       if (get_factor) {
             n0 = mknode(2,pp,t);
         MKLIST(list,n0);
             *rp = (Obj)list;
       } else
         *rp = (Obj)pp;
 }  }
   
 void Pdp_ptozp2(arg,rp)  void Pdp_ptozp2(arg,rp)
Line 1176  Obj *rp;
Line 1210  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 1239  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 1832  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 2087  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.60
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>