===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/option.c,v
retrieving revision 1.1.1.1
retrieving revision 1.3
diff -u -p -r1.1.1.1 -r1.3
--- OpenXM/src/kan96xx/Kan/option.c	1999/10/08 02:12:01	1.1.1.1
+++ OpenXM/src/kan96xx/Kan/option.c	2000/02/24 00:27:12	1.3
@@ -1,3 +1,4 @@
+/* $OpenXM: OpenXM/src/kan96xx/Kan/option.c,v 1.2 1999/11/07 13:24:19 takayama Exp $ */
 #include <stdio.h>
 #include "datatype.h"
 #include "stackm.h"
@@ -24,6 +25,7 @@ struct object ob; /* Sarray */
   extern int CheckHomogenization;
   extern int Homogenize;
   extern int Statistics;
+  extern int AutoReduce;
   extern int Osp;
   extern struct operandStack StandardStack;
   extern struct operandStack ErrorStack;
@@ -45,6 +47,8 @@ struct object ob; /* Sarray */
   extern int DebugReductionRed; /* hidden option */
   extern char *VersionString;
   extern int AvoidTheSameRing;
+  extern char *LeftBracket;
+  extern char *RightBracket;
 
   int n,i;
   struct object ob1,ob2,ob3,ob4;
@@ -92,6 +96,8 @@ struct object ob; /* Sarray */
 	rob = KpoInteger(Homogenize);
       }else if (strcmp(ob1.lc.str,"Statistics") == 0) {
 	rob = KpoInteger(Statistics);
+      }else if (strcmp(ob1.lc.str,"AutoReduce") == 0) {
+	rob = KpoInteger(AutoReduce);
       }else if (strcmp(ob1.lc.str,"StackPointer") == 0) {
 	rob = KpoInteger(Osp);
       }else if (strcmp(ob1.lc.str,"StandardOperandStack") == 0) {
@@ -164,6 +170,10 @@ struct object ob; /* Sarray */
 	rob = KSpop(); /* This is exceptional style */
       }else if (strcmp(ob1.lc.str,"AvoidTheSameRing")==0) {
 	rob = KpoInteger(AvoidTheSameRing);
+      }else if (strcmp(ob1.lc.str,"LeftBracket")==0) {
+	rob = KpoString(LeftBracket);
+      }else if (strcmp(ob1.lc.str,"RightBracket")==0) {
+	rob = KpoString(RightBracket);
       }else{
 	warningKan("KsystemVariable():Unknown key word.\n");
       }
@@ -216,6 +226,9 @@ struct object ob; /* Sarray */
       }else if (strcmp(ob1.lc.str,"Statistics") == 0) {
 	Statistics = ob2.lc.ival;
 	rob = KpoInteger(Statistics);
+      }else if (strcmp(ob1.lc.str,"AutoReduce") == 0) {
+	AutoReduce = ob2.lc.ival;
+	rob = KpoInteger(AutoReduce);
       }else if (strcmp(ob1.lc.str,"ErrorMessageMode") == 0) {
 	ErrorMessageMode = ob2.lc.ival;
 	rob = KpoInteger(ErrorMessageMode);
@@ -277,6 +290,12 @@ struct object ob; /* Sarray */
       if (strcmp(ob1.lc.str,"ringName") == 0) {
 	CurrentRingp->name = KopString(ob2);
 	rob = KpoString(CurrentRingp->name);
+      }else if (strcmp(ob1.lc.str,"LeftBracket") == 0) {
+	LeftBracket = KopString(ob2);
+	rob = KpoString(LeftBracket);
+      }else if (strcmp(ob1.lc.str,"RightBracket") == 0) {
+	RightBracket = KopString(ob2);
+	rob = KpoString(RightBracket);
       }else{
 	warningKan("KsystemVariable():Unknown key word.\n");
       }