version 1.25, 2003/10/20 09:20:14 |
version 1.32, 2004/09/15 06:06:41 |
|
|
* 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.24 2003/10/20 09:17:52 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.31 2004/08/18 00:17:02 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}, |
}; |
}; |
|
|
Line 67 extern int StrassenSize; |
|
Line 68 extern int StrassenSize; |
|
extern int outputstyle; |
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 allow_laurent; |
#if defined(INTERVAL) |
#if defined(INTERVAL) |
extern int zerorewrite; |
extern int zerorewrite; |
#endif |
#endif |
Line 75 extern int use_new_hensel; |
|
Line 78 extern int use_new_hensel; |
|
extern int print_quote; |
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 show_orderspec; |
|
|
static struct { |
static struct { |
char *key; |
char *key; |
|
|
{"message",&do_message}, |
{"message",&do_message}, |
{"debug_up",&debug_up}, |
{"debug_up",&debug_up}, |
{"no_prompt",&do_quiet}, |
{"no_prompt",&do_quiet}, |
|
{"asir_setenv",&asir_setenv}, |
{"ox_batch",&ox_batch}, |
{"ox_batch",&ox_batch}, |
{"ox_check",&ox_check}, |
{"ox_check",&ox_check}, |
{"ox_exchange_mathcap",&ox_exchange_mathcap}, |
{"ox_exchange_mathcap",&ox_exchange_mathcap}, |
|
|
{"outputstyle",&outputstyle}, |
{"outputstyle",&outputstyle}, |
{"double_output",&double_output}, |
{"double_output",&double_output}, |
{"real_digit",&real_digit}, |
{"real_digit",&real_digit}, |
|
{"real_binary",&real_binary}, |
{"fortran_output",&fortran_output}, |
{"fortran_output",&fortran_output}, |
{"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}, |
#if defined(INTERVAL) |
#if defined(INTERVAL) |
{"zerorewrite",&zerorewrite}, |
{"zerorewrite",&zerorewrite}, |
#endif |
#endif |
|
|
} else if ( !strcmp(key,"prompt") ) { |
} else if ( !strcmp(key,"prompt") ) { |
/* special treatment is necessary for "prompt" */ |
/* special treatment is necessary for "prompt" */ |
if ( argc(arg) == 1 ) { |
if ( argc(arg) == 1 ) { |
*rp = (Q)user_defined_prompt; |
if ((!do_quiet) && (user_defined_prompt == (Obj)0)) *rp=ONE; |
|
else *rp = (Q)user_defined_prompt; |
} else { |
} else { |
c = (Q)ARG1(arg); |
c = (Q)ARG1(arg); |
if ( !c ) { |
if ( !c ) { |