| version 1.55, 2017/09/04 02:10:33 |
version 1.58, 2018/03/28 09:07:54 |
|
|
| * 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.54 2017/09/04 01:57:53 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.57 2018/03/28 07:58:17 noro Exp $ |
| */ |
*/ |
| #include "ca.h" |
#include "ca.h" |
| #include "parse.h" |
#include "parse.h" |
| Line 116 extern int No_ox_reset; |
|
| Line 116 extern int No_ox_reset; |
|
| extern int plot_by_bigfloat; |
extern int plot_by_bigfloat; |
| extern int debug_plot; |
extern int debug_plot; |
| |
|
| static struct { |
static struct keyval { |
| char *key; |
char *key; |
| int *val; |
int *val; |
| |
char *desc; |
| } ctrls[] = { |
} ctrls[] = { |
| {"error_in_timer",&error_in_timer}, |
{"StrassenSize",&StrassenSize,"Determines the parameter in Strassen-Winograd matrix multiplication algorithm."}, |
| {"cputime",&prtime}, |
{"allow_laurent",&allow_laurent,"If set to 1, negative exponents are allowed in monomials."}, |
| {"nez",&nez}, |
{"asir_setenv",&asir_setenv,"Not used."}, |
| {"echo",&echoback}, |
{"bigfloat",&bigfloat,"If set to 1, MPFR bigfloat functions are used for floating point evaluation." }, |
| {"bigfloat",&bigfloat}, |
{"cputime",&prtime,"If set to 1, the CPU time at the toplevel is shown." }, |
| {"evalef",&evalef}, |
{"debug_up",&debug_up,"If set to 1, some debug messages are printed in special functions for univariate polynomials."}, |
| {"verbose",&Verbose}, |
{"debug_window",&do_server_in_X11,"If set to 1, an input window for debugging remote server are shown."}, |
| {"quiet_mode",&do_quiet}, |
{"diag_period",&diag_period,"Determines the frequency of the intermediate inter-reduction in nd_gr()."}, |
| {"hideargs",&hideargs}, |
{"double_output",&double_output,"If set to 1, floating point numbers are printed in the style ddd.ddd."}, |
| {"hex",&hex_output}, |
{"echo",&echoback,"If set to 1, characters read by the input function are printed." }, |
| {"debug_window",&do_server_in_X11}, |
{"error_in_timer",&error_in_timer,"If set to 1, the usual error handler is executed when the timer is expired."}, |
| {"message",&do_message}, |
{"evalef",&evalef,"If set to 1, elementary functions are evaluated immediately."}, |
| {"terse",&do_terse}, |
{"f4_nocheck",&f4_nocheck,"If set to 1, correctness check of the result of modular computation are omitted in nd_f4()."}, |
| {"debug_up",&debug_up}, |
{"fake_ox_reset",&No_ox_reset,"Determines the treatment of OX reset request for a server which does not implement the reset protocol."}, |
| {"no_prompt",&do_quiet}, |
{"fortran_output",&fortran_output,"If set to 1, ** is used instead of ^ for representing the power."}, |
| {"asir_setenv",&asir_setenv}, |
{"hex",&hex_output,"If set to 1, integers are printed by the hexadecimal notation."}, |
| {"ox_batch",&ox_batch}, |
{"hideargs",&hideargs,"If set to 1, the arguments of a function call are not printed."}, |
| {"ox_check",&ox_check}, |
{"message",&do_message,"If set to 1, an opening message is printed in ox_asir and ox_plot."}, |
| {"ox_exchange_mathcap",&ox_exchange_mathcap}, |
{"new_hensel",&use_new_hensel,"If set to 1, a function hensel2() is used in the univariate factorizer over Q."}, |
| {"f4_nocheck",&f4_nocheck}, |
{"nez",&nez,"If set to 1, a new version of EZGCD implementation is used." }, |
| {"StrassenSize",&StrassenSize}, |
{"no_debug_on_error",&no_debug_on_error,"If set to 1, the debug mode is not used."}, |
| {"outputstyle",&outputstyle}, |
{"no_ox_reset",&No_ox_reset,"Determines the treatment of OX reset request for a server which does not implement the reset protocol."}, |
| {"double_output",&double_output}, |
{"no_prompt",&do_quiet,"If set to 1, prompts are not shown."}, |
| {"real_digit",&real_digit}, |
{"outputstyle",&outputstyle,"If set to 1, structured data such as matrices and vectors are printed in the style mat(...), vect(...)."}, |
| {"real_binary",&real_binary}, |
{"ox_batch",&ox_batch,"If set to 1, the OX stream are not flushed at each sending of an OX data."}, |
| {"fortran_output",&fortran_output}, |
{"ox_check",&ox_check,"If set to 1, mathcap check is done for OpenXM date communication."}, |
| {"new_hensel",&use_new_hensel}, |
{"ox_exchange_mathcap",&ox_exchange_mathcap,"If set to 1, mathcaps are exchanged."}, |
| {"print_quote",&print_quote}, |
{"print_quote",&print_quote,"Determines the behavior of the printed form of a quote."}, |
| {"show_crossref",&show_crossref}, |
{"quiet_mode",&do_quiet,"If set to 1, the copyright notices are not printed at the beginning of the session."}, |
| {"allow_laurent",&allow_laurent}, |
{"real_binary",&real_binary,"If set to 1, a floating point number is printed by the binary notation."}, |
| {"show_orderspec",&show_orderspec}, |
{"real_digit",&real_digit,"Determines the number of digits to appear after the decimal point."}, |
| {"no_debug_on_error",&no_debug_on_error}, |
{"show_crossref",&show_crossref,"If set to 1, cross-references are shown when a program file is loaded."}, |
| {"diag_period",&diag_period}, |
{"show_orderspec",&show_orderspec,"If set to 1, the specification of a composite term order is printed upon its creation."}, |
| {"weight_check",&weight_check}, |
{"terse",&do_terse,"If set to 1, messages are not printed when user-defined callbacks are executed."}, |
| {"no_ox_reset",&No_ox_reset}, |
{"verbose",&Verbose,"If set to 1, a warning is printed if a function is redefined."}, |
| {"fake_ox_reset",&No_ox_reset}, |
{"weight_check",&weight_check,"If set to 1, an overflow check for the given weight vector is done before starting the Groebner basis computation."}, |
| #if defined(DO_PLOT) |
#if defined(DO_PLOT) |
| {"plot_by_bigfloat",&plot_by_bigfloat}, |
{"plot_by_bigfloat",&plot_by_bigfloat,"If set to 1, computation is done by using MPFR bigfloat functions in ox_plot."}, |
| {"debug_plot",&debug_plot}, |
{"debug_plot",&debug_plot,"If set to 1, ox_plot is executed with the message window."}, |
| #endif |
#endif |
| #if defined(INTERVAL) |
#if defined(INTERVAL) |
| {"zerorewrite",&zerorewrite}, |
{"zerorewrite",&zerorewrite,""}, |
| {"itvplotsize",&Itvplot}, |
{"itvplotsize",&Itvplot,""}, |
| #endif |
#endif |
| {0,0}, |
{0,0}, |
| }; |
}; |
| |
|
| |
LIST create_control_value(char *keystr,Obj value,char *descstr,int withdesc) |
| |
{ |
| |
STRING key,desc; |
| |
NODE nd; |
| |
LIST list; |
| |
|
| |
MKSTR(key,keystr); |
| |
if ( withdesc ) { |
| |
MKSTR(desc,descstr); |
| |
nd = mknode(3,key,value,desc); |
| |
} else nd = mknode(2,key,value); |
| |
MKLIST(list,nd); |
| |
return list; |
| |
} |
| |
|
| |
extern Q ox_pari_stream; |
| |
extern int ox_pari_stream_initialized; |
| |
extern P ox_pari_starting_function; |
| |
|
| |
LIST create_control_values(int withdesc) |
| |
{ |
| |
int n,i; |
| |
NODE top,top1,nd,node,p; |
| |
LIST list,l; |
| |
STRING s; |
| |
char *descstr; |
| |
Q val,adj; |
| |
int nm,dv; |
| |
N num,den; |
| |
|
| |
n = sizeof(ctrls)/sizeof(struct keyval)-1; |
| |
top = 0; |
| |
for ( i = n-1; i >= 0; i-- ) { |
| |
STOQ(*(ctrls[i].val),val); |
| |
list = create_control_value(ctrls[i].key,val,ctrls[i].desc,withdesc); |
| |
MKNODE(top1,list,top); top = top1; |
| |
} |
| |
/* adj */ |
| |
Risa_GC_get_adj(&nm,&dv); UTON(nm,num); UTON(dv,den); NDTOQ(num,den,1,adj); |
| |
descstr = "Determines the parameter for Boehm's GC."; |
| |
list = create_control_value("adj",adj,descstr,withdesc); |
| |
MKNODE(top1,list,top); top = top1; |
| |
|
| |
/* prompt */ |
| |
descstr = "Determines the user-defined prompt."; |
| |
list = create_control_value("prompt",user_defined_prompt,descstr,withdesc); |
| |
MKNODE(top1,list,top); top = top1; |
| |
|
| |
/* loadpath */ |
| |
node = 0; |
| |
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(l,node); |
| |
descstr = "List of paths in ASIRLOADPATHt."; |
| |
list = create_control_value("loadpath",l,descstr,withdesc); |
| |
MKNODE(top1,list,top); top = top1; |
| |
|
| |
/* oxpari_id */ |
| |
if(!ox_pari_stream_initialized) { |
| |
STOQ(-1,val); |
| |
} else val = ox_pari_stream; |
| |
descstr = "Id of ox_pari."; |
| |
list = create_control_value("oxpari_id",val,descstr,withdesc); |
| |
MKNODE(top1,list,top); top = top1; |
| |
|
| |
/* oxpari_start */ |
| |
val = (Q)ox_pari_starting_function; |
| |
descstr = "oxpari starting function."; |
| |
list = create_control_value("oxpari_start",val,descstr,withdesc); |
| |
MKNODE(top1,list,top); top = top1; |
| |
|
| |
MKLIST(list,top); |
| |
return list; |
| |
} |
| |
|
| void Pctrl(NODE arg,Q *rp) |
void Pctrl(NODE arg,Q *rp) |
| { |
{ |
| int t,i,n; |
int t,i,n,desc=0; |
| int nm,dv; |
int nm,dv; |
| N num,den; |
N num,den; |
| Q c; |
Q c; |
| Line 177 void Pctrl(NODE arg,Q *rp) |
|
| Line 258 void Pctrl(NODE arg,Q *rp) |
|
| char buf[BUFSIZ]; |
char buf[BUFSIZ]; |
| char *str; |
char *str; |
| STRING s; |
STRING s; |
| NODE node,p; |
NODE node,p,opt; |
| LIST list; |
LIST list; |
| P f; |
P f; |
| extern Q ox_pari_stream; |
Obj value; |
| extern int ox_pari_stream_initialized; |
|
| extern P ox_pari_starting_function; |
|
| |
|
| if ( !arg ) { |
if ( !arg ) { |
| *rp = 0; |
if ( current_option ) { |
| |
for ( opt = current_option; opt; opt = NEXT(opt) ) { |
| |
p = BDY((LIST)BDY(opt)); |
| |
key = BDY((STRING)BDY(p)); |
| |
value = (Obj)BDY(NEXT(p)); |
| |
if ( !strcmp(key,"desc") && value ) { |
| |
desc = value ? 1 : 0; |
| |
break; |
| |
} |
| |
} |
| |
} |
| |
*rp = create_control_values(desc); |
| return; |
return; |
| } |
} |
| key = BDY((STRING)ARG0(arg)); |
key = BDY((STRING)ARG0(arg)); |