version 1.4, 2005/06/09 04:09:22 |
version 1.5, 2005/06/16 06:54:55 |
|
|
/* $OpenXM: OpenXM/src/kan96xx/Kan/gbGM.c,v 1.3 2001/05/04 01:06:23 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 |
/* gbGM.c GM=Gebauer and Moller |
*/ |
*/ |
|
|
Line 340 struct polySet_gm markRedundant_gm(g,j) |
|
Line 340 struct polySet_gm markRedundant_gm(g,j) |
|
|
|
|
|
|
|
struct gradedPolySet *groebner_gm(f,needBack,needSyz,grP,countDown,forceReduction,reduceOnly) |
struct gradedPolySet *groebner_gm(f,needBack,needSyz,grP,countDown,forceReduction,reduceOnly,gbCheck) |
struct arrayOfPOLY *f; |
struct arrayOfPOLY *f; |
int needBack; |
int needBack; |
int needSyz; |
int needSyz; |
Line 348 struct gradedPolySet *groebner_gm(f,needBack,needSyz,g |
|
Line 348 struct gradedPolySet *groebner_gm(f,needBack,needSyz,g |
|
int countDown; |
int countDown; |
int forceReduction; |
int forceReduction; |
int reduceOnly; |
int reduceOnly; |
|
int gbCheck; |
{ |
{ |
int r; |
int r; |
struct pair_gm top; |
struct pair_gm top; |
Line 366 struct gradedPolySet *groebner_gm(f,needBack,needSyz,g |
|
Line 367 struct gradedPolySet *groebner_gm(f,needBack,needSyz,g |
|
if (needBack || needSyz) { |
if (needBack || needSyz) { |
fprintf(stderr,"Warning: groebner_gm() does not compute the backward transformation and syzygies.\n"); |
fprintf(stderr,"Warning: groebner_gm() does not compute the backward transformation and syzygies.\n"); |
} |
} |
if (reduceOnly) { |
if (reduceOnly || gbCheck) { |
fprintf(stderr,"Warning: groebner_gm() does not implement reduceOnly.\n"); |
fprintf(stderr,"Warning: groebner_gm() does not implement reduceOnly/gbCheck.\n"); |
} |
} |
|
|
#ifdef STATISTICS |
#ifdef STATISTICS |
Line 447 struct gradedPolySet *groebner_gm(f,needBack,needSyz,g |
|
Line 448 struct gradedPolySet *groebner_gm(f,needBack,needSyz,g |
|
#endif |
#endif |
|
|
ans = newGradedPolySet(1); |
ans = newGradedPolySet(1); |
|
ans->gb = 1; |
for (i=0; i<ans->lim; i++) { |
for (i=0; i<ans->lim; i++) { |
ans->polys[i] = newPolySet(1); |
ans->polys[i] = newPolySet(1); |
} |
} |