| version 1.2, 2000/01/16 07:55:38 |
version 1.6, 2003/08/19 08:02:09 |
|
|
| /* $OpenXM$ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/extern2.h,v 1.5 2003/07/17 07:33:03 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); |
| |
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 166 int grade_firstvec(POLY f); |
|
| Line 173 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 196 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);\ |
| }\ |
}\ |
| } |
} |
| |
|