===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/gradedset.h,v
retrieving revision 1.3
retrieving revision 1.6
diff -u -p -r1.3 -r1.6
--- OpenXM/src/kan96xx/Kan/gradedset.h	2000/02/24 00:27:12	1.3
+++ OpenXM/src/kan96xx/Kan/gradedset.h	2003/08/19 08:02:09	1.6
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/kan96xx/Kan/gradedset.h,v 1.2 2000/01/16 07:55:39 takayama Exp $ */
+/* $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)
 
@@ -37,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);
@@ -75,6 +77,10 @@ POLY reductionCdr_except_grd_i(POLY f,struct gradedPol
 			       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);