| version 1.4, 2003/07/10 08:20:04 |
version 1.11, 2006/12/21 05:29:49 |
|
|
| /* $OpenXM: OpenXM/src/kan96xx/Kan/extern2.h,v 1.3 2003/04/09 01:06:57 ohara Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/extern2.h,v 1.10 2003/08/26 12:46:05 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); |
| POLY goHomogenize(POLY f,int u[],int v[],int ds[],int dssize,int ei); |
POLY goDeHomogenizeS(POLY f); |
| POLY goHomogenize11(POLY f,int ds[],int dssize,int ei); |
POLY goHomogenize(POLY f,int u[],int v[],int ds[],int dssize,int ei,int onlyS); |
| POLY goHomogenize_dsIdx(POLY f,int u[],int v[],int dsIdx,int ei); |
POLY goHomogenize11(POLY f,int ds[],int dssize,int ei,int onlyS); |
| POLY goHomogenize11_dsIdx(POLY f,int ds[],int dsIdx,int ei); |
POLY goHomogenize_dsIdx(POLY f,int u[],int v[],int dsIdx,int ei,int onlyS); |
| |
POLY goHomogenize11_dsIdx(POLY f,int ds[],int dsIdx,int ei,int onlyS); |
| |
struct ring *newRingOverFp(struct ring *rp, int p); |
| |
int getPrime(int p); |
| |
|
| /* coeff.c */ |
/* coeff.c */ |
| char *intToString(int i); |
char *intToString(int i); |
| Line 119 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); |
| |
char **makeDsmall(char **dvars,int n); |
| |
|
| |
|
| /* order.c */ |
/* order.c */ |
| void setOrderByMatrix(int order[],int n,int c, int l,int omsize); |
void setOrderByMatrix(int order[],int n,int c, int l,int omsize); |