=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/extern2.h,v retrieving revision 1.7 retrieving revision 1.9 diff -u -p -r1.7 -r1.9 --- OpenXM/src/kan96xx/Kan/extern2.h 2003/08/20 01:39:17 1.7 +++ OpenXM/src/kan96xx/Kan/extern2.h 2003/08/22 11:47:03 1.9 @@ -1,4 +1,4 @@ -/* $OpenXM: OpenXM/src/kan96xx/Kan/extern2.h,v 1.6 2003/08/19 08:02:09 takayama Exp $ */ +/* $OpenXM: OpenXM/src/kan96xx/Kan/extern2.h,v 1.8 2003/08/21 02:30:23 takayama Exp $ */ /* poly.c */ void KinitKan(void); MONOMIAL newMonomial(struct ring *ringp); @@ -47,7 +47,9 @@ int pLength(POLY f); struct coeff *gcdOfCoeff(POLY f); int coeffSizeMin(POLY f); POLY reduceContentOfPoly(POLY f,struct coeff **contp); +int shouldReduceContent(POLY f,int ss); + /* poly3.c */ void initT(void); void makeTable(struct coeff *c,struct exps e[],struct ring *ringp); @@ -70,6 +72,8 @@ int isHomogenized_vec(POLY f); int containVectorVariable(POLY f); POLY POLYToPrincipalPart(POLY f); POLY POLYToInitW(POLY f,int w[]); +POLY POLYToInitWS(POLY f,int w[],int s[]); +int ordWsAll(POLY f,int w[],int s[]); POLY polyGCD(POLY f,POLY g); int isTheSameRing(struct ring *rstack[], int rp, struct ring *newRingp);