=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/gb.c,v retrieving revision 1.11 retrieving revision 1.14 diff -u -p -r1.11 -r1.14 --- OpenXM/src/kan96xx/Kan/gb.c 2005/06/16 08:40:04 1.11 +++ OpenXM/src/kan96xx/Kan/gb.c 2020/10/06 11:33:46 1.14 @@ -1,6 +1,7 @@ -/* $OpenXM: OpenXM/src/kan96xx/Kan/gb.c,v 1.10 2005/06/16 06:54:55 takayama Exp $ */ +/* $OpenXM: OpenXM/src/kan96xx/Kan/gb.c,v 1.13 2005/07/07 02:59:47 takayama Exp $ */ /* untabify on May 4, 2001 */ #include +#include #include "datatype.h" #include "extern2.h" #include "matrix.h" @@ -195,11 +196,15 @@ struct gradedPolySet *groebner_gen(f,needBack,needSyz, extern int StopDegree; extern struct ring *CurrentRingp; extern char *F_mpMult; + extern int Homogenize; struct ring *rp; int first; int statisticsPL, statisticsCount; - + if (KanGBmessage) { + printf("Homogenize=%d, countDown=%d, forceReduction=%d, reduceOnly=%d, gbCheck=%d\n", + Homogenize,countDown, forceReduction, reduceOnly, gbCheck); + } if (Statistics) { for (i=0; i