version 1.12, 2004/03/10 05:27:03 |
version 1.13, 2004/03/11 09:52:56 |
|
|
/* $OpenXM: OpenXM_contrib2/asir2000/parse/quote.c,v 1.11 2004/03/10 02:41:08 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2000/parse/quote.c,v 1.12 2004/03/10 05:27:03 noro Exp $ */ |
|
|
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 298 void vartoquote(V v,QUOTE *c) |
|
Line 298 void vartoquote(V v,QUOTE *c) |
|
P x; |
P x; |
PF pf; |
PF pf; |
PFAD ad; |
PFAD ad; |
QUOTE a,b; |
QUOTE a,b,u; |
int i; |
int i; |
FUNC f; |
FUNC f; |
NODE t,t1; |
NODE t,t1; |
Line 312 void vartoquote(V v,QUOTE *c) |
|
Line 312 void vartoquote(V v,QUOTE *c) |
|
ad = ((PFINS)v->priv)->ad; |
ad = ((PFINS)v->priv)->ad; |
if ( !strcmp(NAME(pf),"pow") ) { |
if ( !strcmp(NAME(pf),"pow") ) { |
/* pow(a,b) = a^b */ |
/* pow(a,b) = a^b */ |
objtoquote(ad[0].arg,&a); objtoquote(ad[1].arg,&b); |
objtoquote(ad[0].arg,&a); |
pwrquote(CO,a,b,c); |
x = (P)ad[0].arg; |
|
/* check whether x is a variable */ |
|
if ( x && OID(x)==O_P && !NEXT(DC(x)) |
|
&& UNIQ(DEG(DC(x))) && UNIQ(COEF(DC(x))) ) { |
|
/* use a as is */ |
|
u = a; |
|
} else { |
|
/* a => (a) */ |
|
MKQUOTE(u,mkfnode(1,I_PAREN,BDY(a))); |
|
} |
|
objtoquote(ad[1].arg,&b); |
|
pwrquote(CO,u,b,c); |
} else { |
} else { |
for ( i = 0; i < pf->argc; i++ ) |
for ( i = 0; i < pf->argc; i++ ) |
if ( ad[i].d ) |
if ( ad[i].d ) |