OpenXM/src/kan96xx/Kan/gradedset.h - diff

Return to gradedset.h CVS log

Up to [local] / OpenXM / src / kan96xx / Kan

version 1.6, 2003/08/19 08:02:09

version 1.7, 2005/06/09 04:09:22

Line 1

/* $OpenXM: OpenXM/src/kan96xx/Kan/gradedset.h,v 1.5 2003/07/30 09:00:52 takayama Exp $ */

/* $OpenXM: OpenXM/src/kan96xx/Kan/gradedset.h,v 1.6 2003/08/19 08:02:09 takayama Exp $ */

/* gradedset.h */

#define max(a,b) (a>b?a:b)

Line 42 int clearGmod(struct gradedPolySet *g);

/* red.c */

struct spValue (*sp)(POLY f,POLY g);

struct spValue spZero(void);

int (*isReducible)(POLY f,POLY g);

POLY (*reduction1)(POLY f,POLY g,int needSyz,POLY *cc,POLY *cg);

/* if needSyz, then result = *cc f + *cg g. */

Line 91 void initSyzRingp(void);

Line 92 void initSyzRingp(void);

struct gradedPolySet *(*groebner)(struct arrayOfPOLY *f,

int needBack,

int needSyz, struct pair **grP,

int countDown,int forceReduction);

int countDown,int forceReduction,int reduceOnly);

struct gradedPolySet *groebner_gen(struct arrayOfPOLY *f,

int needBack,

int needSyz, struct pair **grP,

int countDown,int forceReduction);

int countDown,int forceReduction,int reduceOnly);

struct gradedPairs *updatePairs(struct gradedPairs *grD, POLY gt,

int gtGrade, int t,

struct gradedPolySet *grG);

Line 107 void toReducedBasis(struct gradedPolySet *grP,int need

Line 108 void toReducedBasis(struct gradedPolySet *grP,int need

struct gradedPolySet *groebner_gm(struct arrayOfPOLY *f,

int needBack,

int needSyz, struct pair **grP,

int countDown,int forceReduction);

int countDown,int forceReduction,int reduceOnly);

/* syz0 */

void simplifyBT(int grd,int index, struct gradedPolySet *grG);