version 1.8, 2004/03/04 01:41:32 |
version 1.12, 2004/03/10 05:27:03 |
|
|
/* $OpenXM: OpenXM_contrib2/asir2000/parse/quote.c,v 1.7 2004/03/03 09:25:30 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" |
Line 158 void polytoquote(P a,QUOTE *c) |
|
Line 158 void polytoquote(P a,QUOTE *c) |
|
int n,i,sgn; |
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; |
} |
} |
vartoquote(VR((P)a),&v); |
vartoquote(VR((P)a),&v); |
dc = DC((P)a); |
dc = DC((P)a); |
Line 236 void dctoquote(DCP dc,QUOTE v,QUOTE *q,int *sgn) |
|
Line 239 void dctoquote(DCP dc,QUOTE v,QUOTE *q,int *sgn) |
|
objtoquote((Obj)ONE,&r); |
objtoquote((Obj)ONE,&r); |
} else { |
} else { |
objtoquote((Obj)c,&u); |
objtoquote((Obj)c,&u); |
if ( !NUM(c) && NEXT(DC(c)) ) { |
if ( !NUM(c) && NEXT(DC(c)) && d ) { |
MKQUOTE(t,mkfnode(1,I_PAREN,BDY(u))); |
MKQUOTE(t,mkfnode(1,I_PAREN,BDY(u))); |
u = t; |
u = t; |
} |
} |
Line 277 void mptoquote(MP m,int n,QUOTE *r,int *sgn) |
|
Line 280 void mptoquote(MP m,int n,QUOTE *r,int *sgn) |
|
s = u; |
s = u; |
} |
} |
dl = m->dl; |
dl = m->dl; |
if ( !dl->td ) |
for ( i = n-1, t = 0; i >= 0; i-- ) { |
*r = s; |
STOQ(dl->d[i],q); |
else { |
f = mkfnode(1,I_FORMULA,q); |
for ( i = n-1, t = 0; i >= 0; i-- ) { |
MKNODE(t1,f,t); |
STOQ(dl->d[i],q); |
t = t1; |
f = mkfnode(1,I_FORMULA,q); |
|
MKNODE(t1,f,t); |
|
t = t1; |
|
} |
|
MKQUOTE(u,mkfnode(1,I_EV,t)); |
|
if ( UNIQ(c) ) |
|
*r = u; |
|
else |
|
mulquote(CO,s,u,r); |
|
} |
} |
|
MKQUOTE(u,mkfnode(1,I_EV,t)); |
|
if ( UNIQ(c) ) |
|
*r = u; |
|
else |
|
mulquote(CO,s,u,r); |
} |
} |
|
|
void vartoquote(V v,QUOTE *c) |
void vartoquote(V v,QUOTE *c) |