| version 1.11, 2005/06/16 08:40:04 |
version 1.12, 2005/06/30 08:35:07 |
|
|
| /* $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.11 2005/06/16 08:40:04 takayama Exp $ */ |
| /* untabify on May 4, 2001 */ |
/* untabify on May 4, 2001 */ |
| #include <stdio.h> |
#include <stdio.h> |
| #include "datatype.h" |
#include "datatype.h" |
| Line 199 struct gradedPolySet *groebner_gen(f,needBack,needSyz, |
|
| Line 199 struct gradedPolySet *groebner_gen(f,needBack,needSyz, |
|
| int first; |
int first; |
| int statisticsPL, statisticsCount; |
int statisticsPL, statisticsCount; |
| |
|
| |
if (KanGBmessage) { |
| |
printf("countDown=%d, forceReduction=%d, reduceOnly=%d, gbCheck=%d\n", |
| |
countDown, forceReduction, reduceOnly, gbCheck); |
| |
} |
| if (Statistics) { |
if (Statistics) { |
| for (i=0; i<DMAX; i++) MaxLength[i] = SpNumber[i] = 0; |
for (i=0; i<DMAX; i++) MaxLength[i] = SpNumber[i] = 0; |
| } |
} |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to gb.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Kan