===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/gb.c,v
retrieving revision 1.10
retrieving revision 1.12
diff -u -p -r1.10 -r1.12
--- OpenXM/src/kan96xx/Kan/gb.c	2005/06/16 06:54:55	1.10
+++ OpenXM/src/kan96xx/Kan/gb.c	2005/06/30 08:35:07	1.12
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/kan96xx/Kan/gb.c,v 1.9 2005/06/09 04:09:22 takayama Exp $ */
+/* $OpenXM: OpenXM/src/kan96xx/Kan/gb.c,v 1.11 2005/06/16 08:40:04 takayama Exp $ */
 /*  untabify on May 4, 2001 */
 #include <stdio.h>
 #include "datatype.h"
@@ -199,7 +199,10 @@ struct gradedPolySet *groebner_gen(f,needBack,needSyz,
   int first;
   int statisticsPL, statisticsCount;
 
-
+  if (KanGBmessage) {
+	printf("countDown=%d, forceReduction=%d, reduceOnly=%d, gbCheck=%d\n",
+		   countDown, forceReduction, reduceOnly, gbCheck); 
+  }
   if (Statistics) {
     for (i=0; i<DMAX; i++) MaxLength[i] = SpNumber[i] = 0;
   }
@@ -217,6 +220,7 @@ struct gradedPolySet *groebner_gen(f,needBack,needSyz,
   Spairs = Criterion1 = Criterion2B = Criterion2F = Criterion2M = 0;
   
   g = newGradedPolySet(INITGRADE); g->gb = 1;
+  if (reduceOnly) g->gb = 2; /* unknown */
   d = newGradedPairs(INITGRADE*2);
   for (i=0; i<g->lim; i++) {
     g->polys[i] = newPolySet(INITSIZE);