[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.84 and 1.87

version 1.84, 2005/10/26 10:47:00 version 1.87, 2005/10/31 10:03:48
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.83 2005/10/26 10:44:50 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/builtin/strobj.c,v 1.86 2005/10/26 23:43:23 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "parse.h"  #include "parse.h"
Line 127  struct ftab str_tab[] = {
Line 127  struct ftab str_tab[] = {
         {"quote_is_dependent",Pquote_is_dependent,2},          {"quote_is_dependent",Pquote_is_dependent,2},
   
         {"quote_normalize",Pquote_normalize,-2},          {"quote_normalize",Pquote_normalize,-2},
         {"quote_normalize_comp",Pquote_normalize_comp,2,0x3},          {"quote_normalize_comp",Pquote_normalize_comp,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 1942  void Pquote_normalize(NODE arg,QUOTE *rp)
Line 1942  void Pquote_normalize(NODE arg,QUOTE *rp)
         if ( !q || OID(q) != O_QUOTE ) {          if ( !q || OID(q) != O_QUOTE ) {
                 *rp = q;                  *rp = q;
                 return;                  return;
         } else {          } else if ( q->normalized && (q->expanded || !expand) )
                   *rp = q;
           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;
         }          }
 }  }
   
 void Pquote_normalize_comp(NODE arg,Q *rp)  void Pquote_normalize_comp(NODE arg,Q *rp)
 {  {
           QUOTE q1,q2;
         FNODE f1,f2;          FNODE f1,f2;
         int r;          int r;
   
         f1 = BDY((QUOTE)ARG0(arg));          q1 = (QUOTE)ARG0(arg); f1 = (FNODE)BDY(q1);
         f2 = BDY((QUOTE)ARG1(arg));          q2 = (QUOTE)ARG1(arg); f2 = (FNODE)BDY(q2);
         f1 = fnode_normalize(f1,0);          if ( !q1->normalized ) f1 = fnode_normalize(f1,0);
         f2 = fnode_normalize(f2,0);          if ( !q2->normalized ) f2 = fnode_normalize(f2,0);
         r = fnode_normalize_comp(f1,f2);          r = fnode_normalize_comp(f1,f2);
         STOQ(r,*rp);          STOQ(r,*rp);
 }  }
Line 2496  int fnode_normalize_comp(FNODE f1,FNODE f2)
Line 2501  int fnode_normalize_comp(FNODE f1,FNODE f2)
                         else {                          else {
                                 n1 = NEXT(n1); n2 = NEXT(n2);                                  n1 = NEXT(n1); n2 = NEXT(n2);
                         }                          }
                 if ( n1 ) return 1;                  return n1?1:(n2?-1:0);
                 else if ( n2 ) return -1;  
                 else return 0;  
         }          }
         if ( IS_NARYMUL(f1) || IS_NARYMUL(f2) ) {          if ( IS_NARYMUL(f1) || IS_NARYMUL(f2) ) {
                 fnode_coef_body(f1,&c1,&b1);                  fnode_coef_body(f1,&c1,&b1);
Line 2511  int fnode_normalize_comp(FNODE f1,FNODE f2)
Line 2514  int fnode_normalize_comp(FNODE f1,FNODE f2)
                                 n1 = NEXT(n1); n2 = NEXT(n2);                                  n1 = NEXT(n1); n2 = NEXT(n2);
                         }                          }
                         if ( !n1 || !n2 ) {                          if ( !n1 || !n2 ) {
                                 if ( n1 ) return 1;                                  return n1?1:(n2?-1:0);
                                 else if ( n2 ) return -1;  
                                 else return 0;  
                         }                          }
                         fnode_base_exp(BDY(n1),&b1,&e1);                          fnode_base_exp(BDY(n1),&b1,&e1);
                         fnode_base_exp(BDY(n2),&b2,&e2);                          fnode_base_exp(BDY(n2),&b2,&e2);
Line 2530  int fnode_normalize_comp(FNODE f1,FNODE f2)
Line 2531  int fnode_normalize_comp(FNODE f1,FNODE f2)
                                         subnum(0,eval(e1),eval(e2),&ee);                                          subnum(0,eval(e1),eval(e2),&ee);
                                         r = compnum(0,ee,0);                                          r = compnum(0,ee,0);
                                         if ( r > 0 ) {                                          if ( r > 0 ) {
                                                 /* e1>e2 */  
                                                 g = mkfnode(3,I_BOP,pwrfs,b1,mkfnode(1,I_FORMULA,ee));                                                  g = mkfnode(3,I_BOP,pwrfs,b1,mkfnode(1,I_FORMULA,ee));
                                                 MKNODE(n1,g,n1);                                                  MKNODE(n1,g,n1);
                                         } else if ( r < 0 ) {                                          } else if ( r < 0 ) {
                                                 /* e1<e2 */                                                  chsgnnum(ee,&ee1);
                                                 chsgnnum(ee,&ee1); ee = ee1;                                                  g = mkfnode(3,I_BOP,pwrfs,b1,mkfnode(1,I_FORMULA,ee1));
                                                 g = mkfnode(3,I_BOP,pwrfs,b1,mkfnode(1,I_FORMULA,ee));                                                  MKNODE(n2,g,n2);
                                         MKNODE(n2,g,n2);  
                                         }                                          }
                                 } else {                                  } else {
                                         r = fnode_normalize_comp(e1,e2);                                          r = fnode_normalize_comp(e1,e2);
Line 2579  int fnode_normalize_comp(FNODE f1,FNODE f2)
Line 2578  int fnode_normalize_comp(FNODE f1,FNODE f2)
                                                         else {                                                          else {
                                                                 n1 = NEXT(n1); n2 = NEXT(n2);                                                                  n1 = NEXT(n1); n2 = NEXT(n2);
                                                         }                                                          }
                                                 if ( n1 ) return 1;                                                  return n1?1:(n2?-1:0);
                                                 else if ( n2 ) return -1;  
                                                 else return 0;  
                                         }                                          }
                                         break;                                          break;
                                 case I_PVAR:                                  case I_PVAR:
