[BACK]Return to ox_pari.c CVS log [TXT][DIR] Up to [local] / OpenXM / src / ox_pari

Diff for /OpenXM/src/ox_pari/ox_pari.c between version 1.2 and 1.3

version 1.2, 2015/08/06 09:15:32 version 1.3, 2015/08/17 05:18:35
Line 1 
Line 1 
 /*      $OpenXM: OpenXM/src/ox_pari/ox_pari.c,v 1.1 2015/08/04 05:24:44 noro Exp $      */  /*      $OpenXM: OpenXM/src/ox_pari/ox_pari.c,v 1.2 2015/08/06 09:15:32 noro Exp $      */
   
 #include <stdio.h>  #include <stdio.h>
 #include <stdlib.h>  #include <stdlib.h>
 #include <string.h>  #include <string.h>
 #include "pari/pari.h"  #include "pari/pari.h"
   #include "pari/paripriv.h"
 #include "gmp.h"  #include "gmp.h"
 #include "gmp-impl.h"  #include "gmp-impl.h"
   #include "mpfr.h"
 #include "ox_toolkit.h"  #include "ox_toolkit.h"
 OXFILE *fd_rw;  OXFILE *fd_rw;
   
   #define MPFR_PREC(x)      ((x)->_mpfr_prec)
   #define MPFR_EXP(x)       ((x)->_mpfr_exp)
   #define MPFR_MANT(x)      ((x)->_mpfr_d)
   #define MPFR_LAST_LIMB(x) ((MPFR_PREC (x) - 1) / GMP_NUMB_BITS)
   #define MPFR_LIMB_SIZE(x) (MPFR_LAST_LIMB (x) + 1)
   
 static int stack_size = 0;  static int stack_size = 0;
 static int stack_pointer = 0;  static int stack_pointer = 0;
 static cmo **stack = NULL;  static cmo **stack = NULL;
