[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.4 and 1.11

version 1.4, 2015/08/17 06:14:37 version 1.11, 2015/08/21 00:53:53
Line 1 
Line 1 
 /*  $OpenXM: OpenXM/src/ox_pari/ox_pari.c,v 1.3 2015/08/17 05:18:35 noro Exp $  */  /*  $OpenXM: OpenXM/src/ox_pari/ox_pari.c,v 1.10 2015/08/20 08:56:30 noro Exp $  */
   
 #include <stdio.h>  #include <stdio.h>
 #include <stdlib.h>  #include <stdlib.h>
Line 26  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_qq *GEN_to_cmo_qq(GEN z);
 cmo_bf *GEN_to_cmo_bf(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);
   cmo_complex *GEN_to_cmo_cmo_complex(GEN z);
   cmo_polynomial_in_one_variable *GEN_to_cmo_up(GEN z);
   cmo_recursive_polynomial *GEN_to_cmo_rp(GEN z);
   
 GEN cmo_to_GEN(cmo *c);  GEN cmo_to_GEN(cmo *c);
   GEN cmo_int32_to_GEN(cmo_int32 *c);
 GEN cmo_zz_to_GEN(cmo_zz *c);  GEN cmo_zz_to_GEN(cmo_zz *c);
   GEN cmo_qq_to_GEN(cmo_qq *c);
 GEN cmo_bf_to_GEN(cmo_bf *c);  GEN cmo_bf_to_GEN(cmo_bf *c);
   GEN cmo_list_to_GEN(cmo_list *c);
   GEN cmo_rp_to_GEN(cmo_recursive_polynomial *c);
   GEN cmo_up_to_GEN(cmo_polynomial_in_one_variable *c);
   GEN cmo_complex_to_GEN(cmo_complex *c);
   
   
 #define INIT_S_SIZE 2048  #define INIT_S_SIZE 2048
 #define EXT_S_SIZE  2048  #define EXT_S_SIZE  2048
   
Line 123  int sm_popCMO()
Line 135  int sm_popCMO()
   return SM_popCMO;    return SM_popCMO;
 }  }
   
 cmo_error2 *make_error2(int code)  cmo_error2 *make_error2(char *message)
 {  {
   return (cmo_error2 *) new_cmo_int32(code);    return new_cmo_error2((cmo *)new_cmo_string(message));
 }  }
   
 int get_i()  int get_i()
Line 136  int get_i()
Line 148  int get_i()
   }else if(c->tag == CMO_ZZ) {    }else if(c->tag == CMO_ZZ) {
     return mpz_get_si(((cmo_zz *)c)->mpz);      return mpz_get_si(((cmo_zz *)c)->mpz);
   }    }
   make_error2(-1);    make_error2("get_i : invalid object");
   return 0;    return 0;
 }  }
   
Line 146  char *get_str()
Line 158  char *get_str()
   if(c->tag == CMO_STRING) {    if(c->tag == CMO_STRING) {
     return ((cmo_string *)c)->s;      return ((cmo_string *)c)->s;
   }    }
   make_error2(-1);    make_error2("get_str : invalid object");
   return "";    return "";
 }  }
   
 int cmo2int(cmo *c)  GEN cmo_int32_to_GEN(cmo_int32 *c)
 {  {
   if(c->tag == CMO_INT32) {    GEN z;
     return ((cmo_int32 *)c)->i;    int i,sgn;
   }else if(c->tag == CMO_ZZ) {  
     return mpz_get_si(((cmo_zz *)c)->mpz);  
   } else if(c->tag == CMO_NULL){  
     return 0;  
   }  
   
   return 0;    i = c->i;
     if ( !i ) return gen_0;
     z = cgeti(3);
     sgn = 1;
     if ( i < 0 ) {
       i = -i;
       sgn = -1;
     }
     z[2] = i;
     setsigne(z,sgn);
     setlgefint(z,lg(z));
     return z;
 }  }
   
 GEN cmo_zz_to_GEN(cmo_zz *c)  GEN cmo_zz_to_GEN(cmo_zz *c)
