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

Diff for /OpenXM_contrib2/asir2000/builtin/parif.c between version 1.3 and 1.12

version 1.3, 2000/08/21 08:31:20 version 1.12, 2002/09/04 04:57:46
Line 23 
Line 23 
  * shall be made on your publication or presentation in any form of the   * shall be made on your publication or presentation in any form of the
  * results obtained by use of the SOFTWARE.   * results obtained by use of the SOFTWARE.
  * (4) In the event that you modify the SOFTWARE, you shall notify FLL by   * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
  * e-mail at risa-admin@flab.fujitsu.co.jp of the detailed specification   * 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   * for such modification or the source code of the modified part of the
  * SOFTWARE.   * SOFTWARE.
  *   *
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/parif.c,v 1.2 2000/02/08 04:47:09 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/builtin/parif.c,v 1.11 2002/07/12 08:05:23 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "parse.h"  #include "parse.h"
Line 55 
Line 55 
   
 extern long prec;  extern long prec;
   
 #if defined(THINK_C)  
 void patori(GEN,Obj *);  void patori(GEN,Obj *);
 void patori_i(GEN,N *);  void patori_i(GEN,N *);
 void ritopa(Obj,GEN *);  void ritopa(Obj,GEN *);
 void ritopa_i(N,int,GEN *);  void ritopa_i(N,int,GEN *);
 #else  
 void patori();  
 void patori_i();  
 void ritopa();  
 void ritopa_i();  
 #endif  
   
   void Ptodouble();
 void Peval(),Psetprec(),p_pi(),p_e(),p_mul(),p_gcd();  void Peval(),Psetprec(),p_pi(),p_e(),p_mul(),p_gcd();
   void asir_cgiv(GEN);
   
   #if defined(INTERVAL) || 1
   void Psetprecword();
   #endif
   
 struct ftab pari_tab[] = {  struct ftab pari_tab[] = {
         {"eval",Peval,-2}, {"setprec",Psetprec,-1}, {0,0,0},          {"eval",Peval,-2},
           {"setprec",Psetprec,-1},
           {"todouble",Ptodouble,1},
   #if defined(INTERVAL) || 1
           {"setprecword",Psetprecword,-1},
   #endif
           {0,0,0},
 };  };
   
 #define MKPREC(a,i,b) (argc(a)==(i)?mkprec(QTOS((Q)(b))):prec)  #define MKPREC(a,i,b) (argc(a)==(i)?mkprec(QTOS((Q)(b))):prec)
   
 #define CALLPARI1(f,a,p,r)\  #define CALLPARI1(f,a,p,r)\
 ritopa((Obj)a,&_pt1_); _pt2_ = f(_pt1_,p); patori(_pt2_,r); cgiv(_pt2_); cgiv(_pt1_)  ritopa((Obj)a,&_pt1_); _pt2_ = f(_pt1_,p); patori(_pt2_,r); asir_cgiv(_pt2_); asir_cgiv(_pt1_)
 #define CALLPARI2(f,a,b,p,r)\  #define CALLPARI2(f,a,b,p,r)\
 ritopa((Obj)a,&_pt1_); ritopa((Obj)b,&_pt2_); _pt3_ = f(_pt1_,_pt2_,p); patori(_pt3_,r); cgiv(_pt3_); cgiv(_pt2_); cgiv(_pt1_)  ritopa((Obj)a,&_pt1_); ritopa((Obj)b,&_pt2_); _pt3_ = f(_pt1_,_pt2_,p); patori(_pt3_,r); asir_cgiv(_pt3_); asir_cgiv(_pt2_); asir_cgiv(_pt1_)
   
 #define PARIF1P(f,pf)\  #define PARIF1P(f,pf)\
 void f(NODE,Obj *);\  void f(NODE,Obj *);\