Line 18  long paristack=10000000;
Line 26  long paristack=10000000;
 void init_pari(void);  void init_pari(void);
 cmo *GEN_to_cmo(GEN z);  cmo *GEN_to_cmo(GEN z);
 cmo_zz *GEN_to_cmo_zz(GEN z);  cmo_zz *GEN_to_cmo_zz(GEN z);
   cmo_bf *GEN_to_cmo_bf(GEN z);
 cmo_list *GEN_to_cmo_list(GEN z);  cmo_list *GEN_to_cmo_list(GEN z);
 GEN cmo_to_GEN(cmo *c);  GEN cmo_to_GEN(cmo *c);
 GEN cmo_zz_to_GEN(cmo_zz *c);  GEN cmo_zz_to_GEN(cmo_zz *c);
   GEN cmo_bf_to_GEN(cmo_bf *c);
   
 #define INIT_S_SIZE 2048  #define INIT_S_SIZE 2048
 #define EXT_S_SIZE  2048  #define EXT_S_SIZE  2048
   
   void *gc_realloc(void *p,size_t osize,size_t nsize)
   {
     return (void *)GC_realloc(p,nsize);
   }
   
   void gc_free(void *p,size_t size)
   {
     GC_free(p);
   }
   
   void init_gc()
   {
           GC_INIT();
     mp_set_memory_functions(GC_malloc,gc_realloc,gc_free);
   }
   
 void init_pari()  void init_pari()
 {  {
   pari_init(paristack,2);    pari_init(paristack,2);
Line 156  GEN cmo_zz_to_GEN(cmo_zz *c)
Line 182  GEN cmo_zz_to_GEN(cmo_zz *c)
   return z;    return z;
 }  }
   
   GEN cmo_bf_to_GEN(cmo_bf *c)
   {
     mpfr_ptr mpfr;
     GEN z;
     int sgn,len,j;
     long exp;
     long *ptr;
   
     mpfr = c->mpfr;
     sgn = MPFR_SIGN(mpfr);
     exp = MPFR_EXP(mpfr)-1;
     len = MPFR_LIMB_SIZE(mpfr);
     ptr = (long *)MPFR_MANT(mpfr);
     z = cgetr(len+2);
     for ( j = 0; j < len; j++ )
       z[len-j+1] = ptr[j];
     z[1] = evalsigne(sgn)|evalexpo(exp);
     setsigne(z,sgn);
     return z;
   }
   
 cmo_zz *GEN_to_cmo_zz(GEN z)  cmo_zz *GEN_to_cmo_zz(GEN z)
 {  {
   cmo_zz *c;    cmo_zz *c;
Line 167  cmo_zz *GEN_to_cmo_zz(GEN z)
Line 214  cmo_zz *GEN_to_cmo_zz(GEN z)
   return c;    return c;
 }  }
   
   cmo_bf *GEN_to_cmo_bf(GEN z)
   {
     cmo_bf *c;
     int len,prec,j;
     long *ptr;
   
     c = new_cmo_bf();
     len = lg(z)-2;
     prec = len*sizeof(long)*8;
     mpfr_init2(c->mpfr,prec);
     ptr = (long *)MPFR_MANT(c->mpfr);
     for ( j = 0; j < len; j++ )
       ptr[j] = z[len-j+1];
     MPFR_EXP(c->mpfr) = (long long)(expo(z)+1);
     MPFR_SIGN(c->mpfr) = gsigne(z);
     return c;
   }
   
   
 cmo_list *GEN_to_cmo_list(GEN z)  cmo_list *GEN_to_cmo_list(GEN z)
 {  {
   cmo_list *c;    cmo_list *c;
Line 187  GEN cmo_to_GEN(cmo *c)
Line 253  GEN cmo_to_GEN(cmo *c)
 {  {
   switch ( c->tag ) {    switch ( c->tag ) {
   case CMO_ZERO:    case CMO_ZERO:
       return gen_0;
   case CMO_ZZ: /* int */    case CMO_ZZ: /* int */
     return cmo_zz_to_GEN((cmo_zz *)c);      return cmo_zz_to_GEN((cmo_zz *)c);
     case CMO_BIGFLOAT: /* bigfloat */
       return cmo_bf_to_GEN((cmo_bf *)c);
   default:    default:
     return 0;      return 0;
   }    }
Line 201  cmo *GEN_to_cmo(GEN z)
Line 270  cmo *GEN_to_cmo(GEN z)
   switch ( typ(z) ) {    switch ( typ(z) ) {
   case 1: /* int */    case 1: /* int */
     return (cmo *)GEN_to_cmo_zz(z);      return (cmo *)GEN_to_cmo_zz(z);
     case 2: /* bigfloat */
       return (cmo *)GEN_to_cmo_bf(z);
   case 17: case 18: /* vector */    case 17: case 18: /* vector */
     return (cmo *)GEN_to_cmo_list(z);      return (cmo *)GEN_to_cmo_list(z);
   case 19: /* matrix */    case 19: /* matrix */
Line 210  cmo *GEN_to_cmo(GEN z)
Line 281  cmo *GEN_to_cmo(GEN z)
   }    }
 }  }
   
   struct parif {
     char *name;
     int type;
     GEN (*f)();
   } parif_tab[] = {
     {"erfc",1,gerfc},
     {"factor",1,Z_factor},
     {"isqrt",1,racine},
     {"nextprime",1,nextprime},
     {"det",1,det},
     {"allocatemem",0,(GEN (*)())allocatemoremem},
   };
   
 #define PARI_MAX_AC 64  #define PARI_MAX_AC 64
   
   struct parif *search_parif(char *name)
   {
     int tablen,i;
   
     tablen = sizeof(parif_tab)/sizeof(struct parif);
     for ( i = 0; i < tablen; i++ ) {
       if ( !strcmp(parif_tab[i].name,name) )
         return &parif_tab[i];
     }
     return 0;
   }
   
 int sm_executeFunction()  int sm_executeFunction()
 {  {
     long ltop,lbot;
   int ac,i;    int ac,i;
   cmo_int32 *c;    cmo_int32 *c;
   cmo *av[PARI_MAX_AC];    cmo *av[PARI_MAX_AC];
   cmo *ret;    cmo *ret;
   GEN z,m;    GEN z,m;
     struct parif *parif;
   
     if ( setjmp(GP_DATA->env) ) {
                   printf("sm_executeFunction : an error occured.\n");fflush(stdout);
                   push((cmo*)make_error2(0));
                   return -1;
     }
         cmo_string *func = (cmo_string *)pop();          cmo_string *func = (cmo_string *)pop();
         if(func->tag != CMO_STRING) {          if(func->tag != CMO_STRING) {
                 printf("sm_executeFunction : func->tag is not CMO_STRING");fflush(stdout);                  printf("sm_executeFunction : func->tag is not CMO_STRING");fflush(stdout);
Line 240  int sm_executeFunction()
Line 342  int sm_executeFunction()
     print_cmo(av[i]);      print_cmo(av[i]);
     fprintf(stderr,"\n");      fprintf(stderr,"\n");
   }    }
   if(strcmp(func->s, "factor") == 0) {          if( strcmp( func->s, "exit" ) == 0 )
     z = cmo_to_GEN(av[0]);                  exit(0);
     m = Z_factor(z);  
     ret = GEN_to_cmo(m);    parif =search_parif(func->s);
     if ( !parif ) {
                   push((cmo*)make_error2(0));
                   return -1;
    } else if ( parif->type == 0 ) {
       /* one long int variable */
       int a = cmo_to_int(av[0]);
       a = (int)(*parif->f)(a);
       ret = (cmo *)new_cmo_int32(a);
     push(ret);      push(ret);
                 return 0;                  return 0;
   } else if(strcmp(func->s, "nextprime") == 0) {    } else if ( parif->type == 1 ) {
       /* one variable possibly with prec */
       unsigned long prec;
   
       ltop = avma;
     z = cmo_to_GEN(av[0]);      z = cmo_to_GEN(av[0]);
     m = nextprime(z);      if ( ac == 2 ) {
         prec = cmo_to_int(av[1])*3.32193/32+3;
       } else
         prec = precreal;
       m = (*parif->f)(z,prec);
       lbot = avma;
     ret = GEN_to_cmo(m);      ret = GEN_to_cmo(m);
      // gerepile(ltop,lbot,0);
     push(ret);      push(ret);
                 return 0;                  return 0;
   } else if(strcmp(func->s, "det") == 0) {    } else {
     z = cmo_to_GEN(av[0]);  
     m = det(z);  
     ret = GEN_to_cmo(m);  
     push(ret);  
                 return 0;  
         } else if( strcmp( func->s, "exit" ) == 0 ){  
                 pop();  
                 exit(0);  
                 return 0;  
         } else {  
                 push((cmo*)make_error2(0));                  push((cmo*)make_error2(0));
                 return -1;                  return -1;
         }    }
 }  }
   
 int receive_and_execute_sm_command()  int receive_and_execute_sm_command()
Line 313  int receive()
Line 423  int receive()
   
 int main()  int main()
 {  {
         GC_INIT();    init_gc();
         ox_stderr_init(stderr);          ox_stderr_init(stderr);
         initialize_stack();          initialize_stack();
         init_pari();          init_pari();
Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>