version 1.7, 2004/08/18 00:50:37 |
version 1.15, 2018/03/29 01:32:54 |
|
|
* 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/parse/puref.c,v 1.6 2004/03/11 09:52:56 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/puref.c,v 1.14 2018/03/28 05:27:22 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
|
|
void instoobj(PFINS ins,Obj *rp); |
|
|
NODE pflist; |
NODE pflist; |
|
|
void searchpf(char *name,FUNC *fp) |
void searchpf(char *name,FUNC *fp) |
{ |
{ |
NODE node; |
NODE node; |
PF pf; |
PF pf; |
FUNC t; |
FUNC t; |
|
|
for ( node = pflist; node; node = NEXT(node) ) |
for ( node = pflist; node; node = NEXT(node) ) |
if ( !strcmp(name,((PF)node->body)->name) ) { |
if ( !strcmp(name,((PF)node->body)->name) ) { |
pf = (PF)node->body; |
pf = (PF)node->body; |
*fp = t = (FUNC)MALLOC(sizeof(struct oFUNC)); |
*fp = t = (FUNC)MALLOC(sizeof(struct oFUNC)); |
t->name = name; t->id = A_PURE; t->argc = pf->argc; |
t->name = name; t->id = A_PURE; t->argc = pf->argc; |
t->f.puref = pf; t->fullname = name; |
t->f.puref = pf; t->fullname = name; |
return; |
return; |
} |
} |
*fp = 0; |
*fp = 0; |
} |
} |
|
|
void searchc(char *name,FUNC *fp) |
void searchc(char *name,FUNC *fp) |
{ |
{ |
NODE node; |
NODE node; |
PF pf; |
PF pf; |
FUNC t; |
FUNC t; |
|
|
for ( node = pflist; node; node = NEXT(node) ) |
for ( node = pflist; node; node = NEXT(node) ) |
if ( !strcmp(name,((PF)node->body)->name) |
if ( !strcmp(name,((PF)node->body)->name) |
&& !((PF)node->body)->argc ) { |
&& !((PF)node->body)->argc ) { |
pf = (PF)node->body; |
pf = (PF)node->body; |
*fp = t = (FUNC)MALLOC(sizeof(struct oFUNC)); |
*fp = t = (FUNC)MALLOC(sizeof(struct oFUNC)); |
t->name = name; t->id = A_PURE; t->argc = pf->argc; |
t->name = name; t->id = A_PURE; t->argc = pf->argc; |
t->f.puref = pf; t->fullname = name; |
t->f.puref = pf; t->fullname = name; |
return; |
return; |
} |
} |
*fp = 0; |
*fp = 0; |
} |
} |
|
|
void mkpf(char *name,Obj body,int argc,V *args, |
void mkpf(char *name,Obj body,int argc,V *args, |
int (*parif)(),double (*libmf)(), int (*simp)(),PF *pfp) |
int (*parif)(),double (*libmf)(), int (*simp)(),PF *pfp) |
{ |
{ |
PF pf; |
PF pf; |
NODE node; |
NODE node; |
|
|
NEWPF(pf); pf->name = name; pf->body = body; |
NEWPF(pf); pf->name = name; pf->body = body; |
pf->argc = argc; pf->args = args; pf->pari = parif; pf->simplify = simp; |
pf->argc = argc; pf->args = args; pf->pari = parif; pf->simplify = simp; |
pf->libm = libmf; |
pf->libm = libmf; |
for ( node = pflist; node; node = NEXT(node) ) |
for ( node = pflist; node; node = NEXT(node) ) |
if ( !strcmp(((PF)BDY(node))->name,name) ) |
if ( !strcmp(((PF)BDY(node))->name,name) ) |
break; |
break; |
if ( !node ) { |
if ( !node ) { |
NEWNODE(node); NEXT(node) = pflist; pflist = node; |
NEWNODE(node); NEXT(node) = pflist; pflist = node; |
/* fprintf(stderr,"%s() defined.\n",name); */ |
/* fprintf(stderr,"%s() defined.\n",name); */ |
} else |
} else |
fprintf(stderr,"%s() redefined.\n",name); |
fprintf(stderr,"%s() redefined.\n",name); |
BDY(node) = (pointer)pf; *pfp = pf; |
BDY(node) = (pointer)pf; *pfp = pf; |
} |
} |
|
|
/* |
/* |
Line 115 void mkpf(char *name,Obj body,int argc,V *args, |
|
Line 117 void mkpf(char *name,Obj body,int argc,V *args, |
|
|
|
void mkpfins(PF pf,V *args,V *vp) |
void mkpfins(PF pf,V *args,V *vp) |
{ |
{ |
V v; |
V v; |
PFINS ins; |
PFINS ins; |
PFAD ad; |
PFAD ad; |
int i; |
int i; |
P t; |
P t; |
|
|
NEWV(v); NAME(v) = 0; v->attr = (pointer)V_PF; |
NEWV(v); NAME(v) = 0; v->attr = (pointer)V_PF; |
ins = (PFINS)MALLOC(sizeof(PF)+pf->argc*sizeof(struct oPFAD)); |
ins = (PFINS)MALLOC(sizeof(PF)+pf->argc*sizeof(struct oPFAD)); |
bzero((char *)ins,(int)(sizeof(PF)+pf->argc*sizeof(struct oPFAD))); |
bzero((char *)ins,(int)(sizeof(PF)+pf->argc*sizeof(struct oPFAD))); |
ins->pf = pf; |
ins->pf = pf; |
v->priv = (pointer)ins; |
v->priv = (pointer)ins; |
for ( i = 0, ad = ins->ad; i < pf->argc; i++ ) { |
for ( i = 0, ad = ins->ad; i < pf->argc; i++ ) { |
ad[i].d = 0; MKV(args[i],t); ad[i].arg = (Obj)t; |
ad[i].d = 0; MKV(args[i],t); ad[i].arg = (Obj)t; |
} |
} |
appendpfins(v,vp); |
appendpfins(v,vp); |
} |
} |
|
|
/* the same as above. Argements are given as an array of Obj */ |
/* the same as above. Argements are given as an array of Obj */ |
|
|
void _mkpfins(PF pf,Obj *args,V *vp) |
void _mkpfins(PF pf,Obj *args,V *vp) |
{ |
{ |
V v; |
V v; |
PFINS ins; |
PFINS ins; |
PFAD ad; |
PFAD ad; |
int i; |
int i; |
|
|
NEWV(v); NAME(v) = 0; v->attr = (pointer)V_PF; |
NEWV(v); NAME(v) = 0; v->attr = (pointer)V_PF; |
ins = (PFINS)MALLOC(sizeof(PF)+pf->argc*sizeof(struct oPFAD)); |
ins = (PFINS)MALLOC(sizeof(PF)+pf->argc*sizeof(struct oPFAD)); |
bzero((char *)ins,(int)(sizeof(PF)+pf->argc*sizeof(struct oPFAD))); |
bzero((char *)ins,(int)(sizeof(PF)+pf->argc*sizeof(struct oPFAD))); |
ins->pf = pf; |
ins->pf = pf; |
v->priv = (pointer)ins; |
v->priv = (pointer)ins; |
for ( i = 0, ad = ins->ad; i < pf->argc; i++ ) { |
for ( i = 0, ad = ins->ad; i < pf->argc; i++ ) { |
ad[i].d = 0; ad[i].arg = args[i]; |
ad[i].d = 0; ad[i].arg = args[i]; |
} |
} |
appendpfins(v,vp); |
appendpfins(v,vp); |
} |
} |
|
|
/* the same as above. darray is also given */ |
/* the same as above. darray is also given */ |
|
|
void _mkpfins_with_darray(PF pf,Obj *args,int *darray,V *vp) |
void _mkpfins_with_darray(PF pf,Obj *args,int *darray,V *vp) |
{ |
{ |
V v; |
V v; |
PFINS ins; |
PFINS ins; |
PFAD ad; |
PFAD ad; |
int i; |
int i; |
|
|
NEWV(v); NAME(v) = 0; v->attr = (pointer)V_PF; |
NEWV(v); NAME(v) = 0; v->attr = (pointer)V_PF; |
ins = (PFINS)MALLOC(sizeof(PF)+pf->argc*sizeof(struct oPFAD)); |
ins = (PFINS)MALLOC(sizeof(PF)+pf->argc*sizeof(struct oPFAD)); |
bzero((char *)ins,(int)(sizeof(PF)+pf->argc*sizeof(struct oPFAD))); |
bzero((char *)ins,(int)(sizeof(PF)+pf->argc*sizeof(struct oPFAD))); |
ins->pf = pf; |
ins->pf = pf; |
v->priv = (pointer)ins; |
v->priv = (pointer)ins; |
for ( i = 0, ad = ins->ad; i < pf->argc; i++ ) { |
for ( i = 0, ad = ins->ad; i < pf->argc; i++ ) { |
ad[i].d = darray[i]; ad[i].arg = args[i]; |
ad[i].d = darray[i]; ad[i].arg = args[i]; |
} |
} |
appendpfins(v,vp); |
appendpfins(v,vp); |
} |
} |
|
|
void appendpfins(V v,V *vp) |
void appendpfins(V v,V *vp) |
{ |
{ |
PF fdef; |
PF fdef; |
PFAD ad,tad; |
PFAD ad,tad; |
NODE node; |
NODE node; |
int i; |
int i; |
|
|
fdef = ((PFINS)v->priv)->pf; ad = ((PFINS)v->priv)->ad; |
fdef = ((PFINS)v->priv)->pf; ad = ((PFINS)v->priv)->ad; |
for ( node = fdef->ins; node; node = NEXT(node) ) { |
for ( node = fdef->ins; node; node = NEXT(node) ) { |
for ( i = 0, tad = ((PFINS)((V)node->body)->priv)->ad; |
for ( i = 0, tad = ((PFINS)((V)node->body)->priv)->ad; |
i < fdef->argc; i++ ) |
i < fdef->argc; i++ ) |
if ( (ad[i].d != tad[i].d) || !equalr(CO,ad[i].arg,tad[i].arg) ) |
if ( (ad[i].d != tad[i].d) || !equalr(CO,ad[i].arg,tad[i].arg) ) |
break; |
break; |
if ( i == fdef->argc ) { |
if ( i == fdef->argc ) { |
*vp = (V)node->body; |
*vp = (V)node->body; |
return; |
return; |
} |
} |
} |
} |
NEWNODE(node); node->body = (pointer)v; NEXT(node) = fdef->ins; |
NEWNODE(node); node->body = (pointer)v; NEXT(node) = fdef->ins; |
fdef->ins = node; appendvar(CO,v); *vp = v; |
fdef->ins = node; appendvar(CO,v); *vp = v; |
} |
} |
|
|
void duppfins(V v,V *vp) |
void duppfins(V v,V *vp) |
{ |
{ |
V tv; |
V tv; |
PFINS tins; |
PFINS tins; |
int size; |
int size; |
|
|
NEWV(tv); tv->name = v->name; tv->attr = v->attr; |
NEWV(tv); tv->name = v->name; tv->attr = v->attr; |
size = sizeof(PF)+((PFINS)v->priv)->pf->argc*sizeof(struct oPFAD); |
size = sizeof(PF)+((PFINS)v->priv)->pf->argc*sizeof(struct oPFAD); |
tins = (PFINS)MALLOC(size); bcopy((char *)v->priv,(char *)tins,size); |
tins = (PFINS)MALLOC(size); bcopy((char *)v->priv,(char *)tins,size); |
tv->priv = (pointer)tins; |
tv->priv = (pointer)tins; |
*vp = tv; |
*vp = tv; |
} |
} |
|
|
void derivvar(VL vl,V pf,V v,Obj *a) |
void derivvar(VL vl,V pf,V v,Obj *a) |
{ |
{ |
Obj t,s,u,w,u1; |
Obj t,s,u,w,u1; |
P p; |
P p; |
V tv,sv; |
V tv,sv; |
PF fdef; |
PF fdef; |
PFAD ad; |
PFAD ad; |
int i,j; |
int i,j; |
|
|
fdef = ((PFINS)pf->priv)->pf; ad = ((PFINS)pf->priv)->ad; |
fdef = ((PFINS)pf->priv)->pf; ad = ((PFINS)pf->priv)->ad; |
if ( fdef->deriv ) { |
if ( fdef->deriv ) { |
for ( t = 0, i = 0; i < fdef->argc; i++ ) { |
for ( t = 0, i = 0; i < fdef->argc; i++ ) { |
derivr(vl,ad[i].arg,v,&s); |
derivr(vl,ad[i].arg,v,&s); |
for ( j = 0, u = fdef->deriv[i]; j < fdef->argc; j++ ) { |
for ( j = 0, u = fdef->deriv[i]; j < fdef->argc; j++ ) { |
substr(vl,0,u,fdef->args[j],ad[j].arg,&u1); u = u1; |
substr(vl,0,u,fdef->args[j],ad[j].arg,&u1); u = u1; |
} |
} |
mulr(vl,s,u,&w); addr(vl,t,w,&s); t = s; |
mulr(vl,s,u,&w); addr(vl,t,w,&s); t = s; |
} |
} |
*a = t; |
*a = t; |
} else { |
} else { |
for ( t = 0, i = 0; i < fdef->argc; i++ ) { |
for ( t = 0, i = 0; i < fdef->argc; i++ ) { |
derivr(vl,ad[i].arg,v,&s); |
derivr(vl,ad[i].arg,v,&s); |
duppfins(pf,&tv); (((PFINS)tv->priv)->ad)[i].d++; |
duppfins(pf,&tv); (((PFINS)tv->priv)->ad)[i].d++; |
appendpfins(tv,&sv); |
appendpfins(tv,&sv); |
MKV(sv,p); mulr(vl,s,(Obj)p,&w); addr(vl,t,w,&s); t = s; |
MKV(sv,p); mulr(vl,s,(Obj)p,&w); addr(vl,t,w,&s); t = s; |
} |
} |
*a = t; |
*a = t; |
} |
} |
} |
} |
|
|
void derivr(VL vl,Obj a,V v,Obj *b) |
void derivr(VL vl,Obj a,V v,Obj *b) |
{ |
{ |
VL tvl,svl; |
VL tvl,svl; |
Obj r,s,t,u,nm,dn,dnm,ddn,m; |
Obj r,s,t,u,nm,dn,dnm,ddn,m; |
|
|
if ( !a ) |
if ( !a ) |
*b = 0; |
*b = 0; |
else |
else |
switch ( OID(a) ) { |
switch ( OID(a) ) { |
case O_N: |
case O_N: |
*b = 0; break; |
*b = 0; break; |
case O_P: |
case O_P: |
clctvr(vl,a,&tvl); |
clctvr(vl,a,&tvl); |
for ( dnm = 0, svl = tvl; svl; svl = NEXT(svl) ) { |
for ( dnm = 0, svl = tvl; svl; svl = NEXT(svl) ) { |
if ( svl->v == v ) { |
if ( svl->v == v ) { |
pderivr(vl,a,v,&s); addr(vl,s,dnm,&u); dnm = u; |
pderivr(vl,a,v,&s); addr(vl,s,dnm,&u); dnm = u; |
} else if ( (vid)svl->v->attr == V_PF ) { |
} else if ( (vid)svl->v->attr == V_PF ) { |
pderivr(vl,a,svl->v,&s); derivvar(vl,svl->v,v,&r); |
pderivr(vl,a,svl->v,&s); derivvar(vl,svl->v,v,&r); |
mulr(vl,s,r,&u); addr(vl,u,dnm,&s); dnm = s; |
mulr(vl,s,r,&u); addr(vl,u,dnm,&s); dnm = s; |
} |
} |
} |
} |
*b = (Obj)dnm; break; |
*b = (Obj)dnm; break; |
case O_R: |
case O_R: |
clctvr(vl,a,&tvl); |
clctvr(vl,a,&tvl); |
nm = (Obj)NM((R)a); dn = (Obj)DN((R)a); |
nm = (Obj)NM((R)a); dn = (Obj)DN((R)a); |
for ( dnm = ddn = 0, svl = tvl; svl; svl = NEXT(svl) ) { |
for ( dnm = ddn = 0, svl = tvl; svl; svl = NEXT(svl) ) { |
if ( svl->v == v ) { |
if ( svl->v == v ) { |
pderivr(vl,nm,v,&s); addr(vl,s,dnm,&u); dnm = u; |
pderivr(vl,nm,v,&s); addr(vl,s,dnm,&u); dnm = u; |
pderivr(vl,dn,v,&s); addr(vl,s,ddn,&u); ddn = u; |
pderivr(vl,dn,v,&s); addr(vl,s,ddn,&u); ddn = u; |
} else if ( (vid)svl->v->attr == V_PF ) { |
} else if ( (vid)svl->v->attr == V_PF ) { |
pderivr(vl,nm,svl->v,&s); derivvar(vl,svl->v,v,&r); |
pderivr(vl,nm,svl->v,&s); derivvar(vl,svl->v,v,&r); |
mulr(vl,s,r,&u); addr(vl,u,dnm,&s); dnm = s; |
mulr(vl,s,r,&u); addr(vl,u,dnm,&s); dnm = s; |
pderivr(vl,dn,svl->v,&s); derivvar(vl,svl->v,v,&r); |
pderivr(vl,dn,svl->v,&s); derivvar(vl,svl->v,v,&r); |
mulr(vl,s,r,&u); addr(vl,u,ddn,&s); ddn = s; |
mulr(vl,s,r,&u); addr(vl,u,ddn,&s); ddn = s; |
} |
} |
} |
} |
mulr(vl,dnm,dn,&t); mulr(vl,ddn,nm,&s); |
mulr(vl,dnm,dn,&t); mulr(vl,ddn,nm,&s); |
subr(vl,t,s,&u); reductr(vl,u,&t); |
subr(vl,t,s,&u); reductr(vl,u,&t); |
if ( !t ) |
if ( !t ) |
*b = 0; |
*b = 0; |
else { |
else { |
mulp(vl,(P)dn,(P)dn,(P *)&m); divr(vl,t,m,b); |
mulp(vl,(P)dn,(P)dn,(P *)&m); divr(vl,t,m,b); |
} |
} |
break; |
break; |
} |
} |
} |
} |
|
|
|
void simple_derivr(VL vl,Obj a,V v,Obj *b) |
|
{ |
|
Obj r,s,t,u,nm,dn; |
|
|
|
if ( !a || NUM(a) ) |
|
*b = 0; |
|
else |
|
switch ( OID(a) ) { |
|
case O_P: |
|
pderivr(vl,a,v,b); break; |
|
case O_R: |
|
nm = (Obj)NM((R)a); dn = (Obj)DN((R)a); |
|
/* (nm/dn)' = nm'/dn - dn'/dn*nm/dn */ |
|
pderivr(vl,nm,v,&s); divr(vl,s,dn,&u); reductr(vl,u,&t); |
|
pderivr(vl,dn,v,&s); divr(vl,s,dn,&u); reductr(vl,u,&s); mulr(vl,s,a,&u); |
|
subr(vl,t,u,&s); reductr(vl,s,b); |
|
break; |
|
default: |
|
error("simple_derivr : invalid argument"); |
|
} |
|
} |
|
|
|
int obj_is_dependent(Obj a,V v) |
|
{ |
|
if ( !a || OID(a) <= O_N ) return 0; |
|
else if ( OID(a) == O_P ) return poly_is_dependent((P)a,v); |
|
else if ( OID(a) == O_R ) return poly_is_dependent(NM((R)a),v) |
|
|| poly_is_dependent(DN((R)a),v); |
|
else |
|
error("obj_is_dependent : not implemented"); |
|
} |
|
|
|
int poly_is_dependent(P p,V v) |
|
{ |
|
DCP dc; |
|
|
|
if ( !p || OID(p) <= O_N ) return 0; |
|
else if ( v == VR(p) ) return 1; |
|
else { |
|
for ( dc = DC(p); dc; dc = NEXT(dc) ) |
|
if ( poly_is_dependent(COEF(dc),v) ) return 1; |
|
return 0; |
|
} |
|
} |
|
|
void gen_pwrr(VL vl,Obj a,Obj d,Obj *r) |
void gen_pwrr(VL vl,Obj a,Obj d,Obj *r) |
{ |
{ |
if ( INT(d) ) |
if ( INT(d) ) |
pwrr(vl,a,d,r); |
pwrr(vl,a,d,r); |
else |
else |
mkpow(vl,a,d,r); |
mkpow(vl,a,d,r); |
} |
} |
|
|
void substr(VL vl,int partial,Obj a,V v,Obj b,Obj *c) |
void substr(VL vl,int partial,Obj a,V v,Obj b,Obj *c) |
{ |
{ |
Obj nm,dn,t; |
Obj nm,dn,t; |
|
|
if ( !a ) |
if ( !a ) |
*c = 0; |
*c = 0; |
else { |
else { |
switch ( OID(a) ) { |
switch ( OID(a) ) { |
case O_N: |
case O_N: |
*c = a; break; |
*c = a; break; |
case O_P: |
case O_P: |
substpr(vl,partial,a,v,b,c); break; |
substpr(vl,partial,a,v,b,c); break; |
case O_R: |
case O_R: |
substpr(vl,partial,(Obj)NM((R)a),v,b,&nm); |
substpr(vl,partial,(Obj)NM((R)a),v,b,&nm); |
substpr(vl,partial,(Obj)DN((R)a),v,b,&dn); |
substpr(vl,partial,(Obj)DN((R)a),v,b,&dn); |
divr(vl,nm,dn,&t); reductr(vl,t,c); |
divr(vl,nm,dn,&t); reductr(vl,t,c); |
break; |
break; |
default: |
default: |
*c = 0; break; |
*c = 0; break; |
} |
} |
} |
} |
} |
} |
|
|
void substpr(VL vl,int partial,Obj p,V v0,Obj p0,Obj *pr) |
void substpr(VL vl,int partial,Obj p,V v0,Obj p0,Obj *pr) |
{ |
{ |
P x; |
P x; |
Obj t,m,c,s,a; |
Obj t,m,c,s,a; |
DCP dc; |
DCP dc; |
Q d; |
Q d; |
V v; |
V v; |
PF pf; |
PF pf; |
PFAD ad,tad; |
PFAD ad,tad; |
PFINS tins; |
PFINS tins; |
int i; |
int i; |
|
|
if ( !p ) |
if ( !p ) |
*pr = 0; |
*pr = 0; |
else if ( NUM(p) ) |
else if ( NUM(p) ) |
*pr = (Obj)p; |
*pr = (Obj)p; |
else if ( (v = VR((P)p)) != v0 ) { |
else if ( (v = VR((P)p)) != v0 ) { |
if ( !partial && ((vid)v->attr == V_PF) ) { |
if ( !partial && ((vid)v->attr == V_PF) ) { |
ad = ((PFINS)v->priv)->ad; pf = ((PFINS)v->priv)->pf; |
ad = ((PFINS)v->priv)->ad; pf = ((PFINS)v->priv)->pf; |
tins = (PFINS)CALLOC(1,sizeof(PF)+pf->argc*sizeof(struct oPFAD)); |
tins = (PFINS)CALLOC(1,sizeof(PF)+pf->argc*sizeof(struct oPFAD)); |
tins->pf = pf; |
tins->pf = pf; |
for ( i = 0, tad = tins->ad; i < pf->argc; i++ ) { |
for ( i = 0, tad = tins->ad; i < pf->argc; i++ ) { |
tad[i].d = ad[i].d; |
tad[i].d = ad[i].d; |
substr(vl,partial,ad[i].arg,v0,p0,&tad[i].arg); |
substr(vl,partial,ad[i].arg,v0,p0,&tad[i].arg); |
} |
} |
simplify_ins(tins,(Obj *)&x); |
simplify_ins(tins,(Obj *)&x); |
} else |
} else |
MKV(VR((P)p),x); |
MKV(VR((P)p),x); |
for ( c = 0, dc = DC((P)p); dc; dc = NEXT(dc) ) { |
for ( c = 0, dc = DC((P)p); dc; dc = NEXT(dc) ) { |
substpr(vl,partial,(Obj)COEF(dc),v0,p0,&t); |
substpr(vl,partial,(Obj)COEF(dc),v0,p0,&t); |
if ( DEG(dc) ) { |
if ( DEG(dc) ) { |
gen_pwrr(vl,(Obj)x,(Obj)DEG(dc),&s); |
gen_pwrr(vl,(Obj)x,(Obj)DEG(dc),&s); |
mulr(vl,s,t,&m); |
mulr(vl,s,t,&m); |
addr(vl,m,c,&a); c = a; |
addr(vl,m,c,&a); c = a; |
} else { |
} else { |
addr(vl,t,c,&a); c = a; |
addr(vl,t,c,&a); c = a; |
} |
} |
} |
} |
*pr = c; |
*pr = c; |
} else { |
} else { |
dc = DC((P)p); |
dc = DC((P)p); |
if ( !partial ) |
if ( !partial ) |
substpr(vl,partial,(Obj)COEF(dc),v0,p0,&c); |
substpr(vl,partial,(Obj)COEF(dc),v0,p0,&c); |
else |
else |
c = (Obj)COEF(dc); |
c = (Obj)COEF(dc); |
for ( d = DEG(dc), dc = NEXT(dc); dc; d = DEG(dc), dc = NEXT(dc) ) { |
for ( d = DEG(dc), dc = NEXT(dc); dc; d = DEG(dc), dc = NEXT(dc) ) { |
subq(d,DEG(dc),(Q *)&t); |
subq(d,DEG(dc),(Q *)&t); |
gen_pwrr(vl,p0,t,&s); mulr(vl,s,c,&m); |
gen_pwrr(vl,p0,t,&s); mulr(vl,s,c,&m); |
if ( !partial ) |
if ( !partial ) |
substpr(vl,partial,(Obj)COEF(dc),v0,p0,&t); |
substpr(vl,partial,(Obj)COEF(dc),v0,p0,&t); |
else |
else |
t = (Obj)COEF(dc); |
t = (Obj)COEF(dc); |
addr(vl,m,t,&c); |
addr(vl,m,t,&c); |
} |
} |
if ( d ) { |
if ( d ) { |
gen_pwrr(vl,p0,(Obj)d,&t); |
gen_pwrr(vl,p0,(Obj)d,&t); |
mulr(vl,t,c,&m); |
mulr(vl,t,c,&m); |
c = m; |
c = m; |
} |
} |
*pr = c; |
*pr = c; |
} |
} |
} |
} |
|
|
void evalr(VL vl,Obj a,int prec,Obj *c) |
void evalr(VL vl,Obj a,int prec,Obj *c) |
{ |
{ |
Obj nm,dn; |
Obj nm,dn; |
|
|
if ( !a ) |
if ( !a ) |
*c = 0; |
*c = 0; |
else { |
else { |
switch ( OID(a) ) { |
switch ( OID(a) ) { |
case O_N: |
case O_N: |
*c = a; break; |
*c = a; break; |
case O_P: |
case O_P: |
evalp(vl,(P)a,prec,(P *)c); break; |
evalp(vl,(P)a,prec,(P *)c); break; |
case O_R: |
case O_R: |
evalp(vl,NM((R)a),prec,(P *)&nm); evalp(vl,DN((R)a),prec,(P *)&dn); |
evalp(vl,NM((R)a),prec,(P *)&nm); evalp(vl,DN((R)a),prec,(P *)&dn); |
divr(vl,nm,dn,c); |
divr(vl,nm,dn,c); |
break; |
break; |
default: |
default: |
error("evalr : not implemented"); break; |
error("evalr : not implemented"); break; |
} |
} |
} |
} |
} |
} |
|
|
void evalp(VL vl,P p,int prec,P *pr) |
void evalp(VL vl,P p,int prec,P *pr) |
{ |
{ |
P t; |
P t; |
DCP dc,dcr0,dcr; |
DCP dc,dcr0,dcr; |
Obj u; |
Obj u; |
|
|
if ( !p || NUM(p) ) |
if ( !p || NUM(p) ) |
*pr = p; |
*pr = p; |
else { |
else { |
for ( dcr0 = 0, dc = DC((P)p); dc; dc = NEXT(dc) ) { |
for ( dcr0 = 0, dc = DC((P)p); dc; dc = NEXT(dc) ) { |
evalp(vl,COEF(dc),prec,&t); |
evalp(vl,COEF(dc),prec,&t); |
if ( t ) { |
if ( t ) { |
NEXTDC(dcr0,dcr); DEG(dcr) = DEG(dc); COEF(dcr) = t; |
NEXTDC(dcr0,dcr); DEG(dcr) = DEG(dc); COEF(dcr) = t; |
} |
} |
} |
} |
if ( !dcr0 ) { |
if ( !dcr0 ) { |
*pr = 0; return; |
*pr = 0; return; |
} else { |
} else { |
NEXT(dcr) = 0; MKP(VR(p),dcr0,t); |
NEXT(dcr) = 0; MKP(VR(p),dcr0,t); |
} |
} |
if ( NUM(t) || (VR(t) != VR(p)) || ((vid)VR(p)->attr != V_PF) ) { |
if ( NUM(t) || (VR(t) != VR(p)) || ((vid)VR(p)->attr != V_PF) ) { |
*pr = t; return; |
*pr = t; return; |
} else { |
} else { |
evalv(vl,VR(p),prec,&u); substr(vl,1,(Obj)t,VR(p),u,(Obj *)pr); |
evalv(vl,VR(p),prec,&u); substr(vl,1,(Obj)t,VR(p),u,(Obj *)pr); |
} |
} |
} |
} |
} |
} |
|
|
void evalv(VL vl,V v,int prec,Obj *rp) |
void evalv(VL vl,V v,int prec,Obj *rp) |
{ |
{ |
PFINS ins,tins; |
PFINS ins,tins; |
PFAD ad,tad; |
PFAD ad,tad; |
PF pf; |
PF pf; |
P t; |
P t; |
int i; |
int i; |
|
|
if ( (vid)v->attr != V_PF ) { |
if ( (vid)v->attr != V_PF ) { |
MKV(v,t); *rp = (Obj)t; |
MKV(v,t); *rp = (Obj)t; |
} else { |
} else { |
ins = (PFINS)v->priv; ad = ins->ad; pf = ins->pf; |
ins = (PFINS)v->priv; ad = ins->ad; pf = ins->pf; |
tins = (PFINS)CALLOC(1,sizeof(PF)+pf->argc*sizeof(struct oPFAD)); |
tins = (PFINS)CALLOC(1,sizeof(PF)+pf->argc*sizeof(struct oPFAD)); |
tins->pf = pf; |
tins->pf = pf; |
for ( i = 0, tad = tins->ad; i < pf->argc; i++ ) { |
for ( i = 0, tad = tins->ad; i < pf->argc; i++ ) { |
tad[i].d = ad[i].d; evalr(vl,ad[i].arg,prec,&tad[i].arg); |
tad[i].d = ad[i].d; evalr(vl,ad[i].arg,prec,&tad[i].arg); |
} |
} |
evalins(tins,prec,rp); |
evalins(tins,prec,rp); |
} |
} |
} |
} |
|
|
void evalins(PFINS ins,int prec,Obj *rp) |
void evalins(PFINS ins,int prec,Obj *rp) |
{ |
{ |
PF pf; |
PF pf; |
PFAD ad; |
PFINS tins; |
int i; |
PFAD ad,tad; |
Q q; |
int i; |
V v; |
Q q; |
P x; |
V v; |
NODE n0,n; |
P x; |
|
NODE n0,n; |
|
|
pf = ins->pf; ad = ins->ad; |
pf = ins->pf; ad = ins->ad; |
for ( i = 0; i < pf->argc; i++ ) |
tins = (PFINS)CALLOC(1,sizeof(PF)+pf->argc*sizeof(struct oPFAD)); |
if ( ad[i].d || (ad[i].arg && !NUM(ad[i].arg)) ) |
tins->pf = pf; tad = tins->ad; |
break; |
for ( i = 0; i < pf->argc; i++ ) { |
if ( (i != pf->argc) || !pf->pari ) { |
tad[i].d = ad[i].d; evalr(CO,ad[i].arg,prec,&tad[i].arg); |
instov(ins,&v); MKV(v,x); *rp = (Obj)x; |
} |
} else { |
for ( i = 0; i < pf->argc; i++ ) |
for ( n0 = 0, i = 0; i < pf->argc; i++ ) { |
if ( tad[i].d || (tad[i].arg && !NUM(tad[i].arg)) ) break; |
NEXTNODE(n0,n); BDY(n) = (pointer)ad[i].arg; |
if ( (i != pf->argc) || !pf->pari ) { |
} |
instoobj(tins,rp); |
if ( prec ) { |
} else { |
NEXTNODE(n0,n); STOQ(prec,q); BDY(n) = (pointer)q; |
for ( n0 = 0, i = 0; i < pf->argc; i++ ) { |
} |
NEXTNODE(n0,n); BDY(n) = (pointer)tad[i].arg; |
if ( n0 ) |
} |
NEXT(n) = 0; |
if ( prec ) { |
(*pf->pari)(n0,rp); |
NEXTNODE(n0,n); STOQ(prec,q); BDY(n) = (pointer)q; |
} |
} |
|
if ( n0 ) |
|
NEXT(n) = 0; |
|
(*pf->pari)(n0,rp); |
|
} |
} |
} |
|
|
void devalr(VL vl,Obj a,Obj *c) |
void devalr(VL vl,Obj a,Obj *c) |
{ |
{ |
Obj nm,dn; |
Obj nm,dn; |
double d; |
double d; |
Real r; |
Real r,re,im; |
|
C z; |
|
int nid; |
|
|
if ( !a ) |
if ( !a ) |
*c = 0; |
*c = 0; |
else { |
else { |
switch ( OID(a) ) { |
switch ( OID(a) ) { |
case O_N: |
case O_N: |
d = ToReal(a); |
nid = NID((Num)a); |
MKReal(d,r); |
if ( nid == N_C ) { |
*c = (Obj)r; |
d = ToReal(((C)a)->r); MKReal(d,re); |
break; |
d = ToReal(((C)a)->i); MKReal(d,im); |
case O_P: |
reimtocplx(re,im,&z); |
devalp(vl,(P)a,(P *)c); break; |
*c = (Obj)z; |
case O_R: |
} else if ( nid == N_Q || nid == N_R || nid == N_B ) { |
devalp(vl,NM((R)a),(P *)&nm); |
d = ToReal(a); |
devalp(vl,DN((R)a),(P *)&dn); |
MKReal(d,r); |
divr(vl,nm,dn,c); |
*c = (Obj)r; |
break; |
} else |
default: |
error("devalr : unsupported"); |
error("devalr : not implemented"); break; |
break; |
} |
case O_P: |
} |
devalp(vl,(P)a,(P *)c); break; |
|
case O_R: |
|
devalp(vl,NM((R)a),(P *)&nm); |
|
devalp(vl,DN((R)a),(P *)&dn); |
|
divr(vl,nm,dn,c); |
|
break; |
|
default: |
|
error("devalr : not implemented"); break; |
|
} |
|
} |
} |
} |
|
|
void devalp(VL vl,P p,P *pr) |
void devalp(VL vl,P p,P *pr) |
{ |
{ |
P t; |
P t; |
DCP dc,dcr0,dcr; |
DCP dc,dcr0,dcr; |
Obj u,s; |
Obj u,s; |
double d; |
double d; |
Real r; |
Real r; |
|
|
if ( !p || NUM(p) ) { |
if ( !p || NUM(p) ) { |
d = ToReal(p); |
d = ToReal(p); |
MKReal(d,r); |
MKReal(d,r); |
*pr = (P)r; |
*pr = (P)r; |
} else { |
} else { |
for ( dcr0 = 0, dc = DC((P)p); dc; dc = NEXT(dc) ) { |
for ( dcr0 = 0, dc = DC((P)p); dc; dc = NEXT(dc) ) { |
devalp(vl,COEF(dc),&t); |
devalp(vl,COEF(dc),&t); |
if ( t ) { |
if ( t ) { |
NEXTDC(dcr0,dcr); DEG(dcr) = DEG(dc); COEF(dcr) = t; |
NEXTDC(dcr0,dcr); DEG(dcr) = DEG(dc); COEF(dcr) = t; |
} |
} |
} |
} |
if ( !dcr0 ) |
if ( !dcr0 ) |
*pr = 0; |
*pr = 0; |
else { |
else { |
NEXT(dcr) = 0; MKP(VR(p),dcr0,t); |
NEXT(dcr) = 0; MKP(VR(p),dcr0,t); |
if ( NUM(t) ) { |
if ( NUM(t) ) { |
d = ToReal((Num)t); |
d = ToReal((Num)t); |
MKReal(d,r); |
MKReal(d,r); |
*pr = (P)r; |
*pr = (P)r; |
} else if ( (VR(t) != VR(p)) || (VR(p)->attr != (pointer)V_PF) ) |
} else if ( (VR(t) != VR(p)) || (VR(p)->attr != (pointer)V_PF) ) |
*pr = t; |
*pr = t; |
else { |
else { |
devalv(vl,VR(p),&u); |
devalv(vl,VR(p),&u); |
substr(vl,1,(Obj)t,VR(p),u,&s); |
substr(vl,1,(Obj)t,VR(p),u,&s); |
if ( s && NUM(s) ) { |
if ( s && NUM(s) ) { |
d = ToReal((Num)s); |
d = ToReal((Num)s); |
MKReal(d,r); |
MKReal(d,r); |
*pr = (P)r; |
*pr = (P)r; |
} else |
} else |
*pr = (P)s; |
*pr = (P)s; |
} |
} |
} |
} |
} |
} |
} |
} |
|
|
void devalv(VL vl,V v,Obj *rp) |
void devalv(VL vl,V v,Obj *rp) |
{ |
{ |
PFINS ins,tins; |
PFINS ins,tins; |
PFAD ad,tad; |
PFAD ad,tad; |
PF pf; |
PF pf; |
P t; |
P t; |
int i; |
int i; |
|
|
if ( (vid)v->attr != V_PF ) { |
if ( (vid)v->attr != V_PF ) { |
MKV(v,t); *rp = (Obj)t; |
MKV(v,t); *rp = (Obj)t; |
} else { |
} else { |
ins = (PFINS)v->priv; ad = ins->ad; pf = ins->pf; |
ins = (PFINS)v->priv; ad = ins->ad; pf = ins->pf; |
tins = (PFINS)CALLOC(1,sizeof(PF)+pf->argc*sizeof(struct oPFAD)); |
tins = (PFINS)CALLOC(1,sizeof(PF)+pf->argc*sizeof(struct oPFAD)); |
tins->pf = pf; |
tins->pf = pf; |
for ( i = 0, tad = tins->ad; i < pf->argc; i++ ) { |
for ( i = 0, tad = tins->ad; i < pf->argc; i++ ) { |
tad[i].d = ad[i].d; devalr(vl,ad[i].arg,&tad[i].arg); |
tad[i].d = ad[i].d; devalr(vl,ad[i].arg,&tad[i].arg); |
} |
} |
devalins(tins,rp); |
devalins(tins,rp); |
} |
} |
} |
} |
|
|
void devalins(PFINS ins,Obj *rp) |
void devalins(PFINS ins,Obj *rp) |
{ |
{ |
PF pf; |
PFINS tins; |
PFAD ad; |
PF pf; |
int i; |
PFAD ad,tad; |
Real r; |
int i; |
double d; |
Real r; |
V v; |
double d; |
P x; |
V v; |
|
P x; |
|
|
pf = ins->pf; ad = ins->ad; |
pf = ins->pf; ad = ins->ad; |
for ( i = 0; i < pf->argc; i++ ) |
tins = (PFINS)CALLOC(1,sizeof(PF)+pf->argc*sizeof(struct oPFAD)); |
if ( ad[i].d || (ad[i].arg && !NUM(ad[i].arg)) ) |
tins->pf = pf; tad = tins->ad; |
break; |
for ( i = 0; i < pf->argc; i++ ) { |
if ( (i != pf->argc) || !pf->libm ) { |
tad[i].d = ad[i].d; devalr(CO,ad[i].arg,&tad[i].arg); |
instov(ins,&v); MKV(v,x); *rp = (Obj)x; |
} |
} else { |
for ( i = 0; i < pf->argc; i++ ) |
switch ( pf->argc ) { |
if ( tad[i].d || (tad[i].arg && !NUM(tad[i].arg)) ) break; |
case 0: |
if ( (i != pf->argc) || !pf->libm ) { |
d = (*pf->libm)(); break; |
instoobj(tins,rp); |
case 1: |
} else { |
d = (*pf->libm)(ToReal(ad[0].arg)); break; |
for ( i = 0; i < pf->argc; i++ ) |
case 2: |
if ( tad[i].arg && NID((Num)tad[i].arg) == N_C ) |
d = (*pf->libm)(ToReal(ad[0].arg),ToReal(ad[1].arg)); break; |
error("devalins : not supported"); |
case 3: |
switch ( pf->argc ) { |
d = (*pf->libm)(ToReal(ad[0].arg),ToReal(ad[1].arg), |
case 0: |
ToReal(ad[2].arg)); break; |
d = (*pf->libm)(); break; |
case 4: |
case 1: |
d = (*pf->libm)(ToReal(ad[0].arg),ToReal(ad[1].arg), |
d = (*pf->libm)(ToReal(tad[0].arg)); break; |
ToReal(ad[2].arg),ToReal(ad[3].arg)); break; |
case 2: |
default: |
d = (*pf->libm)(ToReal(tad[0].arg),ToReal(tad[1].arg)); break; |
error("devalv : not supported"); |
case 3: |
} |
d = (*pf->libm)(ToReal(tad[0].arg),ToReal(tad[1].arg), |
MKReal(d,r); *rp = (Obj)r; |
ToReal(tad[2].arg)); break; |
} |
case 4: |
|
d = (*pf->libm)(ToReal(tad[0].arg),ToReal(tad[1].arg), |
|
ToReal(tad[2].arg),ToReal(tad[3].arg)); break; |
|
default: |
|
error("devalins : not supported"); |
|
} |
|
MKReal(d,r); *rp = (Obj)r; |
|
} |
} |
} |
|
|
|
extern int evalef,bigfloat; |
|
|
|
void simplify_elemfunc_ins(PFINS ins,Obj *rp) |
|
{ |
|
if ( evalef ) { |
|
if ( bigfloat ) evalins(ins,0,rp); |
|
else devalins(ins,rp); |
|
} else instoobj(ins,rp); |
|
} |
|
|
|
void simplify_factorial_ins(PFINS ins,Obj *rp) |
|
{ |
|
PFAD ad; |
|
Obj a; |
|
Q q; |
|
|
|
ad = ins->ad; |
|
a = ad[0].arg; |
|
if ( !ad[0].d && INT(a) && ( !a || (PL(NM((Q)a)) == 1 && SGN((Q)a) > 0) ) ) { |
|
factorial(QTOS((Q)a),&q); |
|
*rp = (Obj)q; |
|
} else simplify_elemfunc_ins(ins,rp); |
|
} |
|
|
|
void simplify_abs_ins(PFINS ins,Obj *rp) |
|
{ |
|
PFAD ad; |
|
Obj a; |
|
Q q; |
|
double t; |
|
Real r; |
|
struct oNODE arg0; |
|
|
|
ad = ins->ad; |
|
a = ad[0].arg; |
|
if ( !ad[0].d && NUM(a) && (!a || RATN(a)) ) { |
|
if ( !a || SGN((Q)a) > 0 ) *rp = (Obj)a; |
|
else { |
|
chsgnq((Q)a,&q); *rp = (Obj)q; |
|
} |
|
} else if ( !ad[0].d && REAL(a) ) { |
|
t = fabs(((Real)a)->body); |
|
MKReal(t,r); *rp = (Obj)r; |
|
} else if ( !ad[0].d && BIGFLOAT(a) ) { |
|
arg0.body = (pointer)a; arg0.next = 0; |
|
mp_abs(&arg0,rp); |
|
} else simplify_elemfunc_ins(ins,rp); |
|
} |
|
|
void simplify_ins(PFINS ins,Obj *rp) |
void simplify_ins(PFINS ins,Obj *rp) |
{ |
{ |
V v; |
V v; |
P t; |
P t; |
|
|
if ( ins->pf->simplify ) |
if ( ins->pf->simplify ) |
(*ins->pf->simplify)(ins,rp); |
(*ins->pf->simplify)(ins,rp); |
else { |
else { |
instov(ins,&v); MKV(v,t); *rp = (Obj)t; |
instoobj(ins,rp); |
} |
} |
} |
} |
|
|
void instov(PFINS ins,V *vp) |
void instoobj(PFINS ins,Obj *rp) |
{ |
{ |
V v; |
V v,newv; |
|
P t; |
|
|
NEWV(v); NAME(v) = 0; |
NEWV(v); NAME(v) = 0; |
v->attr = (pointer)V_PF; v->priv = (pointer)ins; |
v->attr = (pointer)V_PF; v->priv = (pointer)ins; |
appendpfins(v,vp); |
appendpfins(v,&newv); |
|
MKV(newv,t); |
|
*rp = (Obj)t; |
} |
} |
|
|
void substfr(VL vl,Obj a,PF u,PF f,Obj *c) |
void substfr(VL vl,Obj a,PF u,PF f,Obj *c) |
{ |
{ |
Obj nm,dn; |
Obj nm,dn; |
|
|
if ( !a ) |
if ( !a ) |
*c = 0; |
*c = 0; |
else { |
else { |
switch ( OID(a) ) { |
switch ( OID(a) ) { |
case O_N: |
case O_N: |
*c = a; break; |
*c = a; break; |
case O_P: |
case O_P: |
substfp(vl,a,u,f,c); break; |
substfp(vl,a,u,f,c); break; |
case O_R: |
case O_R: |
substfp(vl,(Obj)NM((R)a),u,f,&nm); substfp(vl,(Obj)DN((R)a),u,f,&dn); |
substfp(vl,(Obj)NM((R)a),u,f,&nm); substfp(vl,(Obj)DN((R)a),u,f,&dn); |
divr(vl,nm,dn,c); |
divr(vl,nm,dn,c); |
break; |
break; |
default: |
default: |
error("substfr : not implemented"); break; |
error("substfr : not implemented"); break; |
} |
} |
} |
} |
} |
} |
|
|
void substfp(VL vl,Obj p,PF u,PF f,Obj *pr) |
void substfp(VL vl,Obj p,PF u,PF f,Obj *pr) |
{ |
{ |
V v; |
V v; |
DCP dc; |
DCP dc; |
Obj a,c,m,s,t,p0; |
Obj a,c,m,s,t,p0; |
Q d; |
Q d; |
P x; |
P x; |
|
|
if ( !p ) |
if ( !p ) |
*pr = 0; |
*pr = 0; |
else if ( NUM(p) ) |
else if ( NUM(p) ) |
*pr = (Obj)p; |
*pr = (Obj)p; |
else { |
else { |
v = VR((P)p); dc = DC((P)p); |
v = VR((P)p); dc = DC((P)p); |
if ( (int)v->attr != V_PF ) { |
if ( (int)v->attr != V_PF ) { |
MKV(VR((P)p),x); |
MKV(VR((P)p),x); |
for ( c = 0; dc; dc = NEXT(dc) ) { |
for ( c = 0; dc; dc = NEXT(dc) ) { |
substfp(vl,(Obj)COEF(dc),u,f,&t); |
substfp(vl,(Obj)COEF(dc),u,f,&t); |
if ( DEG(dc) ) { |
if ( DEG(dc) ) { |
gen_pwrr(vl,(Obj)x,(Obj)DEG(dc),&s); |
gen_pwrr(vl,(Obj)x,(Obj)DEG(dc),&s); |
mulr(vl,s,t,&m); |
mulr(vl,s,t,&m); |
addr(vl,m,c,&a); c = a; |
addr(vl,m,c,&a); c = a; |
} else { |
} else { |
addr(vl,t,c,&a); c = a; |
addr(vl,t,c,&a); c = a; |
} |
} |
} |
} |
} else { |
} else { |
substfv(vl,v,u,f,&p0); |
substfv(vl,v,u,f,&p0); |
substfp(vl,(Obj)COEF(dc),u,f,&c); |
substfp(vl,(Obj)COEF(dc),u,f,&c); |
for ( d = DEG(dc), dc = NEXT(dc); dc; d = DEG(dc), dc = NEXT(dc) ) { |
for ( d = DEG(dc), dc = NEXT(dc); dc; d = DEG(dc), dc = NEXT(dc) ) { |
subq(d,DEG(dc),(Q *)&t); |
subq(d,DEG(dc),(Q *)&t); |
gen_pwrr(vl,p0,t,&s); mulr(vl,s,c,&m); |
gen_pwrr(vl,p0,t,&s); mulr(vl,s,c,&m); |
substfp(vl,(Obj)COEF(dc),u,f,&t); addr(vl,m,t,&c); |
substfp(vl,(Obj)COEF(dc),u,f,&t); addr(vl,m,t,&c); |
} |
} |
if ( d ) { |
if ( d ) { |
gen_pwrr(vl,p0,(Obj)d,&t); mulr(vl,t,c,&m); |
gen_pwrr(vl,p0,(Obj)d,&t); mulr(vl,t,c,&m); |
c = m; |
c = m; |
} |
} |
} |
} |
*pr = c; |
*pr = c; |
} |
} |
} |
} |
|
|
void substfv(VL vl,V v,PF u,PF f,Obj *c) |
void substfv(VL vl,V v,PF u,PF f,Obj *c) |
{ |
{ |
P t; |
P t; |
Obj r,s,w; |
Obj r,s,w; |
int i,j; |
int i,j; |
PFINS ins,tins; |
PFINS ins,tins; |
PFAD ad,tad; |
PFAD ad,tad; |
|
|
ins = (PFINS)v->priv; ad = ins->ad; |
ins = (PFINS)v->priv; ad = ins->ad; |
if ( ins->pf == u ) { |
if ( ins->pf == u ) { |
if ( u->argc != f->argc ) |
if ( u->argc != f->argc ) |
error("substfv : argument mismatch"); |
error("substfv : argument mismatch"); |
if ( !f->body ) { |
if ( !f->body ) { |
mkpfins(f,f->args,&v); MKV(v,t); r = (Obj)t; |
mkpfins(f,f->args,&v); MKV(v,t); r = (Obj)t; |
} else |
} else |
r = f->body; |
r = f->body; |
for ( i = 0; i < f->argc; i++ ) |
for ( i = 0; i < f->argc; i++ ) |
for ( j = 0; j < ad[i].d; j++ ) { |
for ( j = 0; j < ad[i].d; j++ ) { |
derivr(vl,r,f->args[i],&s); r = s; |
derivr(vl,r,f->args[i],&s); r = s; |
} |
} |
for ( i = 0; i < f->argc; i++ ) { |
for ( i = 0; i < f->argc; i++ ) { |
substfr(vl,ad[i].arg,u,f,&w); |
substfr(vl,ad[i].arg,u,f,&w); |
substr(vl,0,r,f->args[i],w,&s); r = s; |
substr(vl,0,r,f->args[i],w,&s); r = s; |
} |
} |
*c = r; |
*c = r; |
} else { |
} else { |
tins = (PFINS)MALLOC(sizeof(PF)+f->argc*sizeof(struct oPFAD)); |
tins = (PFINS)MALLOC(sizeof(PF)+f->argc*sizeof(struct oPFAD)); |
tins->pf = ins->pf; tad = tins->ad; |
tins->pf = ins->pf; tad = tins->ad; |
for ( i = 0; i < f->argc; i++ ) { |
for ( i = 0; i < f->argc; i++ ) { |
tad[i].d = ad[i].d; substfr(vl,ad[i].arg,u,f,&tad[i].arg); |
tad[i].d = ad[i].d; substfr(vl,ad[i].arg,u,f,&tad[i].arg); |
} |
} |
instov(tins,&v); MKV(v,t); *c = (Obj)t; |
instoobj(tins,c); |
} |
} |
} |
} |