Line 89  void f(NODE,Obj *);\
Line 94  void f(NODE,Obj *);\
 void f(ar,rp) NODE ar; Obj *rp;\  void f(ar,rp) NODE ar; Obj *rp;\
 { GEN _pt1_,_pt2_,_pt3_; CALLPARI2(pf,ARG0(ar),ARG1(ar),MKPREC(ar,3,ARG2(ar)),rp); }  { GEN _pt1_,_pt2_,_pt3_; CALLPARI2(pf,ARG0(ar),ARG1(ar),MKPREC(ar,3,ARG2(ar)),rp); }
   
   #if defined(INTERVAL)
   #define PREC_CONV       pariK1
   #else
 #if defined(LONG_IS_32BIT)  #if defined(LONG_IS_32BIT)
 #define PREC_CONV               0.103810253  #define PREC_CONV               0.103810253
 #endif  #endif
 #if defined(LONG_IS_64BIT)  #if defined(LONG_IS_64BIT)
 #define PREC_CONV               0.051905126  #define PREC_CONV               0.051905126
 #endif  #endif
   #endif
   
   /* XXX : we should be more careful when we free PARI pointers. */
   
   void asir_cgiv(ptr)
   GEN ptr;
   {
           if ( ptr != gzero && ptr != gun
           && ptr != gdeux && ptr != ghalf
           && ptr != polvar && ptr != gi )
                   cgiv(ptr);
   }
   
 mkprec(p)  mkprec(p)
 int p;  int p;
 {  {
         if ( p > 0 )          if ( p <= 0 )
                 return (int)(p*PREC_CONV+3);                  p = 1;
           return (int)(p*PREC_CONV+3);
 }  }
   
   void Ptodouble(arg,rp)
   NODE arg;
   Num *rp;
   {
           double r,i;
           Real real,imag;
           Num num;
   
           asir_assert(ARG0(arg),O_N,"todouble");
           num = (Num)ARG0(arg);
           if ( !num ) {
                   *rp = 0;
                   return;
           }
           switch ( NID(num) ) {
                   case N_R: case N_Q: case N_B:
                           r = ToReal(num);
                           MKReal(r,real);
                           *rp = (Num)real;
                           break;
                   case N_C:
                           r = ToReal(((C)num)->r);
                           i = ToReal(((C)num)->i);
                           MKReal(r,real);
                           MKReal(i,imag);
                           reimtocplx((Num)real,(Num)imag,rp);
                           break;
                   default:
                           *rp = num;
                           break;
           }
   }
   
 void Peval(arg,rp)  void Peval(arg,rp)
 NODE arg;  NODE arg;
 Obj *rp;  Obj *rp;
Line 118  Obj *rp;
Line 172  Obj *rp;
         int p;          int p;
         Q q;          Q q;
   
   #if defined(INTERVAL) || 1
           p = (int)((prec-2)/PREC_CONV); STOQ(p,q); *rp = (Obj)q;
           if ( arg ) {
                   asir_assert(ARG0(arg),O_N,"setprec");
                   p = QTOS((Q)ARG0(arg));
                   if ( p > 0 )
                           prec = (long)(p*PREC_CONV+3);
           }
   #else
         p = (int)((prec-3)/PREC_CONV); STOQ(p,q); *rp = (Obj)q;          p = (int)((prec-3)/PREC_CONV); STOQ(p,q); *rp = (Obj)q;
         if ( arg ) {          if ( arg ) {
                 asir_assert(ARG0(arg),O_N,"setprec");                  asir_assert(ARG0(arg),O_N,"setprec");
                 prec = mkprec(QTOS((Q)ARG0(arg)));                  prec = mkprec(QTOS((Q)ARG0(arg)));
         }          }
   #endif
 }  }
   
   #if defined(INTERVAL) || 1
   void Psetprecword(arg,rp)
   NODE arg;
   Obj *rp;
   {
           int p;
           Q q;
   
           p = (int)((prec-2)); STOQ(p,q); *rp = (Obj)q;
           if ( arg ) {
                   asir_assert(ARG0(arg),O_N,"setprecword");
                   p = QTOS((Q)ARG0(arg));
                   if ( p > 0 ) {
                           prec = p + 2;
                   }
           }
   }
   #endif
   
 void p_pi(arg,rp)  void p_pi(arg,rp)
 NODE arg;  NODE arg;
 Obj *rp;  Obj *rp;
Line 132  Obj *rp;
Line 215  Obj *rp;
         GEN x;          GEN x;
   
         x = mppi(MKPREC(arg,1,ARG0(arg)));          x = mppi(MKPREC(arg,1,ARG0(arg)));
         patori(x,rp); cgiv(x);          patori(x,rp); asir_cgiv(x);
 }  }
   
 void p_e(arg,rp)  void p_e(arg,rp)
