| version 1.33, 2004/11/24 06:01:04 |
version 1.40, 2013/01/30 08:03:18 |
|
|
| * 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.32 2004/09/15 06:06:41 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.39 2009/02/05 08:37:02 ohara Exp $ |
| */ |
*/ |
| #include "ca.h" |
#include "ca.h" |
| #include "parse.h" |
#include "parse.h" |
| Line 60 struct ftab ctrl_tab[] = { |
|
| Line 60 struct ftab ctrl_tab[] = { |
|
| |
|
| extern int error_in_timer; |
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 73 extern int real_binary; |
|
| Line 73 extern int real_binary; |
|
| extern int allow_laurent; |
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 81 extern int show_crossref; |
|
| Line 82 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 show_orderspec; |
| |
extern int no_debug_on_error; |
| |
extern int diag_period; |
| |
extern int weight_check; |
| |
|
| static struct { |
static struct { |
| char *key; |
char *key; |
|
|
| {"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}, |
|
|
| {"show_crossref",&show_crossref}, |
{"show_crossref",&show_crossref}, |
| {"allow_laurent",&allow_laurent}, |
{"allow_laurent",&allow_laurent}, |
| {"show_orderspec",&show_orderspec}, |
{"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; |
|
|
| 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; |