version 1.6, 2002/02/10 08:22:56 |
version 1.7, 2003/07/30 09:00:52 |
|
|
/* $OpenXM: OpenXM/src/kan96xx/Kan/gb.c,v 1.5 2001/05/04 01:06:23 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/gb.c,v 1.6 2002/02/10 08:22:56 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 236 struct gradedPolySet *groebner_gen(f,needBack,needSyz, |
|
Line 236 struct gradedPolySet *groebner_gen(f,needBack,needSyz, |
|
g = putPolyInG(g,gt,grade,indx,syzp,1,serial); |
g = putPolyInG(g,gt,grade,indx,syzp,1,serial); |
} |
} |
|
|
markRedundant0(g,grade,indx); |
/* markRedundant0(g,grade,indx); ?*/ |
|
markGeneratorInG(g,grade,indx); /*?*/ |
if (Debug) { |
if (Debug) { |
outputGradedPairs(d); outputGradedPolySet(g,needSyz); |
outputGradedPairs(d); outputGradedPolySet(g,needSyz); |
} |
} |
Line 249 struct gradedPolySet *groebner_gen(f,needBack,needSyz, |
|
Line 250 struct gradedPolySet *groebner_gen(f,needBack,needSyz, |
|
while ((top = getPair(d)) != (struct pair *)NULL) { |
while ((top = getPair(d)) != (struct pair *)NULL) { |
ig = top->ig; ii = top->ii; /* [ig,ii] */ |
ig = top->ig; ii = top->ii; /* [ig,ii] */ |
jg = top->jg; ji = top->ji; /* [jg,ji] */ |
jg = top->jg; ji = top->ji; /* [jg,ji] */ |
|
/* |
|
if (g->polys[ig]->del[ii] || g->polys[jg]->del[ji]) { |
|
if (KanGBmessage) printf("p"); |
|
continue; |
|
} Don't do this. |
|
*/ |
gi = g->polys[ig]->g[ii]; |
gi = g->polys[ig]->g[ii]; |
gj = g->polys[jg]->g[ji]; |
gj = g->polys[jg]->g[ji]; |
|
|