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

Diff for /OpenXM_contrib2/asir2000/builtin/strobj.c between version 1.96 and 1.98

version 1.96, 2005/11/04 07:03:38 version 1.98, 2005/11/16 23:42:53
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/strobj.c,v 1.95 2005/11/03 07:41:22 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/builtin/strobj.c,v 1.97 2005/11/06 01:27:28 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "parse.h"  #include "parse.h"
Line 98  void Pquote_normalize();
Line 98  void Pquote_normalize();
 void Pnquote_comp();  void Pnquote_comp();
 void Pnquote_match();  void Pnquote_match();
   
   void Pquote_to_nbp();
   void Pshuffle_mul_nbp();
   
 void Pquote_to_funargs(),Pfunargs_to_quote(),Pget_function_name();  void Pquote_to_funargs(),Pfunargs_to_quote(),Pget_function_name();
 void Pquote_match(),Pget_quote_id(),Pquote_match_rewrite();  void Pquote_match(),Pget_quote_id(),Pquote_match_rewrite();
 void Pquote_to_nary(),Pquote_to_bin();  void Pquote_to_nary(),Pquote_to_bin();
Line 139  struct ftab str_tab[] = {
Line 142  struct ftab str_tab[] = {
         {"quote_normalize",Pquote_normalize,-2},          {"quote_normalize",Pquote_normalize,-2},
         {"quote_match",Pquote_match,2},          {"quote_match",Pquote_match,2},
         {"quote_match_rewrite",Pquote_match_rewrite,-4},          {"quote_match_rewrite",Pquote_match_rewrite,-4},
   
         {"nquote_comp",Pnquote_comp,2},          {"nquote_comp",Pnquote_comp,2},
         {"nquote_match",Pnquote_match,2},          {"nquote_match",Pnquote_match,2},
           {"quote_to_nbp",Pquote_to_nbp,1},
           {"shuffle_mul_nbp",Pshuffle_mul_nbp,2},
   
         {"quote_to_nary",Pquote_to_nary,1},          {"quote_to_nary",Pquote_to_nary,1},
         {"quote_to_bin",Pquote_to_bin,2},          {"quote_to_bin",Pquote_to_bin,2},
Line 2035  void Pquote_normalize(NODE arg,QUOTE *rp)
Line 2041  void Pquote_normalize(NODE arg,QUOTE *rp)
         if ( !ac ) error("quote_normalize : invalid argument");          if ( !ac ) error("quote_normalize : invalid argument");
         q = (QUOTE)ARG0(arg);          q = (QUOTE)ARG0(arg);
         expand = ac==2 && ARG1(arg);          expand = ac==2 && ARG1(arg);
         if ( !q || OID(q) != O_QUOTE ) {          if ( !q || OID(q) != O_QUOTE )
                 *rp = q;                  *rp = q;
                 return;  
         } else if ( q->normalized && (q->expanded || !expand) )  
                 *rp = q;  
         else {          else {
                 f = fnode_normalize(BDY(q),expand);                  f = fnode_normalize(BDY(q),expand);
                 MKQUOTE(r,f);                  MKQUOTE(r,f);
                 r->normalized = 1;  
                 if ( expand ) r->expanded = 1;  
                 *rp = r;                  *rp = r;
         }          }
 }  }
   
   NBP fnode_to_nbp(FNODE f);
   
   void Pquote_to_nbp(NODE arg,NBP *rp)
   {
           QUOTE q;
           FNODE f;
   
           q = (QUOTE)ARG0(arg); f = (FNODE)BDY(q);
           f = fnode_normalize(f,0);
           *rp = fnode_to_nbp(f);
   }
   
   void Pshuffle_mul_nbp(NODE arg,NBP *rp)
   {
           NBP p1,p2;
   
           p1 = (NBP)ARG0(arg);
           p2 = (NBP)ARG1(arg);
           shuffle_mulnbp(CO,p1,p2,rp);
   }
   
   NBP fnode_to_nbp(FNODE f)
   {
           Q r;
           int n,i;
           NBM m;
           V v;
           NBP u,u1,u2;
           NODE t,b;
   
           if ( f->id == I_FORMULA ) {
                   r = eval(f);
                   NEWNBM(m);
                   if ( OID(r) == O_N ) {
                           m->d = 0; m->c = (Q)r; m->b = 0;
                   } else {
                           v = VR((P)r);
                           m->d = 1; m->c = ONE; NEWNBMBDY(m,1);
                           if ( !strcmp(NAME(v),"x") ) NBM_SET(m->b,0);
                           else NBM_CLR(m->b,0);
                   }
                   MKNODE(b,m,0); MKNBP(u,b);
                   return u;
           } else if ( IS_NARYADD(f) ) {
                   t = (NODE)FA1(f); u = fnode_to_nbp((FNODE)BDY(t));
                   for ( t = NEXT(t); t; t = NEXT(t) ) {
                           u1 = fnode_to_nbp((FNODE)BDY(t));
                           addnbp(CO,u,u1,&u2); u = u2;
                   }
                   return u;
           } else if ( IS_NARYMUL(f) ) {
                   t = (NODE)FA1(f); u = fnode_to_nbp((FNODE)BDY(t));
                   for ( t = NEXT(t); t; t = NEXT(t) ) {
                           u1 = fnode_to_nbp((FNODE)BDY(t));
                           mulnbp(CO,u,u1,&u2); u = u2;
                   }
                   return u;
           } else if ( IS_BINARYPWR(f) ) {
                   u = fnode_to_nbp((FNODE)FA1(f));
                   r = eval((FNODE)FA2(f));
                   pwrnbp(CO,u,r,&u1);
                   return u1;
           }
   }
   
 void Pnquote_comp(NODE arg,Q *rp)  void Pnquote_comp(NODE arg,Q *rp)
 {  {
         QUOTE q1,q2;          QUOTE q1,q2;
Line 2057  void Pnquote_comp(NODE arg,Q *rp)
Line 2123  void Pnquote_comp(NODE arg,Q *rp)
   
         q1 = (QUOTE)ARG0(arg); f1 = (FNODE)BDY(q1);          q1 = (QUOTE)ARG0(arg); f1 = (FNODE)BDY(q1);
         q2 = (QUOTE)ARG1(arg); f2 = (FNODE)BDY(q2);          q2 = (QUOTE)ARG1(arg); f2 = (FNODE)BDY(q2);
         if ( !q1->normalized ) f1 = fnode_normalize(f1,0);          f1 = fnode_normalize(f1,0);
         if ( !q2->normalized ) f2 = fnode_normalize(f2,0);          f2 = fnode_normalize(f2,0);
         r = nfnode_comp(f1,f2);          r = nfnode_comp(f1,f2);
         STOQ(r,*rp);          STOQ(r,*rp);
 }  }
