| version 1.12, 2005/06/30 08:35:07 |
version 1.13, 2005/07/07 02:59:47 |
|
|
| /* $OpenXM: OpenXM/src/kan96xx/Kan/gb.c,v 1.11 2005/06/16 08:40:04 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/gb.c,v 1.12 2005/06/30 08:35:07 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 195 struct gradedPolySet *groebner_gen(f,needBack,needSyz, |
|
| Line 195 struct gradedPolySet *groebner_gen(f,needBack,needSyz, |
|
| extern int StopDegree; |
extern int StopDegree; |
| extern struct ring *CurrentRingp; |
extern struct ring *CurrentRingp; |
| extern char *F_mpMult; |
extern char *F_mpMult; |
| |
extern int Homogenize; |
| struct ring *rp; |
struct ring *rp; |
| int first; |
int first; |
| int statisticsPL, statisticsCount; |
int statisticsPL, statisticsCount; |
| |
|
| if (KanGBmessage) { |
if (KanGBmessage) { |
| printf("countDown=%d, forceReduction=%d, reduceOnly=%d, gbCheck=%d\n", |
printf("Homogenize=%d, countDown=%d, forceReduction=%d, reduceOnly=%d, gbCheck=%d\n", |
| countDown, forceReduction, reduceOnly, gbCheck); |
Homogenize,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