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

Diff for /OpenXM_contrib2/asir2000/parse/puref.c between version 1.6 and 1.11

version 1.6, 2004/03/11 09:52:56 version 1.11, 2015/08/08 14:19:42
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/parse/puref.c,v 1.5 2003/05/20 06:15:01 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/parse/puref.c,v 1.10 2014/09/19 01:26:00 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "parse.h"  #include "parse.h"
Line 104  void mkpf(char *name,Obj body,int argc,V *args,
Line 104  void mkpf(char *name,Obj body,int argc,V *args,
 /*              fprintf(stderr,"%s() defined.\n",name); */  /*              fprintf(stderr,"%s() defined.\n",name); */
         } else          } else
                 fprintf(stderr,"%s() redefined.\n",name);                  fprintf(stderr,"%s() redefined.\n",name);
   #if defined(__MINGW32__) || defined(__MINGW64__)
           fflush(stderr);
   #endif
         BDY(node) = (pointer)pf; *pfp = pf;          BDY(node) = (pointer)pf; *pfp = pf;
 }  }
   
Line 284  void derivr(VL vl,Obj a,V v,Obj *b)
Line 287  void derivr(VL vl,Obj a,V v,Obj *b)
         }          }
 }  }
   
   void simple_derivr(VL vl,Obj a,V v,Obj *b)
   {
           Obj r,s,t,u,nm,dn;
   
           if ( !a || NUM(a) )
                   *b = 0;
           else
                   switch ( OID(a) ) {
                           case O_P:
                                   pderivr(vl,a,v,b); break;
                           case O_R:
                                   nm = (Obj)NM((R)a); dn = (Obj)DN((R)a);
                                   /* (nm/dn)' = nm'/dn - dn'/dn*nm/dn */
                                   pderivr(vl,nm,v,&s); divr(vl,s,dn,&u); reductr(vl,u,&t);
                                   pderivr(vl,dn,v,&s); divr(vl,s,dn,&u); reductr(vl,u,&s); mulr(vl,s,a,&u);
                                   subr(vl,t,u,&s); reductr(vl,s,b);
                                   break;
                           default:
                                   error("simple_derivr : invalid argument");
           }
   }
   
   int obj_is_dependent(Obj a,V v)
   {
           if ( !a || OID(a) <= O_N ) return 0;
           else if ( OID(a) == O_P ) return poly_is_dependent((P)a,v);
           else if ( OID(a) == O_R ) return poly_is_dependent(NM((R)a),v)
                   || poly_is_dependent(DN((R)a),v);
           else
                   error("obj_is_dependent : not implemented");
   }
   
   int poly_is_dependent(P p,V v)
   {
           DCP dc;
   
           if ( !p || OID(p) <= O_N ) return 0;
           else if ( v == VR(p) ) return 1;
           else {
                   for ( dc = DC(p); dc; dc = NEXT(dc) )
                           if ( poly_is_dependent(COEF(dc),v) ) return 1;
                   return 0;
           }
   }
   
   void gen_pwrr(VL vl,Obj a,Obj d,Obj *r)
   {
           if ( INT(d) )
                   pwrr(vl,a,d,r);
           else
                   mkpow(vl,a,d,r);
   }
   
 void substr(VL vl,int partial,Obj a,V v,Obj b,Obj *c)  void substr(VL vl,int partial,Obj a,V v,Obj b,Obj *c)
 {  {
         Obj nm,dn,t;          Obj nm,dn,t;
Line 338  void substpr(VL vl,int partial,Obj p,V v0,Obj p0,Obj *
Line 394  void substpr(VL vl,int partial,Obj p,V v0,Obj p0,Obj *
                 for ( c = 0, dc = DC((P)p); dc; dc = NEXT(dc) ) {                  for ( c = 0, dc = DC((P)p); dc; dc = NEXT(dc) ) {
                         substpr(vl,partial,(Obj)COEF(dc),v0,p0,&t);                          substpr(vl,partial,(Obj)COEF(dc),v0,p0,&t);
                         if ( DEG(dc) ) {                          if ( DEG(dc) ) {
                                 pwrp(vl,x,DEG(dc),(P *)&s); mulr(vl,s,t,&m);                                  gen_pwrr(vl,(Obj)x,(Obj)DEG(dc),&s);
                                   mulr(vl,s,t,&m);
                                 addr(vl,m,c,&a); c = a;                                  addr(vl,m,c,&a); c = a;
                         } else {                          } else {
                                 addr(vl,t,c,&a); c = a;                                  addr(vl,t,c,&a); c = a;
Line 352  void substpr(VL vl,int partial,Obj p,V v0,Obj p0,Obj *
Line 409  void substpr(VL vl,int partial,Obj p,V v0,Obj p0,Obj *
                 else                  else
                         c = (Obj)COEF(dc);                          c = (Obj)COEF(dc);
                 for ( d = DEG(dc), dc = NEXT(dc); dc; d = DEG(dc), dc = NEXT(dc) ) {                  for ( d = DEG(dc), dc = NEXT(dc); dc; d = DEG(dc), dc = NEXT(dc) ) {
                                 subq(d,DEG(dc),(Q *)&t); pwrr(vl,p0,t,&s); mulr(vl,s,c,&m);                                  subq(d,DEG(dc),(Q *)&t);
                                   gen_pwrr(vl,p0,t,&s); mulr(vl,s,c,&m);
                                 if ( !partial )                                  if ( !partial )
                                         substpr(vl,partial,(Obj)COEF(dc),v0,p0,&t);                                          substpr(vl,partial,(Obj)COEF(dc),v0,p0,&t);
                                 else                                  else
Line 360  void substpr(VL vl,int partial,Obj p,V v0,Obj p0,Obj *
Line 418  void substpr(VL vl,int partial,Obj p,V v0,Obj p0,Obj *
                                 addr(vl,m,t,&c);                                  addr(vl,m,t,&c);
                 }                  }
                 if ( d ) {                  if ( d ) {
                         pwrr(vl,p0,(Obj)d,&t); mulr(vl,t,c,&m);                          gen_pwrr(vl,p0,(Obj)d,&t);
                           mulr(vl,t,c,&m);
                         c = m;                          c = m;
                 }                  }
                 *pr = c;                  *pr = c;
Line 596  void devalins(PFINS ins,Obj *rp)
Line 655  void devalins(PFINS ins,Obj *rp)
         }          }
 }  }
   
   extern int evalef;
   
   void simplify_elemfunc_ins(PFINS ins,Obj *rp)
   {
           V v;
           P t;
   
     if ( evalef )
       evalins(ins,0,rp);
     else {
             instov(ins,&v); MKV(v,t); *rp = (Obj)t;
     }
   }
   
 void simplify_ins(PFINS ins,Obj *rp)  void simplify_ins(PFINS ins,Obj *rp)
 {  {
         V v;          V v;
Line 658  void substfp(VL vl,Obj p,PF u,PF f,Obj *pr)
Line 731  void substfp(VL vl,Obj p,PF u,PF f,Obj *pr)
                         for ( c = 0; dc; dc = NEXT(dc) ) {                          for ( c = 0; dc; dc = NEXT(dc) ) {
                                 substfp(vl,(Obj)COEF(dc),u,f,&t);                                  substfp(vl,(Obj)COEF(dc),u,f,&t);
                                 if ( DEG(dc) ) {                                  if ( DEG(dc) ) {
                                         pwrp(vl,x,DEG(dc),(P *)&s); mulr(vl,s,t,&m);                                          gen_pwrr(vl,(Obj)x,(Obj)DEG(dc),&s);
                                           mulr(vl,s,t,&m);
                                         addr(vl,m,c,&a); c = a;                                          addr(vl,m,c,&a); c = a;
                                 } else {                                  } else {
                                         addr(vl,t,c,&a); c = a;                                          addr(vl,t,c,&a); c = a;
Line 668  void substfp(VL vl,Obj p,PF u,PF f,Obj *pr)
Line 742  void substfp(VL vl,Obj p,PF u,PF f,Obj *pr)
                         substfv(vl,v,u,f,&p0);                          substfv(vl,v,u,f,&p0);
                         substfp(vl,(Obj)COEF(dc),u,f,&c);                          substfp(vl,(Obj)COEF(dc),u,f,&c);
                         for ( d = DEG(dc), dc = NEXT(dc); dc; d = DEG(dc), dc = NEXT(dc) ) {                          for ( d = DEG(dc), dc = NEXT(dc); dc; d = DEG(dc), dc = NEXT(dc) ) {
                                         subq(d,DEG(dc),(Q *)&t); pwrr(vl,p0,t,&s); mulr(vl,s,c,&m);                                          subq(d,DEG(dc),(Q *)&t);
                                           gen_pwrr(vl,p0,t,&s); mulr(vl,s,c,&m);
                                         substfp(vl,(Obj)COEF(dc),u,f,&t); addr(vl,m,t,&c);                                          substfp(vl,(Obj)COEF(dc),u,f,&t); addr(vl,m,t,&c);
                         }                          }
                         if ( d ) {                          if ( d ) {
                                 pwrr(vl,p0,(Obj)d,&t); mulr(vl,t,c,&m);                                  gen_pwrr(vl,p0,(Obj)d,&t); mulr(vl,t,c,&m);
                                 c = m;                                  c = m;
                         }                          }
                 }                  }
Legend:
Removed from v.1.6  
changed lines
  Added in v.1.11
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>