version 1.6, 2003/08/19 08:02:09 |
version 1.10, 2003/08/26 12:46:05 |
|
|
/* $OpenXM: OpenXM/src/kan96xx/Kan/extern2.h,v 1.5 2003/07/17 07:33:03 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/extern2.h,v 1.9 2003/08/22 11:47:03 takayama Exp $ */ |
/* poly.c */ |
/* poly.c */ |
void KinitKan(void); |
void KinitKan(void); |
MONOMIAL newMonomial(struct ring *ringp); |
MONOMIAL newMonomial(struct ring *ringp); |
Line 44 POLY modulo0(POLY f,struct ring *ringp); |
|
Line 44 POLY modulo0(POLY f,struct ring *ringp); |
|
POLY modulopZ(POLY f,struct coeff *pcoeff); |
POLY modulopZ(POLY f,struct coeff *pcoeff); |
struct pairOfPOLY quotientByNumber(POLY f,struct coeff *pcoeff); |
struct pairOfPOLY quotientByNumber(POLY f,struct coeff *pcoeff); |
int pLength(POLY f); |
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 */ |
/* poly3.c */ |
void initT(void); |
void initT(void); |
void makeTable(struct coeff *c,struct exps e[],struct ring *ringp); |
void makeTable(struct coeff *c,struct exps e[],struct ring *ringp); |
Line 67 int isHomogenized_vec(POLY f); |
|
Line 72 int isHomogenized_vec(POLY f); |
|
int containVectorVariable(POLY f); |
int containVectorVariable(POLY f); |
POLY POLYToPrincipalPart(POLY f); |
POLY POLYToPrincipalPart(POLY f); |
POLY POLYToInitW(POLY f,int w[]); |
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); |
POLY polyGCD(POLY f,POLY g); |
int isTheSameRing(struct ring *rstack[], int rp, struct ring *newRingp); |
int isTheSameRing(struct ring *rstack[], int rp, struct ring *newRingp); |
Line 122 int isMinusOne(struct coeff *cp); |
|
Line 129 int isMinusOne(struct coeff *cp); |
|
int isMinusOne(struct coeff *cp); |
int isMinusOne(struct coeff *cp); |
int isNegative(struct coeff *cp); |
int isNegative(struct coeff *cp); |
int isConstant(POLY f); |
int isConstant(POLY f); |
|
int isConstantAll(POLY f); |
void errorOutput(char *s); |
void errorOutput(char *s); |
int validOutputOrder(int w[],int n); |
int validOutputOrder(int w[],int n); |
|
|