Line 141  Obj *rp;
Line 224  Obj *rp;
 {  {
         GEN x;          GEN x;
   
         x = gexp(gun,MKPREC(arg,1,ARG0(arg))); patori(x,rp); cgiv(x);          x = gexp(gun,MKPREC(arg,1,ARG0(arg))); patori(x,rp); asir_cgiv(x);
 }  }
   
 void p_mul(a,b,r)  void p_mul(a,b,r)
Line 151  Obj a,b,*r;
Line 234  Obj a,b,*r;
   
         ritopa((Obj)a,&p1); ritopa((Obj)b,&p2);          ritopa((Obj)a,&p1); ritopa((Obj)b,&p2);
         p3 = mulii(p1,p2);          p3 = mulii(p1,p2);
         patori(p3,r); cgiv(p3); cgiv(p2); cgiv(p1);          patori(p3,r); asir_cgiv(p3); asir_cgiv(p2); asir_cgiv(p1);
 }  }
   
 void p_gcd(a,b,r)  void p_gcd(a,b,r)
Line 161  N a,b,*r;
Line 244  N a,b,*r;
   
         ritopa_i(a,1,&p1); ritopa_i(b,1,&p2);          ritopa_i(a,1,&p1); ritopa_i(b,1,&p2);
         p3 = mppgcd(p1,p2);          p3 = mppgcd(p1,p2);
         patori_i(p3,r); cgiv(p3); cgiv(p2); cgiv(p1);          patori_i(p3,r); asir_cgiv(p3); asir_cgiv(p2); asir_cgiv(p1);
 }  }
   
 PARIF1P(p_sin,gsin) PARIF1P(p_cos,gcos) PARIF1P(p_tan,gtan)  PARIF1P(p_sin,gsin) PARIF1P(p_cos,gcos) PARIF1P(p_tan,gtan)
Line 181  NODE arg;
Line 264  NODE arg;
         GEN a,v;          GEN a,v;
         long ltop,lbot;          long ltop,lbot;
         pointer r;          pointer r;
         int ac;          int ac,opt,intarg,ret;
         char buf[BUFSIZ];          char buf[BUFSIZ];
           Q q;
           GEN (*dmy)();
   
         if ( !f->f.binf ) {          if ( !f->f.binf ) {
                 sprintf(buf,"pari : %s undefined.",f->name);                  sprintf(buf,"pari : %s undefined.",f->name);
                 error(buf);                  error(buf);
                   /* NOTREACHED */
                   return 0;
         }          }
         switch ( f->type ) {          switch ( f->type ) {
                   case 0: /* in/out : integer */
                           ac = argc(arg);
                           if ( ac > 2 ) {
                                   fprintf(stderr,"argument mismatch in %s()\n",NAME(f));
                                   error("");
                                   /* NOTREACHED */
                                   return 0;
                           }
                           intarg = !ac ? 0 : QTOS((Q)ARG0(arg));
                           dmy = (GEN (*)())f->f.binf;
                           ret = (int)(*dmy)(intarg);
                           STOQ(ret,q);
                           return (pointer)q;
   
                 case 1:                  case 1:
                         ac = argc(arg);                          ac = argc(arg);
                         if ( !ac || ( ac > 2 ) ) {                          if ( !ac || ( ac > 2 ) ) {
                                 fprintf(stderr,"argument mismatch in %s()\n",NAME(f));                                  fprintf(stderr,"argument mismatch in %s()\n",NAME(f));
                                 error("");                                  error("");
                                   /* NOTREACHED */
                                   return 0;
                         }                          }
                         ltop = avma;                          ltop = avma;
                         ritopa((Obj)ARG0(arg),&a);                          ritopa((Obj)ARG0(arg),&a);
 #if 1 || defined(__MWERKS__)  
                 {  
                         GEN (*dmy)();  
   
                         dmy = (GEN (*)())f->f.binf;                          dmy = (GEN (*)())f->f.binf;
                         v = (*dmy)(a,MKPREC(arg,2,ARG1(arg)));                          v = (*dmy)(a,MKPREC(arg,2,ARG1(arg)));
                 }  
 #else  
                         v = (GEN)(*f->f.binf)(a,MKPREC(arg,2,ARG1(arg)));  
 #endif  
                         lbot = avma;                          lbot = avma;
                         patori(v,(Obj *)&r); gerepile(ltop,lbot,0);                          patori(v,(Obj *)&r); gerepile(ltop,lbot,0);
                         return r;                          return r;
   
                   case 2:
                           ac = argc(arg);
                           if ( !ac || ( ac > 2 ) ) {
                                   fprintf(stderr,"argument mismatch in %s()\n",NAME(f));
                                   error("");
                                   /* NOTREACHED */
                                   return 0;
                           }
                           if ( ac == 1 )
                                   opt = 0;
                           else
                                   opt = QTOS((Q)ARG1(arg));
                           ltop = avma;
                           ritopa((Obj)ARG0(arg),&a);
                           dmy = (GEN (*)())f->f.binf;
                           v = (*dmy)(a,opt);
                           lbot = avma;
                           patori(v,(Obj *)&r); gerepile(ltop,lbot,0);
                           return r;
   
                 default:                  default:
                         error("evalparif : not implemented yet.");                          error("evalparif : not implemented yet.");
                           /* NOTREACHED */
                           return 0;
         }          }
 }  }
   
