===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/gbGM.c,v
retrieving revision 1.4
retrieving revision 1.6
diff -u -p -r1.4 -r1.6
--- OpenXM/src/kan96xx/Kan/gbGM.c	2005/06/09 04:09:22	1.4
+++ OpenXM/src/kan96xx/Kan/gbGM.c	2005/07/03 11:08:53	1.6
@@ -1,8 +1,9 @@
-/* $OpenXM: OpenXM/src/kan96xx/Kan/gbGM.c,v 1.3 2001/05/04 01:06:23 takayama Exp $ */
+/* $OpenXM: OpenXM/src/kan96xx/Kan/gbGM.c,v 1.5 2005/06/16 06:54:55 takayama Exp $ */
 /* gbGM.c  GM=Gebauer and Moller
  */
 
 #include <stdio.h>
+#include <stdlib.h>
 #include "datatype.h"
 #include "extern2.h"
 #include "matrix.h"
@@ -340,7 +341,7 @@ struct polySet_gm markRedundant_gm(g,j)
 
 
 
-struct gradedPolySet *groebner_gm(f,needBack,needSyz,grP,countDown,forceReduction,reduceOnly)
+struct gradedPolySet *groebner_gm(f,needBack,needSyz,grP,countDown,forceReduction,reduceOnly,gbCheck)
      struct arrayOfPOLY *f;
      int needBack;
      int needSyz;
@@ -348,6 +349,7 @@ struct gradedPolySet *groebner_gm(f,needBack,needSyz,g
      int countDown;
      int forceReduction;
      int reduceOnly;
+     int gbCheck;
 {
   int r;
   struct pair_gm top;
@@ -366,8 +368,8 @@ struct gradedPolySet *groebner_gm(f,needBack,needSyz,g
   if (needBack || needSyz) {
     fprintf(stderr,"Warning: groebner_gm() does not compute the backward transformation and syzygies.\n");
   }
-  if (reduceOnly) {
-    fprintf(stderr,"Warning: groebner_gm() does not implement reduceOnly.\n");
+  if (reduceOnly || gbCheck) {
+    fprintf(stderr,"Warning: groebner_gm() does not implement reduceOnly/gbCheck.\n");
   }
   
 #ifdef STATISTICS
@@ -447,6 +449,7 @@ struct gradedPolySet *groebner_gm(f,needBack,needSyz,g
 #endif
 
   ans = newGradedPolySet(1);
+  ans->gb = 1;
   for (i=0; i<ans->lim; i++) {
     ans->polys[i] = newPolySet(1);
   }