version 1.38, 2004/03/11 03:39:39 |
version 1.40, 2004/03/11 07:40:41 |
|
|
* 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/strobj.c,v 1.37 2004/03/10 06:12:25 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/strobj.c,v 1.39 2004/03/11 04:52:17 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 121 int register_dp_vars(Obj arg); |
|
Line 121 int register_dp_vars(Obj arg); |
|
int register_dp_vars_prefix(Obj arg); |
int register_dp_vars_prefix(Obj arg); |
int register_dp_vars_hweyl(Obj arg); |
int register_dp_vars_hweyl(Obj arg); |
int register_show_lt(Obj arg); |
int register_show_lt(Obj arg); |
|
char *objtostr(Obj obj); |
static struct TeXSymbol *user_texsymbol; |
static struct TeXSymbol *user_texsymbol; |
static char **dp_vars; |
static char **dp_vars; |
static int dp_vars_len; |
static int dp_vars_len; |
Line 161 char *conv_rule(char *name) |
|
Line 162 char *conv_rule(char *name) |
|
if ( conv_flag & CONV_DMODE ) { |
if ( conv_flag & CONV_DMODE ) { |
if ( *name == 'd' ) { |
if ( *name == 'd' ) { |
body = conv_flag&CONV_SUBS?conv_subs(name+1):symbol_name(name+1); |
body = conv_flag&CONV_SUBS?conv_subs(name+1):symbol_name(name+1); |
r = MALLOC_ATOMIC((strlen(PARTIAL)+strlen(body)+5)*sizeof(char)); |
if ( !body ) { |
sprintf(r,strlen(body)==1?"{%s}_%s":"{%s}_{%s}",PARTIAL,body); |
r = MALLOC_ATOMIC((strlen(PARTIAL)+1)*sizeof(char)); |
|
strcpy(r,PARTIAL); |
|
} else { |
|
r = MALLOC_ATOMIC((strlen(PARTIAL)+strlen(body)+5) |
|
*sizeof(char)); |
|
sprintf(r,strlen(body)==1?"{%s}_%s":"{%s}_{%s}",PARTIAL,body); |
|
} |
return r; |
return r; |
} else |
} else |
return conv_flag&CONV_SUBS?conv_subs(name):symbol_name(name); |
return conv_flag&CONV_SUBS?conv_subs(name):symbol_name(name); |
Line 170 char *conv_rule(char *name) |
|
Line 177 char *conv_rule(char *name) |
|
return conv_flag&CONV_SUBS?conv_subs(name):symbol_name(name); |
return conv_flag&CONV_SUBS?conv_subs(name):symbol_name(name); |
} |
} |
|
|
|
int _is_delimiter(char c) |
|
{ |
|
if ( (c == ' ' || c == '_' || c == ',') ) return 1; |
|
else return 0; |
|
} |
|
|
|
int _is_alpha(char c) |
|
{ |
|
if ( isdigit(c) || c == '{' || _is_delimiter(c) ) return 0; |
|
else return 1; |
|
} |
|
|
char *conv_subs(char *name) |
char *conv_subs(char *name) |
{ |
{ |
int i,j,k,len,clen,slen,start,level; |
int i,j,k,len,clen,slen,start,level; |
Line 180 char *conv_subs(char *name) |
|
Line 199 char *conv_subs(char *name) |
|
if ( !len ) return 0; |
if ( !len ) return 0; |
subs = (char **)ALLOCA(len*sizeof(char* )); |
subs = (char **)ALLOCA(len*sizeof(char* )); |
for ( i = 0, j = 0, start = i; ; j++ ) { |
for ( i = 0, j = 0, start = i; ; j++ ) { |
while ( (i < len) && |
while ( (i < len) && _is_delimiter(name[i]) ) i++; |
(name[i] == ' ' || name[i] == '_' || name[i] == ',') ) i++; |
|
start = i; |
start = i; |
if ( i == len ) break; |
if ( i == len ) break; |
if ( name[i] == '{' ) { |
if ( name[i] == '{' ) { |
Line 206 char *conv_subs(char *name) |
|
Line 224 char *conv_subs(char *name) |
|
if ( isdigit(name[i]) ) |
if ( isdigit(name[i]) ) |
while ( i < len && isdigit(name[i]) ) i++; |
while ( i < len && isdigit(name[i]) ) i++; |
else |
else |
while ( i < len && (isalpha(name[i]) || name[i] == '\\') ) i++; |
while ( i < len && _is_alpha(name[i]) ) i++; |
slen = i-start; |
slen = i-start; |
buf = (char *)ALLOCA((slen+1)*sizeof(char)); |
buf = (char *)ALLOCA((slen+1)*sizeof(char)); |
strncpy(buf,name+start,slen); buf[slen] = 0; |
strncpy(buf,name+start,slen); buf[slen] = 0; |
Line 778 void fnodetotex_tb(FNODE f,TB tb) |
|
Line 796 void fnodetotex_tb(FNODE f,TB tb) |
|
char *opname,*vname_conv,*prefix_conv; |
char *opname,*vname_conv,*prefix_conv; |
Obj obj; |
Obj obj; |
int i,len,allzero,elen,elen2; |
int i,len,allzero,elen,elen2; |
|
C cplx; |
|
char *r; |
FNODE fi,f2; |
FNODE fi,f2; |
|
|
write_tb(" ",tb); |
write_tb(" ",tb); |
Line 964 void fnodetotex_tb(FNODE f,TB tb) |
|
Line 984 void fnodetotex_tb(FNODE f,TB tb) |
|
|
|
/* function */ |
/* function */ |
case I_FUNC: |
case I_FUNC: |
opname = conv_rule(((FUNC)FA0(f))->name); |
if ( !strcmp(((FUNC)FA0(f))->name,"@pi") ) |
write_tb(opname,tb); |
write_tb("\\pi",tb); |
write_tb("(",tb); |
else if ( !strcmp(((FUNC)FA0(f))->name,"@e") ) |
fargstotex_tb(opname,FA1(f),tb); |
write_tb("e",tb); |
write_tb(")",tb); |
else { |
|
opname = conv_rule(((FUNC)FA0(f))->name); |
|
write_tb(opname,tb); |
|
write_tb("(",tb); |
|
fargstotex_tb(opname,FA1(f),tb); |
|
write_tb(")",tb); |
|
} |
break; |
break; |
|
|
/* XXX */ |
/* XXX */ |
Line 1055 void fnodetotex_tb(FNODE f,TB tb) |
|
Line 1081 void fnodetotex_tb(FNODE f,TB tb) |
|
/* internal object */ |
/* internal object */ |
case I_FORMULA: |
case I_FORMULA: |
obj = (Obj)FA0(f); |
obj = (Obj)FA0(f); |
if ( obj && OID(obj) == O_P ) { |
if ( !obj ) |
opname = conv_rule(VR((P)obj)->name); |
opname = "0"; |
} else { |
else if ( OID(obj) == O_N && NID(obj) == N_C ) { |
len = estimate_length(CO,obj); |
cplx = (C)obj; |
opname = (char *)MALLOC_ATOMIC(len+1); |
write_tb("(",tb); |
soutput_init(opname); |
if ( cplx->r ) { |
sprintexpr(CO,obj); |
r = objtostr((Obj)cplx->r); write_tb(r,tb); |
} |
} |
write_tb(opname,tb); |
if ( cplx->i ) { |
|
if ( cplx->r && compnum(0,cplx->i,0) > 0 ) { |
|
write_tb("+",tb); |
|
if ( !UNIQ(cplx->i) ) { |
|
r = objtostr((Obj)cplx->i); write_tb(r,tb); |
|
} |
|
} else if ( MUNIQ(cplx->i) ) |
|
write_tb("-",tb); |
|
else if ( !UNIQ(cplx->i) ) { |
|
r = objtostr((Obj)cplx->i); write_tb(r,tb); |
|
} |
|
write_tb("\\sqrt{-1}",tb); |
|
} |
|
write_tb(")",tb); |
|
} else if ( OID(obj) == O_P ) |
|
write_tb(conv_rule(VR((P)obj)->name),tb); |
|
else |
|
write_tb(objtostr(obj),tb); |
break; |
break; |
|
|
/* program variable */ |
/* program variable */ |
Line 1077 void fnodetotex_tb(FNODE f,TB tb) |
|
Line 1120 void fnodetotex_tb(FNODE f,TB tb) |
|
default: |
default: |
error("fnodetotex_tb : not implemented yet"); |
error("fnodetotex_tb : not implemented yet"); |
} |
} |
|
} |
|
|
|
char *objtostr(Obj obj) |
|
{ |
|
int len; |
|
char *r; |
|
|
|
len = estimate_length(CO,obj); |
|
r = (char *)MALLOC_ATOMIC(len+1); |
|
soutput_init(r); |
|
sprintexpr(CO,obj); |
|
return r; |
} |
} |
|
|
void fnodenodetotex_tb(NODE n,TB tb) |
void fnodenodetotex_tb(NODE n,TB tb) |