=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/gradedset.h,v retrieving revision 1.1.1.1 retrieving revision 1.6 diff -u -p -r1.1.1.1 -r1.6 --- OpenXM/src/kan96xx/Kan/gradedset.h 1999/10/08 02:12:02 1.1.1.1 +++ OpenXM/src/kan96xx/Kan/gradedset.h 2003/08/19 08:02:09 1.6 @@ -1,3 +1,4 @@ +/* $OpenXM: OpenXM/src/kan96xx/Kan/gradedset.h,v 1.5 2003/07/30 09:00:52 takayama Exp $ */ /* gradedset.h */ #define max(a,b) (a>b?a:b) @@ -36,6 +37,8 @@ int countPairs(struct gradedPairs *grD); int countGradedPolySet(struct gradedPolySet *grD); struct gradedPolySet *gradedPolySetCopy(struct gradedPolySet *grG); int deletePairByCriterion2B(struct gradedPairs *grD,POLY gt,struct gradedPolySet *grG); +int markGeneratorInG(struct gradedPolySet *g,int grade,int index); +int clearGmod(struct gradedPolySet *g); /* red.c */ struct spValue (*sp)(POLY f,POLY g); @@ -69,7 +72,16 @@ POLY lcm_gen(POLY f,POLY g); struct spValue sp_gen(POLY f,POLY g); struct spValue sp_q(POLY f,POLY g); int grade_gen(POLY f); +POLY reductionCdr_except_grd_i(POLY f,struct gradedPolySet *gset, + int needSyz,struct syz0 *syzp, + int grd,int i, int *reduced); + /* Polynomial at (grd,i) is not used for reduction. + if del[j] == 1, then the attached polynomial is not used for reduction.*/ +/* ecart.c */ +POLY reduction_ecart(POLY f,struct gradedPolySet *gset, + int needSyz,struct syz0 *syzp); + /* constructor */ POLY toSyzPoly(POLY cg,int grade,int index); struct coeff *toSyzCoeff(POLY f); @@ -88,6 +100,8 @@ struct gradedPairs *updatePairs(struct gradedPairs *gr int gtGrade, int t, struct gradedPolySet *grG); /* add gt to grD. gt is indexed by (gtGrade,t) */ +void toReducedBasis(struct gradedPolySet *grP,int needBack, int needSyz); + /* gbGM.c */ struct gradedPolySet *groebner_gm(struct arrayOfPOLY *f,