version 1.4, 2001/09/04 05:14:04 |
version 1.12, 2004/03/10 05:27:03 |
|
|
/* $OpenXM: OpenXM_contrib2/asir2000/parse/quote.c,v 1.3 2001/09/04 02:46:15 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2000/parse/quote.c,v 1.11 2004/03/10 02:41:08 noro Exp $ */ |
|
|
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
|
void addquote(vl,a,b,c) |
void addquote(VL vl,QUOTE a,QUOTE b,QUOTE *c) |
VL vl; |
|
QUOTE a,b; |
|
QUOTE *c; |
|
{ |
{ |
FNODE fn; |
FNODE fn; |
|
|
|
|
MKQUOTE(*c,fn); |
MKQUOTE(*c,fn); |
} |
} |
|
|
void subquote(vl,a,b,c) |
void subquote(VL vl,QUOTE a,QUOTE b,QUOTE *c) |
VL vl; |
|
QUOTE a,b; |
|
QUOTE *c; |
|
{ |
{ |
FNODE fn; |
FNODE fn; |
|
|
|
|
MKQUOTE(*c,fn); |
MKQUOTE(*c,fn); |
} |
} |
|
|
void mulquote(vl,a,b,c) |
void mulquote(VL vl,QUOTE a,QUOTE b,QUOTE *c) |
VL vl; |
|
QUOTE a,b; |
|
QUOTE *c; |
|
{ |
{ |
FNODE fn; |
FNODE fn; |
|
|
|
|
MKQUOTE(*c,fn); |
MKQUOTE(*c,fn); |
} |
} |
|
|
void divquote(vl,a,b,c) |
void divquote(VL vl,QUOTE a,QUOTE b,QUOTE *c) |
VL vl; |
|
QUOTE a,b; |
|
QUOTE *c; |
|
{ |
{ |
FNODE fn; |
FNODE fn; |
|
|
|
|
MKQUOTE(*c,fn); |
MKQUOTE(*c,fn); |
} |
} |
|
|
void pwrquote(vl,a,b,c) |
void pwrquote(VL vl,QUOTE a,QUOTE b,QUOTE *c) |
VL vl; |
|
QUOTE a,b; |
|
QUOTE *c; |
|
{ |
{ |
FNODE fn; |
FNODE fn; |
|
|
|
|
MKQUOTE(*c,fn); |
MKQUOTE(*c,fn); |
} |
} |
|
|
void chsgnquote(a,c) |
void chsgnquote(QUOTE a,QUOTE *c) |
QUOTE a; |
|
QUOTE *c; |
|
{ |
{ |
FNODE fn; |
FNODE fn; |
|
|
|
|
MKQUOTE(*c,fn); |
MKQUOTE(*c,fn); |
} |
} |
|
|
void polytoquote(), dctoquote(), vartoquote(); |
void objtoquote(Obj a,QUOTE *c) |
void dptoquote(), mptoquote(); |
|
|
|
void objtoquote(a,c) |
|
Obj a; |
|
QUOTE *c; |
|
{ |
{ |
QUOTE nm,dn; |
QUOTE nm,dn; |
NODE arg,t0,t,t1,t2,t3; |
NODE arg,t0,t,t1,t2,t3; |
FNODE fn; |
FNODE fn; |
|
Obj obj; |
Obj *b; |
Obj *b; |
Obj **m; |
Obj **m; |
int i,j,len,row,col; |
int i,j,len,row,col; |
|
|
} |
} |
switch ( OID(a) ) { |
switch ( OID(a) ) { |
case O_N: |
case O_N: |
|
if ( negative_number((Num)a) ) { |
|
arf_chsgn(a,&obj); |
|
MKQUOTE(*c,mkfnode(1,I_MINUS, |
|
mkfnode(1,I_FORMULA,(pointer)obj))); |
|
} else { |
|
MKQUOTE(*c,mkfnode(1,I_FORMULA,(pointer)a)); |
|
} |
|
break; |
case O_STR: |
case O_STR: |
MKQUOTE(*c,mkfnode(1,I_FORMULA,(pointer)a)); |
MKQUOTE(*c,mkfnode(1,I_FORMULA,(pointer)a)); |
break; |
break; |
|
|
} |
} |
} |
} |
|
|
void polytoquote(a,c) |
void polytoquote(P a,QUOTE *c) |
P a; |
|
QUOTE *c; |
|
{ |
{ |
DCP dc,t; |
DCP dc,t; |
DCP *dca; |
DCP *dca; |
int n,i; |
int n,i,sgn; |
QUOTE v,r,s,u; |
QUOTE v,r,s,u; |
|
|
if ( !a || (OID(a) == O_N) ) { |
if ( !a ) { |
MKQUOTE(*c,mkfnode(1,I_FORMULA,(pointer)a)); |
MKQUOTE(*c,mkfnode(1,I_FORMULA,(pointer)a)); |
return; |
return; |
|
} else if ( OID(a) == O_N ) { |
|
MKQUOTE(*c,mkfnode(1,I_FORMULA,(pointer)a)); |
|
return; |
} |
} |
dc = DC((P)a); |
|
vartoquote(VR((P)a),&v); |
vartoquote(VR((P)a),&v); |
for ( t = dc, n = 0; t; t = NEXT(t), n++ ); |
dc = DC((P)a); |
dca = (DCP *)ALLOCA(n*sizeof(DCP)); |
dctoquote(dc,v,&r,&sgn); |
for ( t = dc, i = 0; t; t = NEXT(t), i++ ) |
if ( sgn == -1 ) { |
dca[i] = t; |
MKQUOTE(u,mkfnode(1,I_MINUS,BDY(r))); |
dctoquote(dca[n-1],v,&r); |
|
for ( i = n-2; i >= 0; i-- ) { |
|
dctoquote(dca[i],v,&s); |
|
addquote(CO,s,r,&u); |
|
r = u; |
r = u; |
} |
} |
|
for (dc = NEXT(dc); dc; dc = NEXT(dc) ) { |
|
dctoquote(dc,v,&s,&sgn); |
|
if ( sgn == -1 ) |
|
subquote(CO,r,s,&u); |
|
else |
|
addquote(CO,r,s,&u); |
|
r = u; |
|
} |
*c = r; |
*c = r; |
} |
} |
|
|
void dptoquote(a,c) |
void dptoquote(DP a,QUOTE *c) |
DP a; |
|
QUOTE *c; |
|
{ |
{ |
MP t; |
MP t; |
MP *m; |
MP m; |
int i,n,nv; |
int i,n,nv,sgn; |
QUOTE s,r,u; |
QUOTE s,r,u; |
|
|
if ( !a ) { |
if ( !a ) { |
MKQUOTE(*c,mkfnode(1,I_FORMULA,(pointer)a)); |
MKQUOTE(*c,mkfnode(1,I_FORMULA,(pointer)a)); |
return; |
return; |
} |
} |
for ( t = BDY(a), n = 0; t; t = NEXT(t), n++ ); |
|
m = (MP *)ALLOCA(n*sizeof(MP)); |
|
for ( t = BDY(a), i = 0; t; t = NEXT(t), i++ ) |
|
m[i] = t; |
|
nv = NV(a); |
nv = NV(a); |
mptoquote(m[n-1],nv,&r); |
m = BDY(a); |
for ( i = n-2; i >= 0; i-- ) { |
mptoquote(m,nv,&r,&sgn); |
mptoquote(m[i],nv,&s); |
if ( sgn == -1 ) { |
addquote(CO,s,r,&u); |
MKQUOTE(u,mkfnode(1,I_MINUS,BDY(r))); |
r = u; |
r = u; |
} |
} |
|
for ( m = NEXT(m); m; m = NEXT(m) ) { |
|
mptoquote(m,nv,&s,&sgn); |
|
if ( sgn < 0 ) |
|
subquote(CO,r,s,&u); |
|
else |
|
addquote(CO,r,s,&u); |
|
r = u; |
|
} |
*c = r; |
*c = r; |
} |
} |
|
|
void dctoquote(dc,v,c) |
void dctoquote(DCP dc,QUOTE v,QUOTE *q,int *sgn) |
DCP dc; |
|
QUOTE v; |
|
QUOTE *c; |
|
{ |
{ |
QUOTE r,d,s,u; |
QUOTE t,s,u,r; |
|
P c; |
|
Q d; |
|
|
if ( UNIQ(COEF(dc)) ) { |
if ( mmono(COEF(dc)) ) { |
if ( DEG(dc) ) { |
/* -xyz... */ |
if ( UNIQ(DEG(dc)) ) |
chsgnp(COEF(dc),&c); |
*c = v; |
*sgn = -1; |
|
} else { |
|
c = COEF(dc); |
|
*sgn = 1; |
|
} |
|
d = DEG(dc); |
|
if ( UNIQ(c) ) { |
|
if ( d ) { |
|
if ( UNIQ(d) ) |
|
r = v; |
else { |
else { |
objtoquote(DEG(dc),&d); |
objtoquote((Obj)d,&t); |
pwrquote(CO,v,d,c); |
pwrquote(CO,v,t,&r); |
} |
} |
} else |
} else |
objtoquote(ONE,c); |
objtoquote((Obj)ONE,&r); |
} else { |
} else { |
objtoquote(COEF(dc),&u); |
objtoquote((Obj)c,&u); |
if ( DEG(dc) ) { |
if ( !NUM(c) && NEXT(DC(c)) && d ) { |
if ( UNIQ(DEG(dc)) ) |
MKQUOTE(t,mkfnode(1,I_PAREN,BDY(u))); |
|
u = t; |
|
} |
|
if ( d ) { |
|
if ( UNIQ(d) ) |
s = v; |
s = v; |
else { |
else { |
objtoquote(DEG(dc),&d); |
objtoquote((Obj)d,&t); |
pwrquote(CO,v,d,&s); |
pwrquote(CO,v,t,&s); |
} |
} |
mulquote(CO,u,s,c); |
mulquote(CO,u,s,&r); |
} else |
} else |
*c = u; |
r = u; |
} |
} |
|
*q = r; |
} |
} |
|
|
void mptoquote(m,n,c) |
void mptoquote(MP m,int n,QUOTE *r,int *sgn) |
MP m; |
|
int n; |
|
QUOTE *c; |
|
{ |
{ |
QUOTE s,u; |
QUOTE s,u; |
|
P c; |
NODE t,t1; |
NODE t,t1; |
FNODE f; |
FNODE f; |
Q q; |
Q q; |
DL dl; |
DL dl; |
int i; |
int i; |
|
|
objtoquote(C(m),&s); |
if ( mmono(C(m)) ) { |
|
chsgnp(C(m),&c); |
|
*sgn = -1; |
|
} else { |
|
c = C(m); |
|
*sgn = 1; |
|
} |
|
objtoquote((Obj)c,&s); |
|
if ( !NUM(c) && NEXT(DC(c)) ) { |
|
MKQUOTE(u,mkfnode(1,I_PAREN,BDY(s))); |
|
s = u; |
|
} |
dl = m->dl; |
dl = m->dl; |
for ( i = n-1; i >= 0; i-- ) { |
for ( i = n-1, t = 0; i >= 0; i-- ) { |
STOQ(dl->d[i],q); |
STOQ(dl->d[i],q); |
f = mkfnode(1,I_FORMULA,q); |
f = mkfnode(1,I_FORMULA,q); |
MKNODE(t1,f,t); |
MKNODE(t1,f,t); |
t = t1; |
t = t1; |
} |
} |
MKQUOTE(u,mkfnode(1,I_EV,t)); |
MKQUOTE(u,mkfnode(1,I_EV,t)); |
mulquote(CO,s,u,c); |
if ( UNIQ(c) ) |
|
*r = u; |
|
else |
|
mulquote(CO,s,u,r); |
} |
} |
|
|
void vartoquote(v,c) |
void vartoquote(V v,QUOTE *c) |
V v; |
|
QUOTE *c; |
|
{ |
{ |
P x; |
P x; |
PF pf; |
PF pf; |