Line 221  struct pariftab {
Line 339  struct pariftab {
         int type;          int type;
 };  };
   
   /*
    * type = 1 => argc = 1, second arg = precision
    * type = 2 => argc = 1, second arg = optional (long int)
    *
    */
   
 struct pariftab pariftab[] = {  struct pariftab pariftab[] = {
   {"allocatemem",(GEN(*)())allocatemoremem,0},
 {"abs",(GEN (*)())gabs,1},  {"abs",(GEN (*)())gabs,1},
 {"adj",adj,1},  {"adj",adj,1},
 {"arg",garg,1},  {"arg",garg,1},
Line 272  struct pariftab pariftab[] = {
Line 397  struct pariftab pariftab[] = {
 {"keri",keri,1},  {"keri",keri,1},
 {"kerint",kerint,1},  {"kerint",kerint,1},
 {"kerintg1",kerint1,1},  {"kerintg1",kerint1,1},
 {"kerint2",kerint2,1},  
 {"length",(GEN(*)())glength,1},  {"length",(GEN(*)())glength,1},
 {"lexsort",lexsort,1},  {"lexsort",lexsort,1},
 {"lift",lift,1},  {"lift",lift,1},
 {"lindep",lindep,1},  {"lindep",lindep,1},
 {"lll",lll,1},  {"lll",lll,1},
 {"lllg1",lll1,1},  
 {"lllgen",lllgen,1},  {"lllgen",lllgen,1},
 {"lllgram",lllgram,1},  {"lllgram",lllgram,1},
 {"lllgramg1",lllgram1,1},  
 {"lllgramgen",lllgramgen,1},  {"lllgramgen",lllgramgen,1},
 {"lllgramint",lllgramint,1},  {"lllgramint",lllgramint,1},
 {"lllgramkerim",lllgramkerim,1},  {"lllgramkerim",lllgramkerim,1},
Line 289  struct pariftab pariftab[] = {
Line 411  struct pariftab pariftab[] = {
 {"lllint",lllint,1},  {"lllint",lllint,1},
 {"lllkerim",lllkerim,1},  {"lllkerim",lllkerim,1},
 {"lllkerimgen",lllkerimgen,1},  {"lllkerimgen",lllkerimgen,1},
 {"lllrat",lllrat,1},  
 {"lngamma",glngamma,1},  {"lngamma",glngamma,1},
 {"logagm",glogagm,1},  {"logagm",glogagm,1},
 {"mat",gtomat,1},  {"mat",gtomat,1},
Line 345  struct pariftab pariftab[] = {
Line 466  struct pariftab pariftab[] = {
 {"wf",wf,1},  {"wf",wf,1},
 {"wf2",wf2,1},  {"wf2",wf2,1},
 {"zeta",gzeta,1},  {"zeta",gzeta,1},
   {"factor",factor,1},
   {"factorint",factorint,2},
 {0,0,0},  {0,0,0},
 };  };
   
Legend:
Removed from v.1.3  
changed lines
  Added in v.1.12
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>