=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/gbGM.c,v retrieving revision 1.3 retrieving revision 1.5 diff -u -p -r1.3 -r1.5 --- OpenXM/src/kan96xx/Kan/gbGM.c 2001/05/04 01:06:23 1.3 +++ OpenXM/src/kan96xx/Kan/gbGM.c 2005/06/16 06:54:55 1.5 @@ -1,4 +1,4 @@ -/* $OpenXM: OpenXM/src/kan96xx/Kan/gbGM.c,v 1.2 2000/01/16 07:55:38 takayama Exp $ */ +/* $OpenXM: OpenXM/src/kan96xx/Kan/gbGM.c,v 1.4 2005/06/09 04:09:22 takayama Exp $ */ /* gbGM.c GM=Gebauer and Moller */ @@ -340,13 +340,15 @@ struct polySet_gm markRedundant_gm(g,j) -struct gradedPolySet *groebner_gm(f,needBack,needSyz,grP,countDown,forceReduction) +struct gradedPolySet *groebner_gm(f,needBack,needSyz,grP,countDown,forceReduction,reduceOnly,gbCheck) struct arrayOfPOLY *f; int needBack; int needSyz; struct pair **grP; int countDown; int forceReduction; + int reduceOnly; + int gbCheck; { int r; struct pair_gm top; @@ -365,6 +367,9 @@ 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 || gbCheck) { + fprintf(stderr,"Warning: groebner_gm() does not implement reduceOnly/gbCheck.\n"); + } #ifdef STATISTICS CountE = 0; @@ -443,6 +448,7 @@ struct gradedPolySet *groebner_gm(f,needBack,needSyz,g #endif ans = newGradedPolySet(1); + ans->gb = 1; for (i=0; ilim; i++) { ans->polys[i] = newPolySet(1); }