Line 182  GEN cmo_zz_to_GEN(cmo_zz *c)
Line 200  GEN cmo_zz_to_GEN(cmo_zz *c)
   return z;    return z;
 }  }
   
   GEN cmo_qq_to_GEN(cmo_qq *c)
   {
     GEN z,nm,den;
   
     z = cgetg(3,t_FRAC);
     nm = cmo_zz_to_GEN(new_cmo_zz_set_mpz(mpq_numref(c->mpq)));
     den = cmo_zz_to_GEN(new_cmo_zz_set_mpz(mpq_denref(c->mpq)));
     z[1] = (long)nm;
     z[2] = (long)den;
     return z;
   }
   
 GEN cmo_bf_to_GEN(cmo_bf *c)  GEN cmo_bf_to_GEN(cmo_bf *c)
 {  {
   mpfr_ptr mpfr;    mpfr_ptr mpfr;
Line 203  GEN cmo_bf_to_GEN(cmo_bf *c)
Line 233  GEN cmo_bf_to_GEN(cmo_bf *c)
   return z;    return z;
 }  }
   
   /* list->vector */
   
   GEN cmo_list_to_GEN(cmo_list *c)
   {
     GEN z;
     int i;
     cell *cell;
   
     z = cgetg(c->length+1,t_VEC);
     for ( i = 0, cell = c->head->next; cell != c->head; cell = cell->next, i++ ) {
       z[i+1] = (long)cmo_to_GEN(cell->cmo);
     }
     return z;
   }
   
   GEN cmo_complex_to_GEN(cmo_complex *c)
   {
     GEN z;
   
     z = cgetg(3,t_COMPLEX);
     z[1] = (long)cmo_to_GEN(c->re);
     z[2] = (long)cmo_to_GEN(c->im);
     return z;
   }
   
   GEN cmo_up_to_GEN(cmo_polynomial_in_one_variable *c)
   {
     GEN z;
     int d,i;
     cell *cell;
   
     d = c->head->next->exp;
     z = cgetg(d+3,t_POL);
     setsigne(z,1);
     setvarn(z,c->var);
     setlgef(z,d+3);
     for ( i = 2; i <= d+2; i++ )
       z[i] = (long)gen_0;
     for ( cell = c->head->next; cell != c->head; cell = cell->next ) {
       z[2+cell->exp] = (long)cmo_to_GEN(cell->cmo);
     }
     return z;
   }
   
   cmo_list *current_ringdef;
   
   void register_variables(cmo_list *ringdef)
   {
     current_ringdef = ringdef;
   }
   
   GEN cmo_rp_to_GEN(cmo_recursive_polynomial *c)
   {
     register_variables(c->ringdef);
     switch ( c->coef->tag ) {
     case CMO_ZERO:
     case CMO_NULL:
       return gen_0;
     case CMO_INT32:
       return cmo_int32_to_GEN((cmo_int32 *)c->coef);
     case CMO_ZZ:
       return cmo_zz_to_GEN((cmo_zz *)c->coef);
     case CMO_QQ:
       return cmo_qq_to_GEN((cmo_qq *)c->coef);
     case CMO_POLYNOMIAL_IN_ONE_VARIABLE:
       return cmo_up_to_GEN((cmo_polynomial_in_one_variable *)c->coef);
     default:
       return 0;
     }
   }
   
 cmo_zz *GEN_to_cmo_zz(GEN z)  cmo_zz *GEN_to_cmo_zz(GEN z)
 {  {
   cmo_zz *c;    cmo_zz *c;
Line 214  cmo_zz *GEN_to_cmo_zz(GEN z)
Line 315  cmo_zz *GEN_to_cmo_zz(GEN z)
   return c;    return c;
 }  }
   
   cmo_qq *GEN_to_cmo_qq(GEN z)
   {
     cmo_qq *c;
     GEN num,den;
   
     num = (GEN)z[1];
     den = (GEN)z[2];
     c = new_cmo_qq();
     mpz_import(mpq_numref(c->mpq),lgef(num)-2,1,sizeof(long),0,0,&num[2]);
     mpz_import(mpq_denref(c->mpq),lgef(num)-2,1,sizeof(long),0,0,&den[2]);
     if ( signe(num)*signe(den) < 0 )
       mpz_neg(mpq_numref(c->mpq),mpq_numref(c->mpq));
     return c;
   }
   
   
 cmo_bf *GEN_to_cmo_bf(GEN z)  cmo_bf *GEN_to_cmo_bf(GEN z)
 {  {
   cmo_bf *c;    cmo_bf *c;
Line 248  cmo_list *GEN_to_cmo_list(GEN z)
Line 365  cmo_list *GEN_to_cmo_list(GEN z)
   return c;    return c;
 }  }
   
   cmo_complex *GEN_to_cmo_complex(GEN z)
   {
     cmo_complex *c;
   
     c = new_cmo_complex();
     c->re = GEN_to_cmo((GEN)z[1]);
     c->im = GEN_to_cmo((GEN)z[2]);
     return c;
   }
   
   cmo_polynomial_in_one_variable *GEN_to_cmo_up(GEN z)
   {
     cmo_polynomial_in_one_variable *c;
     int i;
     cmo *coef;
   
     c = new_cmo_polynomial_in_one_variable(varn(z));
     for ( i = lg(z)-1; i >= 2; i-- )
       if ( (GEN)z[i] != gen_0 ) {
         coef = GEN_to_cmo((GEN)z[i]);
         list_append_monomial((cmo_list *)c, coef, i-2);
       }
     return c;
   }
   
   cmo_recursive_polynomial *GEN_to_cmo_rp(GEN z)
   {
     cmo_recursive_polynomial *c;
   
     if ( !signe(z) ) return (cmo_recursive_polynomial *)new_cmo_zero();
     c = new_cmo_recursive_polynomial(current_ringdef,(cmo *)GEN_to_cmo_up(z));
     return c;
   }
   
 GEN cmo_to_GEN(cmo *c)  GEN cmo_to_GEN(cmo *c)
 {  {
   switch ( c->tag ) {    switch ( c->tag ) {
   case CMO_ZERO:    case CMO_ZERO:
     case CMO_NULL:
     return gen_0;      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_COMPLEX: /* complex */
       return cmo_complex_to_GEN((cmo_complex *)c);
     case CMO_IEEE_DOUBLE_FLOAT:
        return dbltor(((cmo_double *)c)->d);
   case CMO_BIGFLOAT: /* bigfloat */    case CMO_BIGFLOAT: /* bigfloat */
     return cmo_bf_to_GEN((cmo_bf *)c);      return cmo_bf_to_GEN((cmo_bf *)c);
     case CMO_LIST:
       return cmo_list_to_GEN((cmo_list *)c);
     case CMO_RECURSIVE_POLYNOMIAL:
       return cmo_rp_to_GEN((cmo_recursive_polynomial *)c);
     case CMO_POLYNOMIAL_IN_ONE_VARIABLE:
       return cmo_up_to_GEN((cmo_polynomial_in_one_variable *)c);
   default:    default:
     return 0;      return 0;
   }    }
Line 265  GEN cmo_to_GEN(cmo *c)
Line 426  GEN cmo_to_GEN(cmo *c)
   
 cmo *GEN_to_cmo(GEN z)  cmo *GEN_to_cmo(GEN z)
 {  {
     char buf[BUFSIZ];
   
   if ( gcmp0(z) )    if ( gcmp0(z) )
     return new_cmo_zero();      return new_cmo_zero();
   switch ( typ(z) ) {    switch ( typ(z) ) {
   case 1: /* int */    case t_INT: /* int */
     return (cmo *)GEN_to_cmo_zz(z);      return (cmo *)GEN_to_cmo_zz(z);
   case 2: /* bigfloat */    case t_REAL: /* bigfloat */
     return (cmo *)GEN_to_cmo_bf(z);      return (cmo *)GEN_to_cmo_bf(z);
   case 17: case 18: /* vector */    case t_FRAC: /* rational number */
       return (cmo *)GEN_to_cmo_qq(z);
     case t_COMPLEX: /* complex */
       return (cmo *)GEN_to_cmo_complex(z);
     case t_POL:
       return (cmo *)GEN_to_cmo_rp(z);
     case t_VEC: case t_COL: /* vector */
     return (cmo *)GEN_to_cmo_list(z);      return (cmo *)GEN_to_cmo_list(z);
   case 19: /* matrix */    case t_MAT: /* matrix */
     return (cmo *)GEN_to_cmo_list(shallowtrans(z));      return (cmo *)GEN_to_cmo_list(shallowtrans(z));
   default:    default:
     return (cmo *)make_error2(typ(z));      sprintf(buf,"GEN_to_cmo : unsupported type=%d",(int)typ(z));
       return (cmo *)make_error2(buf);
   }    }
 }  }
   /* type=1 : num/poly arg, type=2 : matrix arg */
   
 struct parif {  struct parif {
   char *name;    char *name;
Line 327  struct parif {
Line 498  struct parif {
   {"divisors",divisors,1},    {"divisors",divisors,1},
   {"smallfact",smallfact,1},    {"smallfact",smallfact,1},
   
   /* mat/mat */  
   {"adj",adj,1},  
   {"lll",lll,1},  
   {"lllgen",lllgen,1},  
   {"lllgram",lllgram,1},  
   {"lllgramgen",lllgramgen,1},  
   {"lllgramint",lllgramint,1},  
   {"lllgramkerim",lllgramkerim,1},  
   {"lllgramkerimgen",lllgramkerimgen,1},  
   {"lllint",lllint,1},  
   {"lllkerim",lllkerim,1},  
   {"lllkerimgen",lllkerimgen,1},  
   {"trans",gtrans,1},  
   {"eigen",eigen,1},  
   {"hermite",hnf,1},  
   {"mat",gtomat,1},  
   {"matrixqz2",matrixqz2,1},  
   {"matrixqz3",matrixqz3,1},  
   {"hess",hess,1},  
   
   /* mat/poly */  
   {"det",det,1},  
   {"det2",det2,1},  
   
   /* poly/poly */    /* poly/poly */
   {"centerlift",centerlift,1},    {"centerlift",centerlift,1},
   {"content",content,1},    {"content",content,1},
Line 359  struct parif {
Line 506  struct parif {
   {"galois",galois,1},    {"galois",galois,1},
   {"roots",roots,1},    {"roots",roots,1},
   
     /* mat/mat */
     {"adj",adj,2},
     {"lll",lll,2},
     {"lllgen",lllgen,2},
     {"lllgram",lllgram,2},
     {"lllgramgen",lllgramgen,2},
     {"lllgramint",lllgramint,2},
     {"lllgramkerim",lllgramkerim,2},
     {"lllgramkerimgen",lllgramkerimgen,2},
     {"lllint",lllint,2},
     {"lllkerim",lllkerim,2},
     {"lllkerimgen",lllkerimgen,2},
     {"trans",gtrans,2},
     {"eigen",eigen,2},
     {"hermite",hnf,2},
     {"mat",gtomat,2},
     {"matrixqz2",matrixqz2,2},
     {"matrixqz3",matrixqz3,2},
     {"hess",hess,2},
     {"ker",ker,2},
     {"keri",keri,2},
     {"kerint",kerint,2},
     {"kerintg1",kerint1,2},
   
     /* mat/poly */
     {"det",det,2},
     {"det2",det2,2},
   
 };  };
   
 #define PARI_MAX_AC 64  #define PARI_MAX_AC 64
Line 375  struct parif *search_parif(char *name)
Line 550  struct parif *search_parif(char *name)
   return 0;    return 0;
 }  }
   
   int ismatrix(GEN z)
   {
     int len,col,i;
   
     if ( typ(z) != t_VEC ) return 0;
     if ( typ((GEN)z[1]) != t_VEC ) return 0;
     len = lg(z); col = lg((GEN)z[1]);
     for ( i = 2; i < len; i++ )
       if ( lg((GEN)z[i]) != col ) return 0;
     return 1;
   }
   
 int sm_executeFunction()  int sm_executeFunction()
 {  {
   long ltop,lbot;    pari_sp av0;
   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;    struct parif *parif;
     unsigned long prec;
     char buf[BUFSIZ];
   
   if ( setjmp(GP_DATA->env) ) {    if ( setjmp(GP_DATA->env) ) {
     printf("sm_executeFunction : an error occured.\n");fflush(stdout);      sprintf(buf,"sm_executeFunction : an error occured in PARI.");
     push((cmo*)make_error2(0));      push((cmo*)make_error2(buf));
     return -1;      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);      sprintf(buf,"sm_executeFunction : func->tag=%d is not CMO_STRING",func->tag);
     push((cmo*)make_error2(0));      push((cmo*)make_error2(buf));
     return -1;      return -1;
   }    }
   
   c = (cmo_int32 *)pop();    c = (cmo_int32 *)pop();
   ac = c->i;    ac = c->i;
   if ( ac > PARI_MAX_AC ) {    if ( ac > PARI_MAX_AC ) {
     push((cmo*)make_error2(0));      push((cmo*)make_error2("sm_executeFunction : too many arguments"));
     return -1;      return -1;
   }    }
   for ( i = 0; i < ac; i++ ) {    for ( i = 0; i < ac; i++ ) {
     av[i] = (cmo *)pop();      av[i] = (cmo *)pop();
     fprintf(stderr,"arg%d:",i);  //    fprintf(stderr,"arg%d:",i);
     print_cmo(av[i]);  //    print_cmo(av[i]);
     fprintf(stderr,"\n");  //    fprintf(stderr,"\n");
   }    }
   if( strcmp( func->s, "exit" ) == 0 )    if( strcmp( func->s, "exit" ) == 0 )
     exit(0);      exit(0);
   
   parif =search_parif(func->s);    parif =search_parif(func->s);
   if ( !parif ) {    if ( !parif ) {
     push((cmo*)make_error2(0));      sprintf(buf,"%s : not implemented",func->s);
       push((cmo*)make_error2(buf));
     return -1;      return -1;
  } else if ( parif->type == 0 ) {   } else if ( parif->type == 0 ) {
     /* one long int variable */      /* one long int variable */
Line 423  int sm_executeFunction()
Line 613  int sm_executeFunction()
     ret = (cmo *)new_cmo_int32(a);      ret = (cmo *)new_cmo_int32(a);
     push(ret);      push(ret);
     return 0;      return 0;
   } else if ( parif->type == 1 ) {    } else if ( parif->type == 1 || parif->type == 2 ) {
     /* one variable possibly with prec */      /* one number/poly/matrix argument possibly with prec */
     unsigned long prec;      av0 = avma;
   
     ltop = avma;  
     z = cmo_to_GEN(av[0]);      z = cmo_to_GEN(av[0]);
     if ( ac == 2 ) {      prec = ac==2 ? cmo_to_int(av[1])*3.32193/32+3 : precreal;
       prec = cmo_to_int(av[1])*3.32193/32+3;      if ( ismatrix(z) ) {
     } else        int i,len;
       prec = precreal;        len = lg(z);
         for ( i = 1; i < len; i++ )
           settyp(z[i],t_COL);
         settyp(z,t_MAT);
         z = shallowtrans(z);
       }
       printf("input : "); output(z);
     m = (*parif->f)(z,prec);      m = (*parif->f)(z,prec);
     lbot = avma;  
     ret = GEN_to_cmo(m);      ret = GEN_to_cmo(m);
 //    gerepile(ltop,lbot,0);      avma = av0;
     push(ret);      push(ret);
     return 0;      return 0;
   } else {    } else {
     push((cmo*)make_error2(0));      sprintf(buf,"%s : not implemented",func->s);
       push((cmo*)make_error2(buf));
     return -1;      return -1;
   }    }
 }  }
Line 460  int receive_and_execute_sm_command()
Line 654  int receive_and_execute_sm_command()
     break;      break;
   case SM_setMathCap:    case SM_setMathCap:
     pop();      pop();
       break;
     case SM_shutdown:
       exit(0);
     break;      break;
   default:    default:
     printf("receive_and_execute_sm_command : code=%d\n",code);fflush(stdout);      printf("receive_and_execute_sm_command : code=%d\n",code);fflush(stdout);
Legend:
Removed from v.1.4  
changed lines
  Added in v.1.11
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>