version 1.8, 2001/07/05 09:26:43 |
version 1.14, 2003/02/14 22:29:07 |
|
|
* 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.7 2000/12/22 09:58:32 saito Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/parif.c,v 1.13 2003/01/28 09:03:06 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
|
#if PARI |
#if defined(PARI) |
#include "genpari.h" |
#include "genpari.h" |
|
|
extern long prec; |
extern long prec; |
Line 60 void patori_i(GEN,N *); |
|
Line 60 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 *); |
|
|
|
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); |
void asir_cgiv(GEN); |
|
|
Line 70 void Psetprecword(); |
|
Line 71 void Psetprecword(); |
|
struct ftab pari_tab[] = { |
struct ftab pari_tab[] = { |
{"eval",Peval,-2}, |
{"eval",Peval,-2}, |
{"setprec",Psetprec,-1}, |
{"setprec",Psetprec,-1}, |
|
{"todouble",Ptodouble,1}, |
#if defined(INTERVAL) || 1 |
#if defined(INTERVAL) || 1 |
{"setprecword",Psetprecword,-1}, |
{"setprecword",Psetprecword,-1}, |
#endif |
#endif |
|
|
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; |
|
|
GEN a,v; |
GEN a,v; |
long ltop,lbot; |
long ltop,lbot; |
pointer r; |
pointer r; |
int ac,opt; |
int ac,opt,intarg,ret; |
char buf[BUFSIZ]; |
char buf[BUFSIZ]; |
|
Q q; |
GEN (*dmy)(); |
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 ( !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; |
} |
} |
if ( ac == 1 ) |
if ( ac == 1 ) |
opt = 0; |
opt = 0; |
|
|
|
|
default: |
default: |
error("evalparif : not implemented yet."); |
error("evalparif : not implemented yet."); |
|
/* NOTREACHED */ |
|
return 0; |
} |
} |
} |
} |
|
|
Line 287 struct pariftab { |
|
Line 346 struct pariftab { |
|
*/ |
*/ |
|
|
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 326 struct pariftab pariftab[] = { |
|
Line 386 struct pariftab pariftab[] = { |
|
{"indsort",indexsort,1}, |
{"indsort",indexsort,1}, |
{"initalg",initalg,1}, |
{"initalg",initalg,1}, |
{"isfund",gisfundamental,1}, |
{"isfund",gisfundamental,1}, |
{"isprime",gisprime,1}, |
{"isprime",gisprime,2}, |
{"ispsp",gispsp,1}, |
{"ispsp",gispsp,1}, |
{"isqrt",racine,1}, |
{"isqrt",racine,1}, |
{"issqfree",gissquarefree,1}, |
{"issqfree",gissquarefree,1}, |
Line 337 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 354 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 410 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}, |
{"factorint",factorint,2}, |
{0,0,0}, |
{0,0,0}, |
}; |
}; |