version 1.2, 2000/01/16 07:55:38 |
version 1.5, 2003/07/17 07:33:03 |
|
|
/* $OpenXM$ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/extern2.h,v 1.4 2003/07/10 08:20:04 takayama Exp $ */ |
/* poly.c */ |
/* poly.c */ |
void KinitKan(void); |
void KinitKan(void); |
MONOMIAL newMonomial(struct ring *ringp); |
MONOMIAL newMonomial(struct ring *ringp); |
Line 70 POLY POLYToInitW(POLY f,int w[]); |
|
Line 70 POLY POLYToInitW(POLY f,int w[]); |
|
|
|
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 goDeHomogenizeS(POLY f); |
|
POLY goHomogenize(POLY f,int u[],int v[],int ds[],int dssize,int ei,int onlyS); |
|
POLY goHomogenize11(POLY f,int ds[],int dssize,int ei,int onlyS); |
|
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); |
|
|
/* coeff.c */ |
/* coeff.c */ |
char *intToString(int i); |
char *intToString(int i); |
Line 166 int grade_firstvec(POLY f); |
|
Line 171 int grade_firstvec(POLY f); |
|
int grade_sugar(POLY f); |
int grade_sugar(POLY f); |
int eliminated(POLY f); |
int eliminated(POLY f); |
int isOrdered(POLY f); |
int isOrdered(POLY f); |
|
int dGrade(POLY f); |
|
int dGrade1(POLY f); |
|
int uvGrade(POLY f, int u[],int v[],int ds[],int dssize,int ei); |
|
int uvGrade1(POLY f, int u[],int v[],int ds[],int dssize,int ei); |
|
|
/* resol.c */ |
/* resol.c */ |
struct arrayOfMonomialSyz schreyerSkelton(struct arrayOfPOLY g); |
struct arrayOfMonomialSyz schreyerSkelton(struct arrayOfPOLY g); |
Line 185 int (*grade)(POLY f); |
|
Line 194 int (*grade)(POLY f); |
|
#define checkRing2(f,g) {\ |
#define checkRing2(f,g) {\ |
if ((f)->m->ringp != (g)->m->ringp) {\ |
if ((f)->m->ringp != (g)->m->ringp) {\ |
fprintf(stderr,"f and g must be in a same ring. Type in ctrl-\\");\ |
fprintf(stderr,"f and g must be in a same ring. Type in ctrl-\\");\ |
getchar(); getchar(); exit();\ |
getchar(); getchar(); exit(1);\ |
}\ |
}\ |
} |
} |
|
|