Line 2798  int nfnode_match(FNODE f,FNODE pat,NODE *rp)
Line 2864  int nfnode_match(FNODE f,FNODE pat,NODE *rp)
         FUNC ff,pf;          FUNC ff,pf;
         int r;          int r;
   
           if ( !pat )
                   if ( !f ) {
                           *rp = 0;
                           return 1;
                   } else
                           return 0;
           else if ( !f )
                   return 0;
         switch ( pat->id ) {          switch ( pat->id ) {
                 case I_PVAR:                  case I_PVAR:
                         /* [[pat,f]] */                          /* [[pat,f]] */
Line 2901  FNODE fnode_left_narymul(FNODE p,int i)
Line 2975  FNODE fnode_left_narymul(FNODE p,int i)
         a = (NODE)FA1(p);          a = (NODE)FA1(p);
         l = length(a);          l = length(a);
         if ( i < 0 || i >= l ) error("fnode_left_narymul : invalid index");          if ( i < 0 || i >= l ) error("fnode_left_narymul : invalid index");
         if ( i == 0 ) return mkfnode(1,I_FORMULA,ONE);          if ( i == 0 ) return 0;
         else if ( i == 1 ) return (FNODE)BDY(a);          else if ( i == 1 ) return (FNODE)BDY(a);
         else {          else {
                 for ( r0 = 0, k = 0, t = a; k < i; k++, t = NEXT(t) ) {                  for ( r0 = 0, k = 0, t = a; k < i; k++, t = NEXT(t) ) {
Line 2922  FNODE fnode_right_narymul(FNODE p,int i)
Line 2996  FNODE fnode_right_narymul(FNODE p,int i)
         a = (NODE)FA1(p);          a = (NODE)FA1(p);
         l = length(a);          l = length(a);
         if ( i < 0 || i >= l ) error("fnode_right_narymul : invalid index");          if ( i < 0 || i >= l ) error("fnode_right_narymul : invalid index");
         if ( i == l-1 ) return mkfnode(1,I_FORMULA,ONE);          if ( i == l-1 ) return 0;
         else {          else {
                 for ( k = 0, t = a; k <= i; k++, t = NEXT(t) );                  for ( k = 0, t = a; k <= i; k++, t = NEXT(t) );
                 return fnode_node_to_narymul(t);                  return fnode_node_to_narymul(t);
Line 3019  int nfnode_match_narymul(FNODE f,FNODE p,NODE *rp)
Line 3093  int nfnode_match_narymul(FNODE f,FNODE p,NODE *rp)
                         pright = fnode_right_narymul(p,pi);                          pright = fnode_right_narymul(p,pi);
                         /* XXX : incomplete */                          /* XXX : incomplete */
                         for ( s = fa, fi = 0; s; s = NEXT(s), fi++ ) {                          for ( s = fa, fi = 0; s; s = NEXT(s), fi++ ) {
                                   if ( fi < pi ) continue;
                                 if ( nfnode_match(BDY(s),pivot,&m) ) {                                  if ( nfnode_match(BDY(s),pivot,&m) ) {
                                         fleft = fnode_left_narymul(f,fi);                                          fleft = fnode_left_narymul(f,fi);
                                         pleft1 = rewrite_fnode(pleft,m);                                          pleft1 = rewrite_fnode(pleft,m);
Legend:
Removed from v.1.96  
changed lines
  Added in v.1.98
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>