=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/kanExport1.c,v retrieving revision 1.19 retrieving revision 1.21 diff -u -p -r1.19 -r1.21 --- OpenXM/src/kan96xx/Kan/kanExport1.c 2005/06/16 06:54:55 1.19 +++ OpenXM/src/kan96xx/Kan/kanExport1.c 2005/07/03 11:08:53 1.21 @@ -1,4 +1,4 @@ -/* $OpenXM: OpenXM/src/kan96xx/Kan/kanExport1.c,v 1.18 2005/06/16 05:07:23 takayama Exp $ */ +/* $OpenXM: OpenXM/src/kan96xx/Kan/kanExport1.c,v 1.20 2005/06/16 08:40:04 takayama Exp $ */ #include #include "datatype.h" #include "stackm.h" @@ -19,6 +19,9 @@ struct object DegreeShiftD = OINIT; int DegreeShiftD_size = 0; int *DegreeShiftD_vec = NULL; +static struct object paddingVector(struct object ob, int table[], int m); +static struct object unitVector(int pos, int size,struct ring *r); + /** :kan, :ring */ struct object Kreduction(f,set) struct object f; @@ -88,7 +91,7 @@ struct object Kgroebner(ob) int sdflag = 0; int forceReduction = 0; int reduceOnly = 0; - int gbCheck = 0; + int gbCheck = 0; /* see @s/2005/06/16-note.pdf */ int ob1Size, ob2Size, noZeroEntry; int *ob1ToOb2; @@ -104,8 +107,8 @@ struct object Kgroebner(ob) struct object newB = OINIT; struct object orgC = OINIT; struct object newC = OINIT; - static struct object paddingVector(struct object ob, int table[], int m); - static struct object unitVector(int pos, int size,struct ring *r); + struct object paddingVector(struct object ob, int table[], int m); + struct object unitVector(int pos, int size,struct ring *r); extern struct ring *CurrentRingp; StopDegree = 0x7fff; @@ -122,6 +125,7 @@ struct object Kgroebner(ob) if (ob2.tag != Sarray) { errorKan1("%s\n","Kgroebner(): The options must be given by an array."); } + /* Note: If you add a new option, change /configureGroebnerOption, too */ for (i=0; igb)); + putoa(rob,0,KsetAttribute(getoa(rob,0),KpoString("gb"),KpoInteger(grG->gb))); if (noZeroEntry) { - rob=KsetAttribute(rob,KpoString("gb"),KpoInteger(grG->gb)); return(rob); } method = getoaSize(rob); switch(method) { case 1: - rob=KsetAttribute(rob,KpoString("gb"),KpoInteger(grG->gb)); return(rob); break; case 2: