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

Diff for /OpenXM_contrib2/asir2000/builtin/pf.c between version 1.1.1.1 and 1.10

version 1.1.1.1, 1999/12/03 07:39:07 version 1.10, 2005/09/08 08:37:02
Line 1 
Line 1 
 /* $OpenXM: OpenXM/src/asir99/builtin/pf.c,v 1.1.1.1 1999/11/10 08:12:26 noro Exp $ */  /*
    * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED
    * All rights reserved.
    *
    * FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited,
    * non-exclusive and royalty-free license to use, copy, modify and
    * redistribute, solely for non-commercial and non-profit purposes, the
    * computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and
    * conditions of this Agreement. For the avoidance of doubt, you acquire
    * only a limited right to use the SOFTWARE hereunder, and FLL or any
    * third party developer retains all rights, including but not limited to
    * copyrights, in and to the SOFTWARE.
    *
    * (1) FLL does not grant you a license in any way for commercial
    * purposes. You may use the SOFTWARE only for non-commercial and
    * non-profit purposes only, such as academic, research and internal
    * business use.
    * (2) The SOFTWARE is protected by the Copyright Law of Japan and
    * international copyright treaties. If you make copies of the SOFTWARE,
    * with or without modification, as permitted hereunder, you shall affix
    * to all such copies of the SOFTWARE the above copyright notice.
    * (3) An explicit reference to this SOFTWARE and its copyright owner
    * shall be made on your publication or presentation in any form of the
    * results obtained by use of the SOFTWARE.
    * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
    * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
    * for such modification or the source code of the modified part of the
    * SOFTWARE.
    *
    * THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL
    * MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND
    * EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS
    * FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES'
    * RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY
    * MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY.
    * UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT,
    * OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY
    * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL
    * DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES
    * ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES
    * FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY
    * DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF
    * SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART
    * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
    * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
    * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
    *
    * $OpenXM: OpenXM_contrib2/asir2000/builtin/pf.c,v 1.9 2004/12/17 03:09:08 noro Exp $
   */
 #include "ca.h"  #include "ca.h"
 #include "math.h"  #include "math.h"
 #include "parse.h"  #include "parse.h"
Line 15  void make_tri(void);
Line 63  void make_tri(void);
 void make_exp(void);  void make_exp(void);
 void simplify_pow(PFINS,Obj *);  void simplify_pow(PFINS,Obj *);
   
 void Pfunctor(),Pargs(),Pfunargs(),Pvtype(),Pcall(),Pdeval();  void Pfunctor(),Pargs(),Pfunargs(),Pvtype(),Pcall(),Pdeval(),Pfunargs_ext();
 void Pregister_handler();  void Pregister_handler();
   void Peval_quote();
   void Pmapat();
   void Padd_handler();
   void Plist_handler();
   void Pclear_handler();
   
 struct ftab puref_tab[] = {  struct ftab puref_tab[] = {
           {"mapat",Pmapat,-99999999},
         {"functor",Pfunctor,1},          {"functor",Pfunctor,1},
         {"args",Pargs,1},          {"args",Pargs,1},
         {"funargs",Pfunargs,1},          {"funargs",Pfunargs,1},
           {"funargs_ext",Pfunargs_ext,1},
         {"register_handler",Pregister_handler,1},          {"register_handler",Pregister_handler,1},
           {"add_handler",Padd_handler,2},
           {"list_handler",Plist_handler,1},
           {"clear_handler",Pclear_handler,1},
         {"call",Pcall,2},          {"call",Pcall,2},
         {"vtype",Pvtype,1},          {"vtype",Pvtype,1},
         {"deval",Pdeval,1},          {"deval",Pdeval,1},
           {"eval_quote",Peval_quote,1},
         {0,0,0},          {0,0,0},
 };  };
   
 #if PARI  #if defined(PARI)
 int p_pi(),p_e();  int p_pi(),p_e();
 int p_log(),p_exp(),p_pow();  int p_log(),p_exp(),p_pow();
 int p_sin(),p_cos(),p_tan(),p_asin(),p_acos(),p_atan();  int p_sin(),p_cos(),p_tan(),p_asin(),p_acos(),p_atan();
Line 232  Obj *rp;
Line 291  Obj *rp;
         pf = ins->pf; ad = ins->ad; a0 = ad[0].arg; a1 = ad[1].arg;          pf = ins->pf; ad = ins->ad; a0 = ad[0].arg; a1 = ad[1].arg;
         if ( !a1 )          if ( !a1 )
                 *rp = (Obj)ONE;                  *rp = (Obj)ONE;
         else if ( !a0 )          else if ( !a0 ) {
                 *rp = 0;                  if ( RATN(a1) && SGN((Q)a1)>0 )
         else if ( NUM(a1) && INT(a1) )                          *rp = 0;
                   else if ( RATN(a1) && SGN((Q)a1) < 0 )
                           error("simplify_pow : division by 0");
                   else {
                           instov(ins,&v); MKV(v,t); *rp = (Obj)t;
                   }
           } else if ( NUM(a1) && INT(a1) )
                 arf_pwr(CO,a0,a1,rp);                  arf_pwr(CO,a0,a1,rp);
         else {          else {
                 instov(ins,&v); MKV(v,t); *rp = (Obj)t;                  instov(ins,&v); MKV(v,t); *rp = (Obj)t;
Line 242  Obj *rp;
Line 307  Obj *rp;
 }  }
   
 #define ISPFINS(p)\  #define ISPFINS(p)\
 (p)&&(ID(p) == O_P)&&((int)VR((P)p)->attr!=V_PF)&&\  ((p)&&(ID(p) == O_P)&&((int)VR((P)p)->attr==V_PF)&&\
 UNIQ(DEG(DC((P)p)))&&UNIQ(COEF(DC((P)p)))  UNIQ(DEG(DC((P)p)))&&UNIQ(COEF(DC((P)p))))
   
 void Pfunctor(arg,rp)  void Pfunctor(arg,rp)
 NODE arg;  NODE arg;
Line 260  P *rp;
Line 325  P *rp;
         else {          else {
                 ins = (PFINS)VR(p)->priv; pf = ins->pf;                  ins = (PFINS)VR(p)->priv; pf = ins->pf;
                 t = (FUNC)MALLOC(sizeof(struct oFUNC));                  t = (FUNC)MALLOC(sizeof(struct oFUNC));
                 t->name = pf->name; t->id = A_PURE; t->argc = pf->argc;                  t->name = t->fullname = pf->name; t->id = A_PURE; t->argc = pf->argc;
                 t->f.puref = pf;                  t->f.puref = pf;
                 makesrvar(t,rp);                  makesrvar(t,rp);
         }          }
Line 310  LIST *rp;
Line 375  LIST *rp;
         else {          else {
                 ins = (PFINS)VR(p)->priv; ad = ins->ad; pf = ins->pf;                  ins = (PFINS)VR(p)->priv; ad = ins->ad; pf = ins->pf;
                 t = (FUNC)MALLOC(sizeof(struct oFUNC));                  t = (FUNC)MALLOC(sizeof(struct oFUNC));
                 t->name = pf->name; t->id = A_PURE; t->argc = pf->argc;                  t->name = t->fullname = pf->name; t->id = A_PURE; t->argc = pf->argc;
                 t->f.puref = pf;                  t->f.puref = pf;
                 makesrvar(t,&f);                  makesrvar(t,&f);
                 n0 = 0; NEXTNODE(n0,n); BDY(n) = (pointer)f;                  n = n0 = 0; NEXTNODE(n0,n); BDY(n) = (pointer)f;
                 for ( i = 0; i < pf->argc; i++ ) {                  for ( i = 0; i < pf->argc; i++ ) {
                         NEXTNODE(n0,n); BDY(n) = (pointer)ad[i].arg;                          NEXTNODE(n0,n); BDY(n) = (pointer)ad[i].arg;
                 }                  }
Line 322  LIST *rp;
Line 387  LIST *rp;
         }          }
 }  }
   
   void Pfunargs_ext(arg,rp)
   NODE arg;
   LIST *rp;
   {
           P p;
           P f;
           FUNC t;
           PF pf;
           PFINS ins;
           PFAD ad;
           NODE n,n0,d,d0,a,a0;
           LIST alist,dlist;
           Q q;
           int i;
   
           p = (P)ARG0(arg);
           if ( !ISPFINS(p) )
                   *rp = 0;
           else {
                   ins = (PFINS)VR(p)->priv; ad = ins->ad; pf = ins->pf;
                   t = (FUNC)MALLOC(sizeof(struct oFUNC));
                   t->name = t->fullname = pf->name; t->id = A_PURE; t->argc = pf->argc;
                   t->f.puref = pf;
                   makesrvar(t,&f);
   
                   d0 = a0 = 0;
                   for ( i = 0; i < pf->argc; i++ ) {
                           NEXTNODE(d0,d); STOQ(ad[i].d,q); BDY(d) = (pointer)q;
                           NEXTNODE(a0,a); BDY(a) = (pointer)ad[i].arg;
                   }
                   NEXT(d) = 0; NEXT(a) = 0; MKLIST(alist,a0); MKLIST(dlist,d0);
   
                   n0 = mknode(3,f,dlist,alist);
                   MKLIST(*rp,n0);
           }
   }
   
 void Pvtype(arg,rp)  void Pvtype(arg,rp)
 NODE arg;  NODE arg;
 Q *rp;  Q *rp;
Line 335  Q *rp;
Line 437  Q *rp;
                 STOQ((int)VR(p)->attr,*rp);                  STOQ((int)VR(p)->attr,*rp);
 }  }
   
 extern FUNC registered_handler;  extern NODE user_int_handler,user_quit_handler;
   
 void Pregister_handler(arg,rp)  void Pregister_handler(arg,rp)
 NODE arg;  NODE arg;
Line 343  Q *rp;
Line 445  Q *rp;
 {  {
         P p;          P p;
         V v;          V v;
           NODE n;
         FUNC func;          FUNC func;
   
         p = (P)ARG0(arg);          p = (P)ARG0(arg);
         if ( !p )          if ( !p ) {
                 registered_handler = 0;                  user_int_handler = 0;
         else if ( OID(p) != 2 )                  *rp = 0;
                   return;
           } else if ( OID(p) != 2 )
                 error("register_hanlder : invalid argument");                  error("register_hanlder : invalid argument");
         v = VR(p);          v = VR(p);
         if ( (int)v->attr != V_SR )          if ( (int)v->attr != V_SR )
Line 358  Q *rp;
Line 463  Q *rp;
                 if ( func->argc )                  if ( func->argc )
                         error("register_hanlder : the function must be with no argument");                          error("register_hanlder : the function must be with no argument");
                 else {                  else {
                         registered_handler = func;                          MKNODE(n,(pointer)func,user_int_handler);
                           user_int_handler = n;
                         *rp = ONE;                          *rp = ONE;
                 }                  }
         }          }
 }  }
   
 void Pcall(arg,rp)  void Padd_handler(arg,rp)
 NODE arg;  NODE arg;
 Obj *rp;  Q *rp;
 {  {
         P p;          P p;
         V v;          V v;
           NODE n;
           FUNC func;
           char *name;
           NODE *hlistp;
   
           asir_assert(ARG0(arg),O_STR,"add_handler");
           name = BDY((STRING)ARG0(arg));
           p = (P)ARG1(arg);
           if ( !strcmp(name,"intr") )
                   hlistp = &user_int_handler;
           else if ( !strcmp(name,"quit") )
                   hlistp = &user_quit_handler;
           else
                   error("add_handler : invalid keyword (must be \"intr\" or \"quit\")");
           if ( !p ) {
                   *hlistp = 0; *rp = 0;
                   return;
           }
           if ( OID(p) == 2 ) {
                   v = VR(p);
                   if ( (int)v->attr != V_SR )
                           error("add_hanlder : no such function");
                   func = (FUNC)v->priv;
           } else if ( OID(p) == O_STR ) {
                   gen_searchf_searchonly(BDY((STRING)p),&func);
                   if ( !func )
                           error("add_hanlder : no such function");
           }
           if ( func->argc )
                   error("register_hanlder : the function must be with no argument");
           else {
                   MKNODE(n,(pointer)func,*hlistp);
                   *hlistp = n;
                   *rp = ONE;
           }
   }
   
   void Plist_handler(arg,rp)
   NODE arg;
   LIST *rp;
   {
           NODE r0,r,t;
           char *name;
           NODE hlist;
           STRING fname;
   
           asir_assert(ARG0(arg),O_STR,"list_handler");
           name = BDY((STRING)ARG0(arg));
           if ( !strcmp(name,"intr") )
                   hlist = user_int_handler;
           else if ( !strcmp(name,"quit") )
                   hlist = user_quit_handler;
           else
                   error("list_handler : invalid keyword (must be \"intr\" or \"quit\")");
           for ( r0 = 0, t = hlist; t; t = NEXT(t) ) {
                   NEXTNODE(r0,r);
                   MKSTR(fname,((FUNC)BDY(t))->fullname);
                   BDY(r) = (pointer)fname;
           }
           if ( r0 ) NEXT(r) = 0;
           MKLIST(*rp,r0);
   }
   
   void Pclear_handler(arg,rp)
   NODE arg;
   Q *rp;
   {
           NODE r0,r,t;
           char *name;
           NODE hlist;
           STRING fname;
   
           asir_assert(ARG0(arg),O_STR,"clear_handler");
           name = BDY((STRING)ARG0(arg));
           if ( !strcmp(name,"intr") )
                   user_int_handler = 0;
           else if ( !strcmp(name,"quit") )
                   user_quit_handler = 0;
           else
                   error("clear_handler : invalid keyword (must be \"intr\" or \"quit\")");
           *rp = 0;
   }
   
   void Pcall(NODE arg,Obj *rp)
   {
           P p;
           V v;
   
         p = (P)ARG0(arg);          p = (P)ARG0(arg);
         if ( !p || OID(p) != 2 )          if ( !p || OID(p) != 2 )
                 error("call : invalid argument");                  error("call : invalid argument");
Line 382  Obj *rp;
Line 575  Obj *rp;
                 *rp = (Obj)bevalf((FUNC)v->priv,BDY((LIST)ARG1(arg)));                  *rp = (Obj)bevalf((FUNC)v->priv,BDY((LIST)ARG1(arg)));
 }  }
   
   /* at=position of arg to be used for iteration */
   
   void Pmapat(NODE arg,Obj *rp)
   {
           LIST args;
           NODE node,rest,t0,t,n,r,r0;
           P fpoly;
           V fvar;
           FUNC f;
           VECT v,rv;
           MAT m,rm;
           LIST rl;
           int len,row,col,i,j,pos;
           Obj iter;
           pointer val;
   
           if ( argc(arg) < 3 )
                   error("mapat : too few arguments");
   
           fpoly = (P)ARG0(arg);
           if ( !fpoly || OID(fpoly) != O_P )
                   error("mapat : invalid function specification");
           fvar = VR(fpoly);
           if ( fvar->attr != (pointer)V_SR || !(f=(FUNC)fvar->priv) )
                   error("mapat : invalid function specification");
           if ( !INT(ARG1(arg)) )
                   error("mapat : invalid position");
           pos = QTOS((Q)ARG1(arg));
           node = NEXT(NEXT(arg));
           len = length(node);
           if ( pos >= len )
                   error("evalmapatf : invalid position");
           r0 = 0;
           for ( i = 0, t = node; i < pos; i++, t = NEXT(t) ) {
                   NEXTNODE(r0,r);
                   BDY(r) = BDY(t);
           }
           NEXTNODE(r0,r);
           iter = BDY(t); rest = NEXT(t);
           if ( !iter ) {
                   *rp = bevalf(f,node);
                   return;
           }
           switch ( OID(iter) ) {
                   case O_VECT:
                           v = (VECT)iter; len = v->len; MKVECT(rv,len);
                           for ( i = 0; i < len; i++ ) {
                                   BDY(r) = BDY(v)[i]; NEXT(r) = rest;
                                   BDY(rv)[i] = bevalf(f,r0);
                           }
                           *rp = (Obj)rv;
                           break;
                   case O_MAT:
                           m = (MAT)iter; row = m->row; col = m->col; MKMAT(rm,row,col);
                           for ( i = 0; i < row; i++ )
                                   for ( j = 0; j < col; j++ ) {
                                           BDY(r) = BDY(m)[i][j]; NEXT(r) = rest;
                                           BDY(rm)[i][j] = bevalf(f,r0);
                                   }
                           *rp = (Obj)rm;
                           break;
                   case O_LIST:
                           n = BDY((LIST)iter);
                           for ( t0 = t = 0; n; n = NEXT(n) ) {
                                   BDY(r) = BDY(n); NEXT(r) = rest;
                                   NEXTNODE(t0,t); BDY(t) = bevalf(f,r0);
                           }
                           if ( t0 )
                                   NEXT(t) = 0;
                           MKLIST(rl,t0);
                           *rp = (Obj)rl;
                           break;
                   default:
                           *rp = bevalf(f,node);
                           break;
           }
   }
   
 void Pdeval(arg,rp)  void Pdeval(arg,rp)
 NODE arg;  NODE arg;
 Obj *rp;  Obj *rp;
Line 390  Obj *rp;
Line 661  Obj *rp;
         devalr(CO,(Obj)ARG0(arg),rp);          devalr(CO,(Obj)ARG0(arg),rp);
 }  }
   
   void Peval_quote(arg,rp)
   NODE arg;
   Obj *rp;
   {
           asir_assert(ARG0(arg),O_QUOTE,"eval_quote");
           *rp = eval((FNODE)BDY((QUOTE)ARG0(arg)));
   }
Legend:
Removed from v.1.1.1.1  
changed lines
  Added in v.1.10
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>