===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/option.c,v
retrieving revision 1.6
retrieving revision 1.15
diff -u -p -r1.6 -r1.15
--- OpenXM/src/kan96xx/Kan/option.c	2003/07/10 05:01:41	1.6
+++ OpenXM/src/kan96xx/Kan/option.c	2004/09/17 02:42:57	1.15
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/kan96xx/Kan/option.c,v 1.5 2001/05/04 01:06:24 takayama Exp $ */
+/* $OpenXM: OpenXM/src/kan96xx/Kan/option.c,v 1.14 2003/11/20 09:20:36 takayama Exp $ */
 #include <stdio.h>
 #include "datatype.h"
 #include "stackm.h"
@@ -45,12 +45,19 @@ struct object KsystemVariable(ob)
   extern int Homogenize_vec;
   extern int CmoDMSOutputOption;
   extern int DebugReductionRed; /* hidden option */
+  extern int DebugReductionEcart; 
   extern char *VersionString;
   extern int AvoidTheSameRing;
   extern char *LeftBracket;
   extern char *RightBracket;
   extern int SecureMode;
-  extern int TangentCone;
+  extern int Ecart;
+  extern int EcartAutomaticHomogenization;
+  extern int TraceLift;
+  extern int DoCancel;
+  extern int DebugContentReduction;
+  extern int QuoteMode;
+  extern int RestrictedMode, RestrictedMode_saved;
 
   int n,i;
   struct object ob1,ob2,ob3,ob4;
@@ -178,8 +185,20 @@ struct object KsystemVariable(ob)
         rob = KpoString(RightBracket);
       }else if (strcmp(ob1.lc.str,"SecureMode")==0) {
         rob = KpoInteger(SecureMode);
-      }else if (strcmp(ob1.lc.str,"TangentCone")==0) {
-        rob = KpoInteger(TangentCone);
+      }else if (strcmp(ob1.lc.str,"RestrictedMode")==0) {
+        rob = KpoInteger(RestrictedMode);
+      }else if (strcmp(ob1.lc.str,"Ecart")==0) {
+        rob = KpoInteger(Ecart);
+      }else if (strcmp(ob1.lc.str,"EcartAutomaticHomogenization")==0) {
+        rob = KpoInteger(EcartAutomaticHomogenization);
+      }else if (strcmp(ob1.lc.str,"TraceLift")==0) {
+        rob = KpoInteger(TraceLift);
+      }else if (strcmp(ob1.lc.str,"DoCancel")==0) {
+        rob = KpoInteger(DoCancel);
+      }else if (strcmp(ob1.lc.str,"DebugContentReduction")==0) {
+        rob = KpoInteger(DebugContentReduction);
+      }else if (strcmp(ob1.lc.str,"QuoteMode")==0) {
+        rob = KpoInteger(QuoteMode);
       }else{
         warningKan("KsystemVariable():Unknown key word.\n");
       }
@@ -285,6 +304,9 @@ struct object KsystemVariable(ob)
       }else if (strcmp(ob1.lc.str,"DebugReductionRed") == 0) {
         DebugReductionRed = KopInteger(ob2);
         rob = KpoInteger(DebugReductionRed);
+      }else if (strcmp(ob1.lc.str,"DebugReductionEcart") == 0) {
+        DebugReductionEcart = KopInteger(ob2);
+        rob = KpoInteger(DebugReductionEcart);
       }else if (strcmp(ob1.lc.str,"AvoidTheSameRing") == 0) {
         AvoidTheSameRing = KopInteger(ob2);
         rob = KpoInteger(AvoidTheSameRing);
@@ -295,9 +317,32 @@ struct object KsystemVariable(ob)
           errorKan1("%s\n","You cannot weaken the security level.");
         }
         rob = KpoInteger(SecureMode);
-      }else if (strcmp(ob1.lc.str,"TangentCone") == 0) {
-        TangentCone = KopInteger(ob2);
-        rob = KpoInteger(TangentCone);
+      }else if (strcmp(ob1.lc.str,"RestrictedMode") == 0) {
+        if (KopInteger(ob2) >= RestrictedMode) {
+          RestrictedMode = KopInteger(ob2);
+          RestrictedMode_saved = RestrictedMode;
+        }else{
+          errorKan1("%s\n","You cannot weaken the RestrictedMode level.");
+        }
+        rob = KpoInteger(RestrictedMode);
+      }else if (strcmp(ob1.lc.str,"Ecart") == 0) {
+        Ecart = KopInteger(ob2);
+        rob = KpoInteger(Ecart);
+      }else if (strcmp(ob1.lc.str,"EcartAutomaticHomogenization") == 0) {
+        EcartAutomaticHomogenization = KopInteger(ob2);
+        rob = KpoInteger(EcartAutomaticHomogenization);
+      }else if (strcmp(ob1.lc.str,"TraceLift") == 0) {
+        TraceLift = KopInteger(ob2);
+        rob = KpoInteger(TraceLift);
+      }else if (strcmp(ob1.lc.str,"DoCancel") == 0) {
+        DoCancel = KopInteger(ob2);
+        rob = KpoInteger(DoCancel);
+      }else if (strcmp(ob1.lc.str,"DebugContentReduction") == 0) {
+        DebugContentReduction = KopInteger(ob2);
+        rob = KpoInteger(DebugContentReduction);
+      }else if (strcmp(ob1.lc.str,"QuoteMode") == 0) {
+        QuoteMode = KopInteger(ob2);
+        rob = KpoInteger(QuoteMode);
       }else{
         warningKan("KsystemVariable():Unknown key word.\n");
       }