version 1.49, 2016/03/31 06:41:20 |
version 1.57, 2018/03/28 07:58:17 |
|
|
* 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.48 2015/08/14 13:51:54 fujimoto Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.56 2018/03/28 07:44:05 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 112 extern int diag_period; |
|
Line 112 extern int diag_period; |
|
extern int weight_check; |
extern int weight_check; |
extern char **ASIRLOADPATH; |
extern char **ASIRLOADPATH; |
extern int ASIRLOADPATH_LEN; |
extern int ASIRLOADPATH_LEN; |
|
extern int No_ox_reset; |
|
extern int plot_by_bigfloat; |
|
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."}, |
|
{"verbose",&Verbose,"If set to 1, a warning is printed if a function is redefined."}, |
|
{"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) |
|
{"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,"If set to 1, ox_plot is executed with the message window."}, |
|
#endif |
#if defined(INTERVAL) |
#if defined(INTERVAL) |
{"zerorewrite",&zerorewrite}, |
{"zerorewrite",&zerorewrite,""}, |
{"itvplotsize",&Itvplot}, |
{"itvplotsize",&Itvplot,""}, |
#endif |
#endif |
{0,0}, |
{0,0}, |
}; |
}; |
|
|
void Pctrl(arg,rp) |
LIST create_control_values(int withdesc) |
NODE arg; |
|
Q *rp; |
|
{ |
{ |
int t,i,n; |
int n,i; |
|
NODE top,top1,nd; |
|
LIST list; |
|
STRING key,desc; |
|
Q val; |
|
|
|
n = sizeof(ctrls)/sizeof(struct keyval)-1; |
|
top = 0; |
|
for ( i = n-1; i >= 0; i-- ) { |
|
MKSTR(key,ctrls[i].key); |
|
MKSTR(desc,ctrls[i].desc); |
|
STOQ(*(ctrls[i].val),val); |
|
if ( withdesc ) |
|
nd = mknode(3,key,val,desc); |
|
else |
|
nd = mknode(2,key,val); |
|
MKLIST(list,nd); |
|
MKNODE(top1,list,top); |
|
top = top1; |
|
} |
|
MKLIST(list,top); |
|
return list; |
|
} |
|
|
|
void Pctrl(NODE arg,Q *rp) |
|
{ |
|
int t,i,n,desc=0; |
int nm,dv; |
int nm,dv; |
N num,den; |
N num,den; |
Q c; |
Q c; |
|
|
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; |
|
Obj value; |
extern Q ox_pari_stream; |
extern Q ox_pari_stream; |
extern int ox_pari_stream_initialized; |
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)); |
|
|
MKNODE(node,s,p); |
MKNODE(node,s,p); |
} |
} |
MKLIST(list,node); |
MKLIST(list,node); |
*rp = list; |
*rp = (Q)list; |
} |
} |
} else { |
} else { |
list = (LIST)ARG1(arg); |
list = (LIST)ARG1(arg); |
|
|
} |
} |
return; |
return; |
} else if ( !strcmp(key,"oxpari_id") ) { |
} else if ( !strcmp(key,"oxpari_id") ) { |
*rp = 0; |
|
if ( argc(arg) == 1 ) { |
if ( argc(arg) == 1 ) { |
if(!ox_pari_stream_initialized) { |
if(!ox_pari_stream_initialized) { |
t=-1; |
t=-1; |
|
|
}else { |
}else { |
t=-1; |
t=-1; |
STOQ(t,*rp); |
STOQ(t,*rp); |
|
} |
|
} |
|
return; |
|
} else if ( !strcmp(key,"oxpari_start") ) { |
|
if ( argc(arg) == 1 ) { |
|
*rp = (Q)ox_pari_starting_function; |
|
} else { |
|
f = (P)ARG1(arg); |
|
if ( !f || OID(f) == O_P) { |
|
ox_pari_starting_function = f; |
|
*rp = (Q)f; |
|
}else { |
|
*rp = 0; |
} |
} |
} |
} |
return; |
return; |