| version 1.4, 2001/04/20 02:34:21 |
version 1.25, 2018/03/29 01:32:50 |
|
|
| * 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/pf.c,v 1.3 2000/08/22 05:03:59 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/pf.c,v 1.24 2018/03/28 05:27:22 noro Exp $ |
| */ |
*/ |
| #include "ca.h" |
#include "ca.h" |
| #include "math.h" |
#include "math.h" |
|
|
| #include <alloca.h> |
#include <alloca.h> |
| #endif |
#endif |
| |
|
| double const_pi(),const_e(); |
double const_pi(),const_e(), double_factorial(); |
| |
|
| void make_ihyp(void); |
void make_ihyp(void); |
| void make_hyp(void); |
void make_hyp(void); |
| Line 62 void make_itri(void); |
|
| Line 62 void make_itri(void); |
|
| void make_tri(void); |
void make_tri(void); |
| void make_exp(void); |
void make_exp(void); |
| void simplify_pow(PFINS,Obj *); |
void simplify_pow(PFINS,Obj *); |
| |
FNODE partial_eval(FNODE f); |
| |
|
| 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 Peval_quote(); |
| |
void Pmapat(), Pmap(); |
| |
void Padd_handler(); |
| |
void Plist_handler(); |
| |
void Pclear_handler(); |
| |
|
| struct ftab puref_tab[] = { |
struct ftab puref_tab[] = { |
| {"functor",Pfunctor,1}, |
{"mapat",Pmapat,-99999999}, |
| {"args",Pargs,1}, |
{"map",Pmap,-99999999}, |
| {"funargs",Pfunargs,1}, |
{"functor",Pfunctor,1}, |
| {"register_handler",Pregister_handler,1}, |
{"args",Pargs,1}, |
| {"call",Pcall,2}, |
{"funargs",Pfunargs,1}, |
| {"vtype",Pvtype,1}, |
{"funargs_ext",Pfunargs_ext,1}, |
| {"deval",Pdeval,1}, |
{"register_handler",Pregister_handler,1}, |
| {"eval_quote",Peval_quote,1}, |
{"add_handler",Padd_handler,2}, |
| {0,0,0}, |
{"list_handler",Plist_handler,1}, |
| |
{"clear_handler",Pclear_handler,1}, |
| |
{"call",Pcall,2}, |
| |
{"vtype",Pvtype,1}, |
| |
{"deval",Pdeval,1}, |
| |
{"eval_quote",Peval_quote,-2}, |
| |
{0,0,0}, |
| }; |
}; |
| |
|
| #if PARI |
int mp_pi(),mp_e(); |
| int p_pi(),p_e(); |
int mp_exp(), mp_log(), mp_pow(); |
| int p_log(),p_exp(),p_pow(); |
int mp_sin(),mp_cos(),mp_tan(),mp_asin(),mp_acos(),mp_atan(); |
| int p_sin(),p_cos(),p_tan(),p_asin(),p_acos(),p_atan(); |
int mp_sinh(),mp_cosh(),mp_tanh(),mp_asinh(),mp_acosh(),mp_atanh(); |
| int p_sinh(),p_cosh(),p_tanh(),p_asinh(),p_acosh(),p_atanh(); |
int mp_factorial(),mp_abs(); |
| #else |
|
| int p_pi,p_e; |
|
| int p_log,p_exp,p_pow; |
|
| int p_sin,p_cos,p_tan,p_asin,p_acos,p_atan; |
|
| int p_sinh,p_cosh,p_tanh,p_asinh,p_acosh,p_atanh; |
|
| #endif |
|
| |
|
| static V *uarg,*darg; |
static V *uarg,*darg; |
| static P x,y; |
static P x,y; |
| Line 99 static PF sindef,cosdef,tandef; |
|
| Line 104 static PF sindef,cosdef,tandef; |
|
| static PF asindef,acosdef,atandef; |
static PF asindef,acosdef,atandef; |
| static PF sinhdef,coshdef,tanhdef; |
static PF sinhdef,coshdef,tanhdef; |
| static PF asinhdef,acoshdef,atanhdef; |
static PF asinhdef,acoshdef,atanhdef; |
| |
static PF factorialdef,absdef; |
| |
|
| #define OALLOC(p,n) ((p)=(Obj *)CALLOC((n),sizeof(Obj))) |
#define OALLOC(p,n) ((p)=(Obj *)CALLOC((n),sizeof(Obj))) |
| |
|
| double const_pi() { return 3.14159265358979323846264338327950288; } |
double const_pi() { return 3.14159265358979323846264338327950288; } |
| double const_e() { return 2.718281828459045235360287471352662497; } |
double const_e() { return 2.718281828459045235360287471352662497; } |
| |
|
| |
double double_factorial(double x) |
| |
{ |
| |
return tgamma(x+1); |
| |
} |
| |
|
| |
int simplify_elemfunc_ins(); |
| |
int simplify_factorial_ins(); |
| |
int simplify_abs_ins(); |
| |
|
| void pf_init() { |
void pf_init() { |
| uarg = (V *)CALLOC(1,sizeof(V)); |
uarg = (V *)CALLOC(1,sizeof(V)); |
| uarg[0] = &oVAR[26]; MKV(uarg[0],x); |
uarg[0] = &oVAR[26]; MKV(uarg[0],x); |
| |
|
| darg = (V *)CALLOC(2,sizeof(V)); |
darg = (V *)CALLOC(2,sizeof(V)); |
| darg[0] = &oVAR[26]; |
darg[0] = &oVAR[26]; |
| darg[1] = &oVAR[27]; MKV(darg[1],y); |
darg[1] = &oVAR[27]; MKV(darg[1],y); |
| |
|
| mkpf("@pi",0,0,0,(int (*)())p_pi,const_pi,0,&pidef); |
mkpf("@pi",0,0,0,(int (*)())mp_pi,const_pi,simplify_elemfunc_ins,&pidef); |
| mkpf("@e",0,0,0,(int (*)())p_e,const_e,0,&edef); |
mkpf("@e",0,0,0,(int (*)())mp_e,const_e,simplify_elemfunc_ins,&edef); |
| |
|
| mkpf("log",0,1,uarg,(int (*)())p_log,log,0,&logdef); |
mkpf("factorial",0,1,uarg,(int (*)())mp_factorial,double_factorial,simplify_factorial_ins,&factorialdef); |
| mkpf("exp",0,1,uarg,(int (*)())p_exp,exp,0,&expdef); |
mkpf("abs",0,1,uarg,(int (*)())mp_abs,fabs,simplify_abs_ins,&absdef); |
| mkpf("pow",0,2,darg,(int (*)())p_pow,pow,(int (*)())simplify_pow,&powdef); |
|
| |
|
| mkpf("sin",0,1,uarg,(int (*)())p_sin,sin,0,&sindef); |
mkpf("log",0,1,uarg,(int (*)())mp_log,log,simplify_elemfunc_ins,&logdef); |
| mkpf("cos",0,1,uarg,(int (*)())p_cos,cos,0,&cosdef); |
mkpf("exp",0,1,uarg,(int (*)())mp_exp,exp,simplify_elemfunc_ins,&expdef); |
| mkpf("tan",0,1,uarg,(int (*)())p_tan,tan,0,&tandef); |
mkpf("pow",0,2,darg,(int (*)())mp_pow,pow,(int (*)())simplify_pow,&powdef); |
| mkpf("asin",0,1,uarg,(int (*)())p_asin,asin,0,&asindef); |
|
| mkpf("acos",0,1,uarg,(int (*)())p_acos,acos,0,&acosdef); |
|
| mkpf("atan",0,1,uarg,(int (*)())p_atan,atan,0,&atandef); |
|
| |
|
| mkpf("sinh",0,1,uarg,(int (*)())p_sinh,sinh,0,&sinhdef); |
mkpf("sin",0,1,uarg,(int (*)())mp_sin,sin,simplify_elemfunc_ins,&sindef); |
| mkpf("cosh",0,1,uarg,(int (*)())p_cosh,cosh,0,&coshdef); |
mkpf("cos",0,1,uarg,(int (*)())mp_cos,cos,simplify_elemfunc_ins,&cosdef); |
| mkpf("tanh",0,1,uarg,(int (*)())p_tanh,tanh,0,&tanhdef); |
mkpf("tan",0,1,uarg,(int (*)())mp_tan,tan,simplify_elemfunc_ins,&tandef); |
| #if !defined(VISUAL) |
mkpf("asin",0,1,uarg,(int (*)())mp_asin,asin,simplify_elemfunc_ins,&asindef); |
| mkpf("asinh",0,1,uarg,(int (*)())p_asinh,asinh,0,&asinhdef); |
mkpf("acos",0,1,uarg,(int (*)())mp_acos,acos,simplify_elemfunc_ins,&acosdef); |
| mkpf("acosh",0,1,uarg,(int (*)())p_acosh,acosh,0,&acoshdef); |
mkpf("atan",0,1,uarg,(int (*)())mp_atan,atan,simplify_elemfunc_ins,&atandef); |
| mkpf("atanh",0,1,uarg,(int (*)())p_atanh,atanh,0,&atanhdef); |
|
| |
mkpf("sinh",0,1,uarg,(int (*)())mp_sinh,sinh,simplify_elemfunc_ins,&sinhdef); |
| |
mkpf("cosh",0,1,uarg,(int (*)())mp_cosh,cosh,simplify_elemfunc_ins,&coshdef); |
| |
mkpf("tanh",0,1,uarg,(int (*)())mp_tanh,tanh,simplify_elemfunc_ins,&tanhdef); |
| |
#if !defined(VISUAL) && !defined(__MINGW32__) |
| |
mkpf("asinh",0,1,uarg,(int (*)())mp_asinh,asinh,simplify_elemfunc_ins,&asinhdef); |
| |
mkpf("acosh",0,1,uarg,(int (*)())mp_acosh,acosh,simplify_elemfunc_ins,&acoshdef); |
| |
mkpf("atanh",0,1,uarg,(int (*)())mp_atanh,atanh,simplify_elemfunc_ins,&atanhdef); |
| #endif |
#endif |
| make_exp(); |
make_exp(); |
| make_tri(); |
make_tri(); |
| make_itri(); |
make_itri(); |
| make_hyp(); |
make_hyp(); |
| #if !defined(VISUAL) |
#if !defined(VISUAL) && !defined(__MINGW32__) |
| make_ihyp(); |
make_ihyp(); |
| #endif |
#endif |
| } |
} |
| |
|
| void make_exp() { |
void make_exp() { |
| V v; |
V v; |
| P u,vexp,vlog,vpow; |
P u,vexp,vlog,vpow; |
| Obj *args; |
Obj *args; |
| |
|
| mkpfins(expdef,uarg,&v); MKV(v,vexp); |
mkpfins(expdef,uarg,&v); MKV(v,vexp); |
| mkpfins(powdef,darg,&v); MKV(v,vpow); |
mkpfins(powdef,darg,&v); MKV(v,vpow); |
| mkpfins(logdef,uarg,&v); MKV(v,vlog); |
mkpfins(logdef,uarg,&v); MKV(v,vlog); |
| |
|
| /* d/dx(log(x)) = 1/x */ |
/* d/dx(log(x)) = 1/x */ |
| OALLOC(logdef->deriv,1); divr(CO,(Obj)ONE,(Obj)x,&logdef->deriv[0]); |
OALLOC(logdef->deriv,1); divr(CO,(Obj)ONE,(Obj)x,&logdef->deriv[0]); |
| |
|
| /* d/dx(exp(x)) = exp(x) */ |
/* d/dx(exp(x)) = exp(x) */ |
| OALLOC(expdef->deriv,1); expdef->deriv[0] = (Obj)vexp; |
OALLOC(expdef->deriv,1); expdef->deriv[0] = (Obj)vexp; |
| |
|
| /* d/dy(x^y) = log(x)*x^y */ |
/* d/dy(x^y) = log(x)*x^y */ |
| OALLOC(powdef->deriv,2); mulp(CO,vpow,vlog,(P *)&powdef->deriv[1]); |
OALLOC(powdef->deriv,2); mulp(CO,vpow,vlog,(P *)&powdef->deriv[1]); |
| |
|
| /* d/dx(x^y) = y*x^(y-1) */ |
/* d/dx(x^y) = y*x^(y-1) */ |
| args = (Obj *)ALLOCA(2*sizeof(Obj)); |
args = (Obj *)ALLOCA(2*sizeof(Obj)); |
| args[0] = (Obj)x; subp(CO,y,(P)ONE,(P *)&args[1]); |
args[0] = (Obj)x; subp(CO,y,(P)ONE,(P *)&args[1]); |
| _mkpfins(powdef,args,&v); MKV(v,u); |
_mkpfins(powdef,args,&v); MKV(v,u); |
| mulr(CO,(Obj)u,(Obj)y,&powdef->deriv[0]); |
mulr(CO,(Obj)u,(Obj)y,&powdef->deriv[0]); |
| } |
} |
| |
|
| void make_tri() { |
void make_tri() { |
| V v; |
V v; |
| P vcos,vsin,vtan,t; |
P vcos,vsin,vtan,t; |
| |
|
| mkpfins(cosdef,uarg,&v); MKV(v,vcos); |
mkpfins(cosdef,uarg,&v); MKV(v,vcos); |
| mkpfins(sindef,uarg,&v); MKV(v,vsin); |
mkpfins(sindef,uarg,&v); MKV(v,vsin); |
| mkpfins(tandef,uarg,&v); MKV(v,vtan); |
mkpfins(tandef,uarg,&v); MKV(v,vtan); |
| |
|
| /* d/dx(sin(x)) = cos(x) */ |
/* d/dx(sin(x)) = cos(x) */ |
| OALLOC(sindef->deriv,1); sindef->deriv[0] = (Obj)vcos; |
OALLOC(sindef->deriv,1); sindef->deriv[0] = (Obj)vcos; |
| |
|
| /* d/dx(cos(x)) = -sin(x) */ |
/* d/dx(cos(x)) = -sin(x) */ |
| OALLOC(cosdef->deriv,1); chsgnp(vsin,(P *)&cosdef->deriv[0]); |
OALLOC(cosdef->deriv,1); chsgnp(vsin,(P *)&cosdef->deriv[0]); |
| |
|
| /* d/dx(tan(x)) = 1+tan(x)^2 */ |
/* d/dx(tan(x)) = 1+tan(x)^2 */ |
| OALLOC(tandef->deriv,1); |
OALLOC(tandef->deriv,1); |
| mulr(CO,(Obj)vtan,(Obj)vtan,(Obj *)&t); addp(CO,(P)ONE,t,(P *)&tandef->deriv[0]); |
mulr(CO,(Obj)vtan,(Obj)vtan,(Obj *)&t); addp(CO,(P)ONE,t,(P *)&tandef->deriv[0]); |
| } |
} |
| |
|
| void make_itri() { |
void make_itri() { |
| P t,xx; |
P t,xx; |
| Q mtwo; |
Q mtwo; |
| V v; |
V v; |
| Obj *args; |
Obj *args; |
| |
|
| /* d/dx(asin(x)) = (1-x^2)^(-1/2) */ |
/* d/dx(asin(x)) = (1-x^2)^(-1/2) */ |
| OALLOC(asindef->deriv,1); |
OALLOC(asindef->deriv,1); |
| args = (Obj *)ALLOCA(2*sizeof(Obj)); |
args = (Obj *)ALLOCA(2*sizeof(Obj)); |
| mulp(CO,x,x,&xx); subp(CO,(P)ONE,xx,(P *)&args[0]); |
mulp(CO,x,x,&xx); subp(CO,(P)ONE,xx,(P *)&args[0]); |
| STOQ(-2,mtwo); divq(ONE,mtwo,(Q *)&args[1]); |
STOQ(-2,mtwo); divq(ONE,mtwo,(Q *)&args[1]); |
| _mkpfins(powdef,args,&v); MKV(v,t); |
_mkpfins(powdef,args,&v); MKV(v,t); |
| asindef->deriv[0] = (Obj)t; |
asindef->deriv[0] = (Obj)t; |
| |
|
| /* d/dx(acos(x)) = -(1-x^2)^(-1/2) */ |
/* d/dx(acos(x)) = -(1-x^2)^(-1/2) */ |
| OALLOC(acosdef->deriv,1); chsgnp((P)asindef->deriv[0],(P *)&acosdef->deriv[0]); |
OALLOC(acosdef->deriv,1); chsgnp((P)asindef->deriv[0],(P *)&acosdef->deriv[0]); |
| |
|
| /* d/dx(atan(x)) = 1/(x^2+1) */ |
/* d/dx(atan(x)) = 1/(x^2+1) */ |
| OALLOC(atandef->deriv,1); |
OALLOC(atandef->deriv,1); |
| addp(CO,(P)ONE,xx,&t); divr(CO,(Obj)ONE,(Obj)t,&atandef->deriv[0]); |
addp(CO,(P)ONE,xx,&t); divr(CO,(Obj)ONE,(Obj)t,&atandef->deriv[0]); |
| } |
} |
| |
|
| void make_hyp() { |
void make_hyp() { |
| V v; |
V v; |
| P vcosh,vsinh,vtanh,t; |
P vcosh,vsinh,vtanh,t; |
| |
|
| mkpfins(coshdef,uarg,&v); MKV(v,vcosh); |
mkpfins(coshdef,uarg,&v); MKV(v,vcosh); |
| mkpfins(sinhdef,uarg,&v); MKV(v,vsinh); |
mkpfins(sinhdef,uarg,&v); MKV(v,vsinh); |
| mkpfins(tanhdef,uarg,&v); MKV(v,vtanh); |
mkpfins(tanhdef,uarg,&v); MKV(v,vtanh); |
| |
|
| /* d/dx(sinh(x)) = cosh(x) */ |
/* d/dx(sinh(x)) = cosh(x) */ |
| OALLOC(sinhdef->deriv,1); sinhdef->deriv[0] = (Obj)vcosh; |
OALLOC(sinhdef->deriv,1); sinhdef->deriv[0] = (Obj)vcosh; |
| |
|
| /* d/dx(cosh(x)) = sinh(x) */ |
/* d/dx(cosh(x)) = sinh(x) */ |
| OALLOC(coshdef->deriv,1); coshdef->deriv[0] = (Obj)vsinh; |
OALLOC(coshdef->deriv,1); coshdef->deriv[0] = (Obj)vsinh; |
| |
|
| /* d/dx(tanh(x)) = 1-tanh(x)^2 */ |
/* d/dx(tanh(x)) = 1-tanh(x)^2 */ |
| OALLOC(tanhdef->deriv,1); |
OALLOC(tanhdef->deriv,1); |
| mulr(CO,(Obj)vtanh,(Obj)vtanh,(Obj *)&t); subp(CO,(P)ONE,t,(P *)&tanhdef->deriv[0]); |
mulr(CO,(Obj)vtanh,(Obj)vtanh,(Obj *)&t); subp(CO,(P)ONE,t,(P *)&tanhdef->deriv[0]); |
| } |
} |
| |
|
| void make_ihyp() { |
void make_ihyp() { |
| P t,xx; |
P t,xx; |
| Q mtwo; |
Q mtwo; |
| V v; |
V v; |
| Obj *args; |
Obj *args; |
| |
|
| /* d/dx(asinh(x)) = (1+x^2)^(-1/2) */ |
/* d/dx(asinh(x)) = (1+x^2)^(-1/2) */ |
| OALLOC(asinhdef->deriv,1); |
OALLOC(asinhdef->deriv,1); |
| args = (Obj *)ALLOCA(2*sizeof(Obj)); |
args = (Obj *)ALLOCA(2*sizeof(Obj)); |
| mulp(CO,x,x,&xx); addp(CO,(P)ONE,xx,(P *)&args[0]); |
mulp(CO,x,x,&xx); addp(CO,(P)ONE,xx,(P *)&args[0]); |
| STOQ(-2,mtwo); divq(ONE,mtwo,(Q *)&args[1]); |
STOQ(-2,mtwo); divq(ONE,mtwo,(Q *)&args[1]); |
| _mkpfins(powdef,args,&v); MKV(v,t); |
_mkpfins(powdef,args,&v); MKV(v,t); |
| asinhdef->deriv[0] = (Obj)t; |
asinhdef->deriv[0] = (Obj)t; |
| |
|
| /* d/dx(acosh(x)) = (x^2-1)^(-1/2) */ |
/* d/dx(acosh(x)) = (x^2-1)^(-1/2) */ |
| OALLOC(acoshdef->deriv,1); |
OALLOC(acoshdef->deriv,1); |
| subp(CO,xx,(P)ONE,(P *)&args[0]); |
subp(CO,xx,(P)ONE,(P *)&args[0]); |
| _mkpfins(powdef,args,&v); MKV(v,t); |
_mkpfins(powdef,args,&v); MKV(v,t); |
| acoshdef->deriv[0] = (Obj)t; |
acoshdef->deriv[0] = (Obj)t; |
| |
|
| /* d/dx(atanh(x)) = 1/(1-x^2) */ |
/* d/dx(atanh(x)) = 1/(1-x^2) */ |
| OALLOC(atanhdef->deriv,1); |
OALLOC(atanhdef->deriv,1); |
| subp(CO,(P)ONE,xx,&t); divr(CO,(Obj)ONE,(Obj)t,&atanhdef->deriv[0]); |
subp(CO,(P)ONE,xx,&t); divr(CO,(Obj)ONE,(Obj)t,&atanhdef->deriv[0]); |
| } |
} |
| |
|
| void mkpow(vl,a,e,r) |
void mkpow(vl,a,e,r) |
|
|
| Obj e; |
Obj e; |
| Obj *r; |
Obj *r; |
| { |
{ |
| PFINS ins; |
PFINS ins; |
| PFAD ad; |
PFAD ad; |
| |
|
| ins = (PFINS)CALLOC(1,sizeof(PF)+2*sizeof(struct oPFAD)); |
ins = (PFINS)CALLOC(1,sizeof(PF)+2*sizeof(struct oPFAD)); |
| ins->pf = powdef; ad = ins->ad; |
ins->pf = powdef; ad = ins->ad; |
| ad[0].d = 0; ad[0].arg = a; ad[1].d = 0; ad[1].arg = e; |
ad[0].d = 0; ad[0].arg = a; ad[1].d = 0; ad[1].arg = e; |
| simplify_ins(ins,r); |
simplify_ins(ins,r); |
| } |
} |
| |
|
| |
extern int evalef; |
| |
|
| void simplify_pow(ins,rp) |
void simplify_pow(ins,rp) |
| PFINS ins; |
PFINS ins; |
| Obj *rp; |
Obj *rp; |
| { |
{ |
| PF pf; |
PF pf; |
| PFAD ad; |
PFAD ad; |
| Obj a0,a1; |
Obj a0,a1; |
| V v; |
V v; |
| P t; |
P t; |
| |
|
| pf = ins->pf; ad = ins->ad; a0 = ad[0].arg; a1 = ad[1].arg; |
if ( evalef ) { |
| if ( !a1 ) |
simplify_elemfunc_ins(ins,rp); |
| *rp = (Obj)ONE; |
return; |
| else if ( !a0 ) |
} |
| *rp = 0; |
pf = ins->pf; ad = ins->ad; a0 = ad[0].arg; a1 = ad[1].arg; |
| else if ( NUM(a1) && INT(a1) ) |
if ( !a1 ) |
| arf_pwr(CO,a0,a1,rp); |
*rp = (Obj)ONE; |
| else { |
else if ( !a0 ) { |
| instov(ins,&v); MKV(v,t); *rp = (Obj)t; |
if ( RATN(a1) && SGN((Q)a1)>0 ) |
| } |
*rp = 0; |
| |
else if ( RATN(a1) && SGN((Q)a1) < 0 ) |
| |
error("simplify_pow : division by 0"); |
| |
else { |
| |
instoobj(ins,rp); |
| |
} |
| |
} else if ( NUM(a1) && INT(a1) ) |
| |
arf_pwr(CO,a0,a1,rp); |
| |
else { |
| |
instoobj(ins,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; |
| P *rp; |
P *rp; |
| { |
{ |
| P p; |
P p; |
| FUNC t; |
FUNC t; |
| PF pf; |
PF pf; |
| PFINS ins; |
PFINS ins; |
| |
|
| p = (P)ARG0(arg); |
p = (P)ARG0(arg); |
| if ( !ISPFINS(p) ) |
if ( !ISPFINS(p) ) |
| *rp = 0; |
*rp = 0; |
| 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); |
| } |
} |
| } |
} |
| |
|
| void Pargs(arg,rp) |
void Pargs(arg,rp) |
| NODE arg; |
NODE arg; |
| LIST *rp; |
LIST *rp; |
| { |
{ |
| P p; |
P p; |
| PF pf; |
PF pf; |
| PFAD ad; |
PFAD ad; |
| PFINS ins; |
PFINS ins; |
| NODE n,n0; |
NODE n,n0; |
| int i; |
int i; |
| |
|
| p = (P)ARG0(arg); |
p = (P)ARG0(arg); |
| if ( !ISPFINS(p) ) |
if ( !ISPFINS(p) ) |
| *rp = 0; |
*rp = 0; |
| else { |
else { |
| ins = (PFINS)VR(p)->priv; ad = ins->ad; pf = ins->pf; |
ins = (PFINS)VR(p)->priv; ad = ins->ad; pf = ins->pf; |
| for ( i = 0, n0 = 0; i < pf->argc; i++ ) { |
for ( i = 0, n0 = 0; i < pf->argc; i++ ) { |
| NEXTNODE(n0,n); BDY(n) = (pointer)ad[i].arg; |
NEXTNODE(n0,n); BDY(n) = (pointer)ad[i].arg; |
| } |
} |
| if ( n0 ) |
if ( n0 ) |
| NEXT(n) = 0; |
NEXT(n) = 0; |
| MKLIST(*rp,n0); |
MKLIST(*rp,n0); |
| } |
} |
| } |
} |
| |
|
| void Pfunargs(arg,rp) |
void Pfunargs(arg,rp) |
| NODE arg; |
NODE arg; |
| LIST *rp; |
LIST *rp; |
| { |
{ |
| P p; |
P p; |
| P f; |
P f; |
| FUNC t; |
FUNC t; |
| PF pf; |
PF pf; |
| PFINS ins; |
PFINS ins; |
| PFAD ad; |
PFAD ad; |
| NODE n,n0; |
NODE n,n0; |
| int i; |
int i; |
| |
|
| p = (P)ARG0(arg); |
p = (P)ARG0(arg); |
| if ( !ISPFINS(p) ) |
if ( !ISPFINS(p) ) |
| *rp = 0; |
*rp = 0; |
| 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; |
| } |
} |
| NEXT(n) = 0; |
NEXT(n) = 0; |
| MKLIST(*rp,n0); |
MKLIST(*rp,n0); |
| } |
} |
| } |
} |
| |
|
| |
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; |
| { |
{ |
| P p; |
P p; |
| |
|
| p = (P)ARG0(arg); |
p = (P)ARG0(arg); |
| if ( !p || ID(p) != O_P ) |
if ( !p || ID(p) != O_P ) |
| *rp = 0; |
*rp = 0; |
| else |
else |
| 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; |
| Q *rp; |
Q *rp; |
| { |
{ |
| P p; |
P p; |
| V v; |
V v; |
| FUNC func; |
NODE n; |
| |
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; |
| error("register_hanlder : invalid argument"); |
return; |
| v = VR(p); |
} else if ( OID(p) != 2 ) |
| if ( (int)v->attr != V_SR ) |
error("register_hanlder : invalid argument"); |
| error("register_hanlder : no such function"); |
v = VR(p); |
| else { |
if ( (int)v->attr != V_SR ) |
| func = (FUNC)v->priv; |
error("register_hanlder : no such function"); |
| if ( func->argc ) |
else { |
| error("register_hanlder : the function must be with no argument"); |
func = (FUNC)v->priv; |
| else { |
if ( func->argc ) |
| registered_handler = func; |
error("register_hanlder : the function must be with no argument"); |
| *rp = ONE; |
else { |
| } |
MKNODE(n,(pointer)func,user_int_handler); |
| } |
user_int_handler = n; |
| |
*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; |
| |
|
| p = (P)ARG0(arg); |
asir_assert(ARG0(arg),O_STR,"add_handler"); |
| if ( !p || OID(p) != 2 ) |
name = BDY((STRING)ARG0(arg)); |
| error("call : invalid argument"); |
p = (P)ARG1(arg); |
| v = VR(p); |
if ( !strcmp(name,"intr") ) |
| if ( (int)v->attr != V_SR ) |
hlistp = &user_int_handler; |
| error("call : no such function"); |
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; |
| |
} |
| |
} |
| |
|
| else |
void Plist_handler(arg,rp) |
| *rp = (Obj)bevalf((FUNC)v->priv,BDY((LIST)ARG1(arg))); |
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; |
| |
NODE n,n1; |
| |
LIST list; |
| |
VECT vect; |
| |
pointer *a; |
| |
int len,i; |
| |
|
| |
p = (P)ARG0(arg); |
| |
if ( !p || OID(p) != 2 ) |
| |
error("call : invalid argument"); |
| |
v = VR(p); |
| |
if ( (int)v->attr != V_SR ) |
| |
error("call : no such function"); |
| |
else { |
| |
list = (LIST) ARG1(arg); |
| |
if ( list ) { |
| |
switch (OID(list)) { |
| |
case O_VECT: |
| |
vect = (VECT)list; len = vect->len; a = BDY(vect); |
| |
for ( i = len - 1, n = 0; i >= 0; i-- ) { |
| |
MKNODE(n1,a[i],n); n = n1; |
| |
} |
| |
MKLIST(list,n); |
| |
/* falling next case */ |
| |
case O_LIST: |
| |
*rp = (Obj)bevalf_with_opts((FUNC)v->priv,BDY(list),current_option); |
| |
return; |
| |
default: |
| |
break; |
| |
} |
| |
} |
| |
error("call : invalid argument"); |
| |
} |
| |
} |
| |
|
| |
/* 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; |
| |
NODE option; |
| |
|
| |
option = current_option; |
| |
|
| |
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_with_opts(f,node,option); |
| |
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_with_opts(f,r0,option); |
| |
} |
| |
*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_with_opts(f,r0,option); |
| |
} |
| |
*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_with_opts(f,r0,option); |
| |
} |
| |
if ( t0 ) |
| |
NEXT(t) = 0; |
| |
MKLIST(rl,t0); |
| |
*rp = (Obj)rl; |
| |
break; |
| |
default: |
| |
*rp = bevalf_with_opts(f,node,option); |
| |
break; |
| |
} |
| |
} |
| |
|
| |
/* An implementation of 'map' as builtin function. */ |
| |
void Pmap(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; |
| |
Obj iter; |
| |
pointer val; |
| |
NODE option; |
| |
|
| |
option = current_option; |
| |
|
| |
if ( argc(arg) < 2 ) |
| |
error("mapat : too few arguments"); |
| |
|
| |
fpoly = (P)ARG0(arg); |
| |
if ( !fpoly || OID(fpoly) != O_P ) |
| |
error("map : invalid function specification"); |
| |
fvar = VR(fpoly); |
| |
if ( fvar->attr != (pointer)V_SR || !(f=(FUNC)fvar->priv) ) |
| |
error("map : invalid function specification"); |
| |
|
| |
node = NEXT(arg); |
| |
len = length(node); |
| |
if ( 0 >= len ) |
| |
error("evalmapf : invalid position"); |
| |
r0 = 0; |
| |
NEXTNODE(r0,r); |
| |
iter = BDY(node); rest = NEXT(node); |
| |
if ( !iter ) { |
| |
*rp = bevalf_with_opts(f,node,option); |
| |
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_with_opts(f,r0,option); |
| |
} |
| |
*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_with_opts(f,r0,option); |
| |
} |
| |
*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_with_opts(f,r0,option); |
| |
} |
| |
if ( t0 ) |
| |
NEXT(t) = 0; |
| |
MKLIST(rl,t0); |
| |
*rp = (Obj)rl; |
| |
break; |
| |
default: |
| |
*rp = bevalf_with_opts(f,node,option); |
| |
break; |
| |
} |
| |
} |
| |
|
| void Pdeval(arg,rp) |
void Pdeval(arg,rp) |
| NODE arg; |
NODE arg; |
| Obj *rp; |
Obj *rp; |
| { |
{ |
| asir_assert(ARG0(arg),O_R,"deval"); |
asir_assert(ARG0(arg),O_R,"deval"); |
| devalr(CO,(Obj)ARG0(arg),rp); |
devalr(CO,(Obj)ARG0(arg),rp); |
| } |
} |
| |
|
| void Peval_quote(arg,rp) |
void Peval_quote(arg,rp) |
| NODE arg; |
NODE arg; |
| Obj *rp; |
Obj *rp; |
| { |
{ |
| asir_assert(ARG0(arg),O_QUOTE,"eval_quote"); |
FNODE a; |
| *rp = eval((FNODE)BDY((QUOTE)ARG0(arg))); |
QUOTE q; |
| |
Obj f; |
| |
|
| |
f = (Obj)ARG0(arg); |
| |
if ( !f || OID(f) != O_QUOTE ) { |
| |
*rp = f; |
| |
return; |
| |
} |
| |
if ( argc(arg) == 2 && ARG1(arg) ) { |
| |
a = partial_eval((FNODE)BDY((QUOTE)ARG0(arg))); |
| |
MKQUOTE(q,a); |
| |
*rp = (Obj)q; |
| |
} else |
| |
*rp = eval((FNODE)BDY((QUOTE)ARG0(arg))); |
| } |
} |