| version 1.1, 1999/10/08 02:12:01 |
version 1.4, 2003/07/10 08:20:04 |
|
|
| |
/* $OpenXM: OpenXM/src/kan96xx/Kan/extern2.h,v 1.3 2003/04/09 01:06:57 ohara Exp $ */ |
| /* poly.c */ |
/* poly.c */ |
| void KinitKan(void); |
void KinitKan(void); |
| MONOMIAL newMonomial(struct ring *ringp); |
MONOMIAL newMonomial(struct ring *ringp); |
| Line 69 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 goHomogenize(POLY f,int u[],int v[],int ds[],int dssize,int ei); |
| |
POLY goHomogenize11(POLY f,int ds[],int dssize,int ei); |
| |
POLY goHomogenize_dsIdx(POLY f,int u[],int v[],int dsIdx,int ei); |
| |
POLY goHomogenize11_dsIdx(POLY f,int ds[],int dsIdx,int ei); |
| |
|
| /* coeff.c */ |
/* coeff.c */ |
| char *intToString(int i); |
char *intToString(int i); |
| Line 165 int grade_firstvec(POLY f); |
|
| Line 170 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 184 int (*grade)(POLY f); |
|
| Line 193 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);\ |
| }\ |
}\ |
| } |
} |
| |
|