| version 1.25, 2003/10/20 09:20:14 |
version 1.27, 2003/12/02 06:56:47 |
|
|
| * 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.26 2003/10/21 04:28:48 takayama Exp $ |
| */ |
*/ |
| #include "ca.h" |
#include "ca.h" |
| #include "parse.h" |
#include "parse.h" |
| Line 67 extern int StrassenSize; |
|
| Line 67 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; |
| #if defined(INTERVAL) |
#if defined(INTERVAL) |
| extern int zerorewrite; |
extern int zerorewrite; |
| #endif |
#endif |
|
|
| {"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}, |
|
|
| } 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 ) { |