===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/option.c,v
retrieving revision 1.8
retrieving revision 1.12
diff -u -p -r1.8 -r1.12
--- OpenXM/src/kan96xx/Kan/option.c	2003/07/17 23:37:02	1.8
+++ OpenXM/src/kan96xx/Kan/option.c	2003/08/20 01:39:17	1.12
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/kan96xx/Kan/option.c,v 1.7 2003/07/17 07:33:03 takayama Exp $ */
+/* $OpenXM: OpenXM/src/kan96xx/Kan/option.c,v 1.11 2003/08/19 08:02:10 takayama Exp $ */
 #include <stdio.h>
 #include "datatype.h"
 #include "stackm.h"
@@ -45,6 +45,7 @@ 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;
@@ -52,6 +53,8 @@ struct object KsystemVariable(ob)
   extern int SecureMode;
   extern int Ecart;
   extern int EcartAutomaticHomogenization;
+  extern int TraceLift;
+  extern int DoCancel;
 
   int n,i;
   struct object ob1,ob2,ob3,ob4;
@@ -183,6 +186,10 @@ struct object KsystemVariable(ob)
         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{
         warningKan("KsystemVariable():Unknown key word.\n");
       }
@@ -288,6 +295,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);
@@ -302,8 +312,14 @@ struct object KsystemVariable(ob)
         Ecart = KopInteger(ob2);
         rob = KpoInteger(Ecart);
       }else if (strcmp(ob1.lc.str,"EcartAutomaticHomogenization") == 0) {
-        Ecart = KopInteger(ob2);
+        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{
         warningKan("KsystemVariable():Unknown key word.\n");
       }