version 1.30, 2004/03/09 03:14:24 |
version 1.33, 2004/03/09 07:25:35 |
|
|
* 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.29 2004/03/09 02:51:36 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/strobj.c,v 1.32 2004/03/09 07:18:26 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 117 int register_symbol_table(Obj arg); |
|
Line 117 int register_symbol_table(Obj arg); |
|
int register_conv_rule(Obj arg); |
int register_conv_rule(Obj arg); |
int register_dp_vars(Obj arg); |
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_show_lt(Obj arg); |
int register_show_lt(Obj arg); |
static struct TeXSymbol *user_texsymbol; |
static struct TeXSymbol *user_texsymbol; |
static char **dp_vars; |
static char **dp_vars; |
Line 126 static int show_lt; |
|
Line 127 static int show_lt; |
|
static FUNC convfunc; |
static FUNC convfunc; |
static int is_lt; |
static int is_lt; |
static int conv_flag; |
static int conv_flag; |
|
static int dp_vars_hweyl; |
|
|
#define CONV_SUBSCRIPT (1U<<0) |
#define CONV_SUBSCRIPT (1U<<0) |
#define CONV_DMODE (1U<<1) |
#define CONV_DMODE (1U<<1) |
|
|
{"conv_rule",0,register_conv_rule}, |
{"conv_rule",0,register_conv_rule}, |
{"dp_vars",0,register_dp_vars}, |
{"dp_vars",0,register_dp_vars}, |
{"dp_vars_prefix",0,register_dp_vars_prefix}, |
{"dp_vars_prefix",0,register_dp_vars_prefix}, |
|
{"dp_vars_hweyl",0,register_dp_vars_hweyl}, |
{"show_lt",0,register_show_lt}, |
{"show_lt",0,register_show_lt}, |
{0,0,0}, |
{0,0,0}, |
}; |
}; |
Line 176 char *conv_rule(char *name) |
|
Line 179 char *conv_rule(char *name) |
|
char *conv_subscript(char *name) |
char *conv_subscript(char *name) |
{ |
{ |
int i,j,k,len,clen,slen,start,level; |
int i,j,k,len,clen,slen,start,level; |
char *buf,*head,*r,*h; |
char *buf,*head,*r,*h,*brace; |
char **subs; |
char **subs; |
|
|
len = strlen(name); |
len = strlen(name); |
for ( i = 0; i < len && (isalpha(name[i]) || name[i]=='\\'); i++ ); |
|
if ( i == len ) return symbol_name(name); |
|
buf = (char *)ALLOCA((i+1)*sizeof(char)); |
|
strncpy(buf,name,i); buf[i] = 0; |
|
head = symbol_name(buf); |
|
subs = (char **)ALLOCA(len*sizeof(char* )); |
subs = (char **)ALLOCA(len*sizeof(char* )); |
for ( j = 0, start = i; ; j++ ) { |
for ( i = 0, j = 0, start = i; ; j++ ) { |
while ( (i < len) && (name[i] == '_' || name[i] == ',') ) i++; |
while ( (i < len) && |
if ( i == len ) break; |
(name[i] == ' ' || name[i] == '_' || name[i] == ',') ) i++; |
start = i; |
start = i; |
|
if ( i == len ) break; |
if ( name[i] == '{' ) { |
if ( name[i] == '{' ) { |
for ( level = 1, i++; i < len && level; i++ ) { |
for ( level = 1, i++; i < len && level; i++ ) { |
if ( name[i] == '{' ) level++; |
if ( name[i] == '{' ) level++; |
else if ( name[i] == '}' ) level--; |
else if ( name[i] == '}' ) level--; |
} |
} |
} else if ( isdigit(name[i]) ) |
slen = i-start; |
while ( i < len && isdigit(name[i]) ) i++; |
brace = (char *)ALLOCA((slen+1)*sizeof(char)); |
else |
strncpy(brace,name+start+1,slen-2); |
while ( i < len && (isalpha(name[i]) || name[i] == '\\') ) i++; |
brace[slen-2] = 0; |
slen = i-start; |
buf = conv_subscript(brace); |
buf = (char *)ALLOCA((slen+1)*sizeof(char)); |
subs[j] = (char *)ALLOCA((strlen(buf)+3)*sizeof(char)); |
strncpy(buf,name+start,slen); buf[slen] = 0; |
sprintf(subs[j],"{%s}",buf); |
subs[j] = symbol_name(buf); |
} else { |
|
if ( isdigit(name[i]) ) |
|
while ( i < len && isdigit(name[i]) ) i++; |
|
else |
|
while ( i < len && (isalpha(name[i]) || name[i] == '\\') ) i++; |
|
slen = i-start; |
|
buf = (char *)ALLOCA((slen+1)*sizeof(char)); |
|
strncpy(buf,name+start,slen); buf[slen] = 0; |
|
subs[j] = symbol_name(buf); |
|
} |
} |
} |
for ( k = 0, clen = strlen(head); k < j; k++ ) clen += strlen(subs[k]); |
for ( k = 0, clen = 0; k < j; k++ ) clen += strlen(subs[k]); |
/* {head}_{{subs(0)},...,{subs(j-1)}} => {}:j+2 _:1 ,:j-1 */ |
/* {subs(0)}_{{subs(1)},...,{subs(j-1)}} => {}:j+1 _:1 ,:j-2 */ |
h = r = MALLOC_ATOMIC((clen+(j+2)*2+1+(j-1)+1)*sizeof(char)); |
h = r = MALLOC_ATOMIC((clen+(j+1)*2+1+(j-2)+1)*sizeof(char)); |
if ( !j ) |
if ( j == 1 ) |
sprintf(h,"{%s}",head); |
sprintf(h,"{%s}",subs[0]); |
else { |
else { |
sprintf(h,"{%s}_{{%s}",head,subs[0]); |
sprintf(h,"{%s}_{{%s}",subs[0],subs[1]); |
h += strlen(h); |
h += strlen(h); |
for ( k = 1; k < j; k++ ) { |
for ( k = 2; k < j; k++ ) { |
sprintf(h,",{%s}",subs[k]); |
sprintf(h,",{%s}",subs[k]); |
h += strlen(h); |
h += strlen(h); |
} |
} |
Line 280 int register_symbol_table(Obj arg) |
|
Line 288 int register_symbol_table(Obj arg) |
|
return 1; |
return 1; |
} |
} |
|
|
|
int register_dp_vars_hweyl(Obj arg) |
|
{ |
|
if ( INT(arg) ) { |
|
dp_vars_hweyl = QTOS((Q)arg); |
|
return 1; |
|
} else return 0; |
|
} |
|
|
int register_show_lt(Obj arg) |
int register_show_lt(Obj arg) |
{ |
{ |
if ( INT(arg) ) { |
if ( INT(arg) ) { |
Line 749 void fnodetotex_tb(FNODE f,TB tb) |
|
Line 765 void fnodetotex_tb(FNODE f,TB tb) |
|
char vname[BUFSIZ]; |
char vname[BUFSIZ]; |
char *opname,*vname_conv; |
char *opname,*vname_conv; |
Obj obj; |
Obj obj; |
int i,len,allzero; |
int i,len,allzero,elen,elen2; |
FNODE fi,f2; |
FNODE fi,f2; |
|
|
write_tb(" ",tb); |
write_tb(" ",tb); |
Line 963 void fnodetotex_tb(FNODE f,TB tb) |
|
Line 979 void fnodetotex_tb(FNODE f,TB tb) |
|
/* exponent vector */ |
/* exponent vector */ |
case I_EV: |
case I_EV: |
n = (NODE)FA0(f); |
n = (NODE)FA0(f); |
|
if ( dp_vars_hweyl ) { |
|
elen = length(n); |
|
elen2 = elen>>1; |
|
elen = elen2<<1; |
|
} |
allzero = 1; |
allzero = 1; |
if ( show_lt && is_lt ) |
if ( show_lt && is_lt ) |
write_tb("\\underline{",tb); |
write_tb("\\underline{",tb); |
Line 970 void fnodetotex_tb(FNODE f,TB tb) |
|
Line 991 void fnodetotex_tb(FNODE f,TB tb) |
|
fi = (FNODE)BDY(n); |
fi = (FNODE)BDY(n); |
if ( fi->id == I_FORMULA && !FA0(fi) ) continue; |
if ( fi->id == I_FORMULA && !FA0(fi) ) continue; |
allzero = 0; |
allzero = 0; |
if ( dp_vars && i < dp_vars_len ) |
if ( dp_vars_hweyl ) { |
|
if ( i < elen2 ) |
|
if ( dp_vars_prefix ) |
|
sprintf(vname,"%s_{%d}",dp_vars_prefix,i); |
|
else |
|
sprintf(vname,"x_{%d}",i); |
|
else if ( i < elen ) |
|
sprintf(vname,"{\\partial}_{%d}",i-elen2); |
|
else |
|
strcpy(vname,"h"); |
|
} else if ( dp_vars && i < dp_vars_len ) |
strcpy(vname,dp_vars[i]); |
strcpy(vname,dp_vars[i]); |
else if ( dp_vars_prefix ) |
else if ( dp_vars_prefix ) |
sprintf(vname,"%s_{%d}",dp_vars_prefix,i); |
sprintf(vname,"%s_{%d}",dp_vars_prefix,i); |