Line 2621  int fnode_normalize_comp_pwr(FNODE f1,FNODE f2)
Line 2618  int fnode_normalize_comp_pwr(FNODE f1,FNODE f2)
                         return fnode_normalize_comp(mkfnode(1,I_FORMULA,0),e2);                          return fnode_normalize_comp(mkfnode(1,I_FORMULA,0),e2);
         } else return fnode_normalize_comp(e1,e2);          } else return fnode_normalize_comp(e1,e2);
 }  }
   
   int fnode_normalize_unify(FNODE f,FNODE pat,NODE *rp)
   {
           NODE m,m1,m2,base,exp,fa,pa,n;
           LIST l;
           QUOTE qp,qf;
           FNODE fbase,fexp;
           FUNC ff,pf;
           int r;
   
           switch ( pat->id ) {
                   case I_PVAR:
                           /* [[pat,f]] */
                           MKQUOTE(qf,f);
                           MKQUOTE(qp,pat);
                           n = mknode(2,qp,qf); MKLIST(l,n);
                           *rp =  mknode(1,l);
                           return 1;
   
                   case I_FORMULA:
                           if ( !arf_comp(CO,(Obj)FA0(f),(Obj)FA0(pat)) ) {
                                   *rp = 0; return 1;
                           } else
                                   return 0;
   
                   case I_BOP:
                           /* OPNAME should be "^" */
                           if ( !IS_BINARYPWR(pat) )
                                   error("fnode_normalize_unify : invalid BOP");
                           if ( IS_BINARYPWR(f) ) {
                                   fbase = FA1(f); fexp = FA2(f);
                           } else {
                                   fbase = f; fexp = mkfnode(1,I_FORMULA,ONE);
                           }
                           r = fnode_normalize_unify(fbase,FA1(pat),&base);
                           if ( !r ) return 0;
                           r = fnode_normalize_unify(fexp,FA2(pat),&exp);
                           if ( !r ) return 0;
                           else return merge_matching_node(base,exp,rp);
                           break;
   
                   case I_FUNC:
                           if ( f->id != I_FUNC ) return 0;
                           ff = (FUNC)FA0(f); pf = (FUNC)FA0(pat);
                           if ( strcmp(ff->fullname,pf->fullname) ) return 0;
                           /* FA1(f) and FA1(pat) are I_LIST */
                           fa = (NODE)FA0((FNODE)FA1(f));
                           pa = (NODE)FA0((FNODE)FA1(pat));
                           m = 0;
                           while ( fa && pa ) {
                                   r = fnode_normalize_unify(BDY(fa),BDY(pa),&m1);
                                   if ( !r ) return 0;
                                   r = merge_matching_node(m,m1,&m2);
                                   if ( !r ) return 0;
                                   else m = m2;
                           }
                           if ( fa || pa ) return 0;
                           else {
                                   *rp = m;
                                   return 1;
                           }
   
                   case I_NARYOP:
                           if ( IS_NARYADD(pat) )
                                   return fnode_normalize_unify_naryadd(f,pat,rp);
                           else if ( IS_NARYMUL(pat) )
                                   return fnode_normalize_unify_narymul(f,pat,rp);
                           else
                                   error("fnode_normalize_unify : invalid NARYOP");
                           break;
   
                   default:
                           error("fnode_normalize_unify : invalid pattern");
           }
   }
   
   int fnode_normalize_unify_naryadd(FNODE f,FNODE pat,NODE *rp){}
   
   int fnode_normalize_unify_narymul(FNODE f,FNODE pat,NODE *rp){}
   
   /*
   int fnode_normalize_unify_naryadd(FNODE f,FNODE pat,NODE *rp)
   {
           int lf,lp;
   
           f = to_naryadd(f);
           lf = length((NODE)FA1(f));
           lp = length((NODE)FA1(pat));
           if ( lf < lp ) return 0;
           else if ( lp == 1 ) {
                   if ( lf == 1 )
                           return fnode_normalize_unify(
                                   BDY((NODE)FA1(f)),BDY((NODE)FA1(pat)),rp);
                   else
                           return 0;
           } else {
                   sel = (int *)ALLOCA(lf);
           }
   }
   */
   
Legend:
Removed from v.1.84  
changed lines
  Added in v.1.87
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>