version 1.28, 2004/01/07 06:25:42 |
version 1.41, 2014/05/12 02:35: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/ctrl.c,v 1.27 2003/12/02 06:56:47 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.40 2013/01/30 08:03:18 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
|
|
|
struct ftab ctrl_tab[] = { |
struct ftab ctrl_tab[] = { |
{"ctrl",Pctrl,-2}, |
{"ctrl",Pctrl,-2}, |
|
{"asir_env",Pctrl,-2}, |
{0,0,0}, |
{0,0,0}, |
}; |
}; |
|
|
|
extern int error_in_timer; |
extern int prtime,nez,echoback,bigfloat; |
extern int prtime,nez,echoback,bigfloat; |
extern int GC_free_space_numerator,GC_free_space_divisor,debug_up; |
extern int debug_up; |
extern int GC_max_heap_size,Verbose,hideargs,hex_output,do_server_in_X11; |
extern int GC_max_heap_size,Verbose,hideargs,hex_output,do_server_in_X11; |
extern int do_message; |
extern int do_message,do_terse; |
extern int ox_batch,ox_check,ox_exchange_mathcap; |
extern int ox_batch,ox_check,ox_exchange_mathcap; |
extern int f4_nocheck; |
extern int f4_nocheck; |
extern int StrassenSize; |
extern int StrassenSize; |
Line 68 extern int outputstyle; |
|
Line 70 extern int outputstyle; |
|
extern int fortran_output; |
extern int fortran_output; |
extern int real_digit; |
extern int real_digit; |
extern int real_binary; |
extern int real_binary; |
|
extern int allow_laurent; |
#if defined(INTERVAL) |
#if defined(INTERVAL) |
extern int zerorewrite; |
extern int zerorewrite; |
|
extern int Itvplot; |
#endif |
#endif |
extern int double_output; |
extern int double_output; |
extern int use_new_hensel; |
extern int use_new_hensel; |
Line 77 extern int print_quote; |
|
Line 81 extern int print_quote; |
|
extern int show_crossref; |
extern int show_crossref; |
extern Obj user_defined_prompt; |
extern Obj user_defined_prompt; |
extern int asir_setenv; |
extern int asir_setenv; |
|
extern int show_orderspec; |
|
extern int no_debug_on_error; |
|
extern int diag_period; |
|
extern int weight_check; |
|
extern char **ASIRLOADPATH; |
|
extern int ASIRLOADPATH_LEN; |
|
|
static struct { |
static struct { |
char *key; |
char *key; |
int *val; |
int *val; |
} ctrls[] = { |
} ctrls[] = { |
|
{"error_in_timer",&error_in_timer}, |
{"cputime",&prtime}, |
{"cputime",&prtime}, |
{"nez",&nez}, |
{"nez",&nez}, |
{"echo",&echoback}, |
{"echo",&echoback}, |
#if defined(DO_PLOT) |
#if defined(PARI) |
{"bigfloat",&bigfloat}, |
{"bigfloat",&bigfloat}, |
#endif |
#endif |
{"verbose",&Verbose}, |
{"verbose",&Verbose}, |
|
|
{"hex",&hex_output}, |
{"hex",&hex_output}, |
{"debug_window",&do_server_in_X11}, |
{"debug_window",&do_server_in_X11}, |
{"message",&do_message}, |
{"message",&do_message}, |
|
{"terse",&do_terse}, |
{"debug_up",&debug_up}, |
{"debug_up",&debug_up}, |
{"no_prompt",&do_quiet}, |
{"no_prompt",&do_quiet}, |
{"asir_setenv",&asir_setenv}, |
{"asir_setenv",&asir_setenv}, |
|
|
{"new_hensel",&use_new_hensel}, |
{"new_hensel",&use_new_hensel}, |
{"print_quote",&print_quote}, |
{"print_quote",&print_quote}, |
{"show_crossref",&show_crossref}, |
{"show_crossref",&show_crossref}, |
|
{"allow_laurent",&allow_laurent}, |
|
{"show_orderspec",&show_orderspec}, |
|
{"no_debug_on_error",&no_debug_on_error}, |
|
{"diag_period",&diag_period}, |
|
{"weight_check",&weight_check}, |
#if defined(INTERVAL) |
#if defined(INTERVAL) |
{"zerorewrite",&zerorewrite}, |
{"zerorewrite",&zerorewrite}, |
|
{"itvplotsize",&Itvplot}, |
#endif |
#endif |
{0,0}, |
{0,0}, |
}; |
}; |
|
|
Q *rp; |
Q *rp; |
{ |
{ |
int t,i,n; |
int t,i,n; |
|
int nm,dv; |
N num,den; |
N num,den; |
Q c; |
Q c; |
char *key; |
char *key; |
char buf[BUFSIZ]; |
char buf[BUFSIZ]; |
char *str; |
char *str; |
|
STRING s; |
|
NODE node,p; |
|
LIST list; |
|
|
if ( !arg ) { |
if ( !arg ) { |
*rp = 0; |
*rp = 0; |
|
|
if ( !strcmp(key,"adj") ) { |
if ( !strcmp(key,"adj") ) { |
/* special treatment is necessary for "adj" */ |
/* special treatment is necessary for "adj" */ |
if ( argc(arg) == 1 ) { |
if ( argc(arg) == 1 ) { |
UTON(GC_free_space_divisor,num); |
Risa_GC_get_adj(&nm,&dv); |
UTON(GC_free_space_numerator,den); |
UTON(dv,num); |
|
UTON(nm,den); |
} else { |
} else { |
c = (Q)ARG1(arg); |
c = (Q)ARG1(arg); |
if ( !c ) |
if ( !c ) |
error("ctrl : adj : invalid argument"); |
error("ctrl : adj : invalid argument"); |
num = NM(c); |
num = NM(c); |
den = !DN(c)?ONEN:DN(c); |
den = !DN(c)?ONEN:DN(c); |
GC_free_space_divisor = BD(num)[0]; |
dv = BD(num)[0]; |
GC_free_space_numerator = BD(den)[0]; |
nm = BD(den)[0]; |
|
Risa_GC_set_adj(nm,dv); |
} |
} |
NDTOQ(num,den,1,*rp); |
NDTOQ(num,den,1,*rp); |
return; |
return; |
|
|
do_quiet = 0; |
do_quiet = 0; |
} else { |
} else { |
error("ctrl : prompt : invalid argument"); |
error("ctrl : prompt : invalid argument"); |
|
} |
|
} |
|
return; |
|
} else if ( !strcmp(key,"loadpath") ) { |
|
*rp = 0; |
|
if ( argc(arg) == 1 ) { |
|
if( ASIRLOADPATH[0] ) { |
|
for(i=0; ASIRLOADPATH[i]; i++) { |
|
} |
|
for(i--,p=NULL; i>=0; i--,p=node) { |
|
MKSTR(s,ASIRLOADPATH[i]); |
|
MKNODE(node,s,p); |
|
} |
|
MKLIST(list,node); |
|
*rp = list; |
|
} |
|
} else { |
|
list = (LIST)ARG1(arg); |
|
if ( OID(list) == O_LIST ) { |
|
for(i=0,p=BDY(list); p; i++,p=NEXT(p)) { |
|
s=(STRING)BDY(p); |
|
if(!s || OID(s)!=O_STR) { |
|
error("ctrl : loadpath : invalid argument"); |
|
} |
|
} |
|
if(i >= ASIRLOADPATH_LEN) { |
|
ASIRLOADPATH_LEN = i+1; |
|
ASIRLOADPATH = (char **)MALLOC(sizeof(char *)*ASIRLOADPATH_LEN); |
|
} |
|
for(i=0,p=BDY(list); p; i++,p=NEXT(p)) { |
|
ASIRLOADPATH[i] = (char *)BDY((STRING)BDY(p)); |
|
} |
|
ASIRLOADPATH[i] = NULL; |
|
}else { |
|
error("ctrl : loadpath : invalid argument"); |
} |
} |
} |
} |
return; |
return; |