version 1.11, 2005/06/16 08:40:04 |
version 1.13, 2005/07/07 02:59:47 |
|
|
/* $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.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) { |
|
printf("Homogenize=%d, countDown=%d, forceReduction=%d, reduceOnly=%d, gbCheck=%d\n", |
|
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; |
} |
} |