=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/kanExport1.c,v retrieving revision 1.7 retrieving revision 1.10 diff -u -p -r1.7 -r1.10 --- OpenXM/src/kan96xx/Kan/kanExport1.c 2003/08/22 11:47:03 1.7 +++ OpenXM/src/kan96xx/Kan/kanExport1.c 2003/08/27 03:11:12 1.10 @@ -1,4 +1,4 @@ -/* $OpenXM: OpenXM/src/kan96xx/Kan/kanExport1.c,v 1.6 2003/08/21 12:28:57 takayama Exp $ */ +/* $OpenXM: OpenXM/src/kan96xx/Kan/kanExport1.c,v 1.9 2003/08/24 05:19:42 takayama Exp $ */ #include #include "datatype.h" #include "stackm.h" @@ -15,6 +15,9 @@ extern int KanGBmessage; struct object DegreeShifto; int DegreeShifto_size = 0; int *DegreeShifto_vec = NULL; +struct object DegreeShiftD; +int DegreeShiftD_size = 0; +int *DegreeShiftD_vec = NULL; /** :kan, :ring */ struct object Kreduction(f,set) @@ -271,6 +274,7 @@ struct object Kgroebner(ob) fflush(stdout); } mp = getSyzygy(grG,grP->next,&grBases,&backwardMat); + if (mp == NULL) errorKan1("%s\n","Internal error in getSyzygy(). BUG of sm1."); if (KanGBmessage) printf("Done.\n"); putoa(rob,0,gradedPolySetToArray(grG,0)); @@ -771,6 +775,15 @@ struct object homogenizeObject_vec(ob,gradep) } } +void KresetDegreeShift() { + DegreeShifto = NullObject; + DegreeShifto_vec = (int *)NULL; + DegreeShifto_size = 0; + DegreeShiftD = NullObject; + DegreeShiftD_vec = (int *)NULL; + DegreeShiftD_size = 0; +} + struct object homogenizeObject_go(struct object ob,int *gradep) { int size,i,dssize,j; struct object ob0; @@ -781,7 +794,27 @@ struct object homogenizeObject_go(struct object ob,int struct object ob1t; int *ds; POLY f; + int onlyS; + + onlyS = 0; /* default value */ rob = NullObject; + /*printf("[%d,%d]\n",DegreeShiftD_size,DegreeShifto_size);*/ + if (DegreeShifto_size == 0) DegreeShifto = NullObject; + if (DegreeShiftD_size == 0) DegreeShiftD = NullObject; + /* + DegreeShiftD : Degree shift vector for (0,1)-h-homogenization, + which is {\vec n} in G-O paper. + It is used in dGrade1() redm.c + DegreeShifto : Degree shift vector for (u,v)-s-homogenization + which is used only in ecart division and (u,v) is + usually (-1,1). + This shift vector is written {\vec v} in G-O paper. + It may differ from the degree shift for the ring, + which is used to get (minimal) Schreyer resolution. + This shift vector is denoted by {\vec m} in G-O paper. + It is often used as an argument for uvGrade1 and + goHomogenize* + */ if (ob.tag != Sarray) errorKan1("%s\n","homogenizeObject_go(): Invalid argument data type."); size = getoaSize(ob); @@ -792,47 +825,76 @@ struct object homogenizeObject_go(struct object ob,int } if (strcmp(KopString(ob0),"degreeShift") == 0) { if (size < 2) - errorKan1("%s\n","homogenizeObject_go(): [(degreeShift) shift-vector obj] or [(degreeShift) shift-vector] or [(degreeShift) (value)] homogenize"); + errorKan1("%s\n","homogenizeObject_go(): [(degreeShift) shift-vector obj] or [(degreeShift) shift-vector] or [(degreeShift) (value)] homogenize.\nshift-vector=(0,1)-shift vector or [(0,1)-shift vector, (u,v)-shift vector]."); ob1 = getoa(ob,1); if (ob1.tag != Sarray) { - if (DegreeShifto_size != 0) { - return DegreeShifto; - }else{ - rob = NullObject; - return rob; + if ((ob1.tag == Sdollar) && (strcmp(KopString(ob1),"value")==0)) { + /* Reporting the value. It is done below. */ + }else if ((ob1.tag == Sdollar) && (strcmp(KopString(ob1),"reset")==0)) { + KresetDegreeShift(); } + rob = newObjectArray(2); + putoa(rob,0,DegreeShiftD); + putoa(rob,1,DegreeShifto); + return rob; } - dssize = getoaSize(ob1); - ds = (int *)sGC_malloc(sizeof(int)*(dssize>0?dssize:1)); - for (i=0; i0?dssize:1)); + if (ds == NULL) errorKan1("%s\n","no more memory."); + for (i=0; i0?dssize:1)); + if (ds == NULL) errorKan1("%s\n","no more memory."); + for (i=0; i0?dssize:1)); + if (ds == NULL) errorKan1("%s\n","no more memory."); + for (i=0; im->ringp; n = ringp->n; + if (n - ringp->nn <= 0) errorKan1("%s\n","Graduation variable in D is not given."); } t = (*mpMult)(cxx(1,n-1,i,ringp),t); f = ppAddv(f,t); @@ -1051,7 +1119,7 @@ struct object POLYtoObjArray(POLY f,int size) { while (f != POLYNULL) { d = f->m->e[n-1].x; if (d >= size) errorKan1("%s\n","POLYtoObjArray() size is too small."); - t = newCell(f->coeffp,monomialCopy(f->m)); + t = newCell(coeffCopy(f->coeffp),monomialCopy(f->m)); i = t->m->e[n-1].x; t->m->e[n-1].x = 0; pa[i] = ppAddv(pa[i],t); /* slow to add from the top. */ @@ -1063,6 +1131,98 @@ struct object POLYtoObjArray(POLY f,int size) { return rob; } +struct object KordWsAll(ob,oWeight) + struct object ob; + struct object oWeight; +{ + POLY f; + struct object rob; + int w[2*N0]; + int n,i; + struct object ow; + int shiftvec; + struct object oShift; + int *s; + int ssize,m; + + shiftvec = 0; + s = NULL; + + if (oWeight.tag != Sarray) { + errorKan1("%s\n","ordWsAll(): the second argument must be array."); + } + n = getoaSize(oWeight); + if (n == 0) { + m = getoaSize(ob); + f = objArrayToPOLY(ob); + f = head(f); + return POLYtoObjArray(f,m); + } + if (getoa(oWeight,0).tag == Sarray) { + if (n != 2) errorKan1("%s\n","ordWsAll(): the size of the second argument should be 2."); + shiftvec = 1; + oShift = getoa(oWeight,1); + oWeight = getoa(oWeight,0); + if (oWeight.tag != Sarray) { + errorKan1("%s\n","ordWsAll(): the weight vector must be array."); + } + n = getoaSize(oWeight); + if (oShift.tag != Sarray) { + errorKan1("%s\n","ordWsAll(): the shift vector must be array."); + } + } + /* oWeight = Ksm1WeightExpressionToVec(oWeight); */ + if (n >= 2*N0) errorKan1("%s\n","ordWsAll(): the size of the second argument is invalid."); + for (i=0; i