===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/ctrl.c,v
retrieving revision 1.26
retrieving revision 1.31
diff -u -p -r1.26 -r1.31
--- OpenXM_contrib2/asir2000/builtin/ctrl.c	2003/10/21 04:28:48	1.26
+++ OpenXM_contrib2/asir2000/builtin/ctrl.c	2004/08/18 00:17:02	1.31
@@ -45,7 +45,7 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.25 2003/10/20 09:20:14 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.30 2004/03/05 01:19:09 noro Exp $ 
 */
 #include "ca.h"
 #include "parse.h"
@@ -54,6 +54,7 @@ void Pctrl();
 
 struct ftab ctrl_tab[] = {
 	{"ctrl",Pctrl,-2},
+	{"asir_env",Pctrl,-2},
 	{0,0,0},
 };
 
@@ -67,6 +68,8 @@ extern int StrassenSize;
 extern int outputstyle;
 extern int fortran_output;
 extern int real_digit;
+extern int real_binary;
+extern int allow_laurent;
 #if defined(INTERVAL)
 extern int zerorewrite;
 #endif
@@ -75,6 +78,7 @@ extern int use_new_hensel;
 extern int print_quote;
 extern int show_crossref;
 extern Obj user_defined_prompt;
+extern int asir_setenv;
 
 static struct {
 	char *key;
@@ -94,6 +98,7 @@ static struct {
 	{"message",&do_message},
 	{"debug_up",&debug_up},
 	{"no_prompt",&do_quiet},
+	{"asir_setenv",&asir_setenv},
 	{"ox_batch",&ox_batch},
 	{"ox_check",&ox_check},
 	{"ox_exchange_mathcap",&ox_exchange_mathcap},
@@ -102,10 +107,12 @@ static struct {
 	{"outputstyle",&outputstyle},
 	{"double_output",&double_output},
 	{"real_digit",&real_digit},
+	{"real_binary",&real_binary},
 	{"fortran_output",&fortran_output},
 	{"new_hensel",&use_new_hensel},
 	{"print_quote",&print_quote},
 	{"show_crossref",&show_crossref},
+	{"allow_laurent",&allow_laurent},
 #if defined(INTERVAL)
 	{"zerorewrite",&zerorewrite},
 #endif