version 1.1.1.1, 1999/10/08 02:12:02 |
version 1.11, 2004/02/23 09:03:42 |
|
|
|
/* $OpenXM: OpenXM/src/kan96xx/Kan/kanExport1.c,v 1.10 2003/08/27 03:11:12 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include "datatype.h" |
#include "datatype.h" |
#include "stackm.h" |
#include "stackm.h" |
|
|
static int Message = 1; |
static int Message = 1; |
extern int KanGBmessage; |
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 */ |
/** :kan, :ring */ |
struct object Kreduction(f,set) |
struct object Kreduction(f,set) |
struct object f; |
struct object f; |
struct object set; |
struct object set; |
{ |
{ |
POLY r; |
POLY r; |
struct gradedPolySet *grG; |
struct gradedPolySet *grG; |
Line 38 struct object set; |
|
Line 46 struct object set; |
|
}else{ |
}else{ |
r = (*reduction)(f.lc.poly,grG,1,&syz); |
r = (*reduction)(f.lc.poly,grG,1,&syz); |
} |
} |
|
/* outputGradedPolySet(grG,0); */ |
if (flag) { |
if (flag) { |
rob = newObjectArray(3); |
rob = newObjectArray(3); |
putoa(rob,0,KpoPOLY(r)); |
putoa(rob,0,KpoPOLY(r)); |
Line 54 struct object set; |
|
Line 63 struct object set; |
|
} |
} |
|
|
struct object Kgroebner(ob) |
struct object Kgroebner(ob) |
struct object ob; |
struct object ob; |
{ |
{ |
int needSyz = 0; |
int needSyz = 0; |
int needBack = 0; |
int needBack = 0; |
Line 112 struct object ob; |
|
Line 121 struct object ob; |
|
for (i=0; i<getoaSize(ob2); i++) { |
for (i=0; i<getoaSize(ob2); i++) { |
ob2c = getoa(ob2,i); |
ob2c = getoa(ob2,i); |
if (ob2c.tag == Sdollar) { |
if (ob2c.tag == Sdollar) { |
if (strcmp(ob2c.lc.str,"needBack")==0) { |
if (strcmp(ob2c.lc.str,"needBack")==0) { |
needBack = 1; |
needBack = 1; |
}else if (strcmp(ob2c.lc.str,"needSyz")==0) { |
}else if (strcmp(ob2c.lc.str,"needSyz")==0) { |
if (!needBack) { |
if (!needBack) { |
/* warningKan("Kgroebner(): needBack is automatically set."); */ |
/* warningKan("Kgroebner(): needBack is automatically set."); */ |
} |
} |
needSyz = needBack = 1; |
needSyz = needBack = 1; |
}else if (strcmp(ob2c.lc.str,"forceReduction")==0) { |
}else if (strcmp(ob2c.lc.str,"forceReduction")==0) { |
forceReduction = 1; |
forceReduction = 1; |
}else if (strcmp(ob2c.lc.str,"countDown")==0) { |
}else if (strcmp(ob2c.lc.str,"countDown")==0) { |
countDown = 1; cdflag = 1; |
countDown = 1; cdflag = 1; |
if (needSyz) { |
if (needSyz) { |
warningKan("Kgroebner(): needSyz is automatically turned off."); |
warningKan("Kgroebner(): needSyz is automatically turned off."); |
needSyz = 0; |
needSyz = 0; |
} |
} |
}else if (strcmp(ob2c.lc.str,"StopDegree")==0) { |
}else if (strcmp(ob2c.lc.str,"StopDegree")==0) { |
StopDegree = 0; sdflag = 1; |
StopDegree = 0; sdflag = 1; |
if (needSyz) { |
if (needSyz) { |
warningKan("Kgroebner(): needSyz is automatically turned off."); |
warningKan("Kgroebner(): needSyz is automatically turned off."); |
needSyz = 0; |
needSyz = 0; |
} |
} |
}else { |
}else { |
warningKan("Unknown keyword for options."); |
warningKan("Unknown keyword for options."); |
} |
} |
}else if (ob2c.tag == Sinteger) { |
}else if (ob2c.tag == Sinteger) { |
if (cdflag) { |
if (cdflag) { |
cdflag = 0; |
cdflag = 0; |
countDown = KopInteger(ob2c); |
countDown = KopInteger(ob2c); |
}else if (sdflag) { |
}else if (sdflag) { |
sdflag = 0; |
sdflag = 0; |
StopDegree = KopInteger(ob2c); |
StopDegree = KopInteger(ob2c); |
} |
} |
} |
} |
} |
} |
break; |
break; |
default: |
default: |
errorKan1("%s\n","Kgroebner(): [ [polynomials] ] or [[polynomials] [options]]."); |
errorKan1("%s\n","Kgroebner(): [ [polynomials] ] or [[polynomials] [options]]."); |
} |
} |
|
|
if (ob1.tag != Sarray) errorKan1("%s\n","Kgroebner(): The argument must be an array. Example: [ [$x-1$ . $x y -2$ .] [$needBack$ $needSyz$ $needInput$]] "); |
if (ob1.tag != Sarray) errorKan1("%s\n","Kgroebner(): The argument must be an array. Example: [ [$x-1$ . $x y -2$ .] [$needBack$ $needSyz$ $needInput$]] "); |
ob1New = newObjectArray(getoaSize(ob1)); |
ob1New = newObjectArray(getoaSize(ob1)); |
for (i=0; i< getoaSize(ob1); i++) { |
for (i=0; i< getoaSize(ob1); i++) { |
Line 165 struct object ob; |
|
Line 174 struct object ob; |
|
/* getoa(ob1,i) is poly, now check the homogenization. */ |
/* getoa(ob1,i) is poly, now check the homogenization. */ |
if (CheckHomogenization) { |
if (CheckHomogenization) { |
if ((strcmp(F_groebner,"standard")==0) && |
if ((strcmp(F_groebner,"standard")==0) && |
!isHomogenized(KopPOLY(getoa(ob1New,i)))) { |
!isHomogenized(KopPOLY(getoa(ob1New,i)))) { |
fprintf(stderr,"\n%s",KPOLYToString(KopPOLY(getoa(ob1New,i)))); |
fprintf(stderr,"\n%s",KPOLYToString(KopPOLY(getoa(ob1New,i)))); |
errorKan1("%s\n","Kgroebner(): The above polynomial is not homogenized. cf. homogenize."); |
errorKan1("%s\n","Kgroebner(): The above polynomial is not homogenized. cf. homogenize."); |
} |
} |
} |
} |
} |
} |
Line 208 struct object ob; |
|
Line 217 struct object ob; |
|
putoa(rob,1,rob3); |
putoa(rob,1,rob3); |
rob4 = newObjectArray(ob1Size); |
rob4 = newObjectArray(ob1Size); |
for (i=0; i<ob1Size; i++) { |
for (i=0; i<ob1Size; i++) { |
putoa(rob4,i,unitVector(i,ob1Size,myring)); |
putoa(rob4,i,unitVector(i,ob1Size,myring)); |
} |
} |
putoa(rob,2,rob4); |
putoa(rob,2,rob4); |
}else if (needBack) { |
}else if (needBack) { |
Line 225 struct object ob; |
|
Line 234 struct object ob; |
|
} |
} |
/* Assume ob1Size , ob2Size > 0 */ |
/* Assume ob1Size , ob2Size > 0 */ |
ob2 = newObjectArray(ob2Size); |
ob2 = newObjectArray(ob2Size); |
ob1ToOb2 = (int *)GC_malloc(sizeof(int)*ob1Size); |
ob1ToOb2 = (int *)sGC_malloc(sizeof(int)*ob1Size); |
ob1ZeroPos = (int *)GC_malloc(sizeof(int)*(ob1Size-ob2Size+1)); |
ob1ZeroPos = (int *)sGC_malloc(sizeof(int)*(ob1Size-ob2Size+1)); |
if (ob1ToOb2 == NULL || ob1ZeroPos == NULL) errorKan1("%s\n","No more memory."); |
if (ob1ToOb2 == NULL || ob1ZeroPos == NULL) errorKan1("%s\n","No more memory."); |
j = 0; k = 0; |
j = 0; k = 0; |
for (i=0; i<ob1Size; i++) { |
for (i=0; i<ob1Size; i++) { |
Line 265 struct object ob; |
|
Line 274 struct object ob; |
|
fflush(stdout); |
fflush(stdout); |
} |
} |
mp = getSyzygy(grG,grP->next,&grBases,&backwardMat); |
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"); |
if (KanGBmessage) printf("Done.\n"); |
|
|
putoa(rob,0,gradedPolySetToArray(grG,0)); |
putoa(rob,0,gradedPolySetToArray(grG,0)); |
Line 368 static struct object unitVector(int pos, int size,stru |
|
Line 378 static struct object unitVector(int pos, int size,stru |
|
#define INITSIZE 0 |
#define INITSIZE 0 |
|
|
struct gradedPolySet *arrayToGradedPolySet(ob) |
struct gradedPolySet *arrayToGradedPolySet(ob) |
struct object ob; |
struct object ob; |
{ |
{ |
int n,i,grd,ind; |
int n,i,grd,ind; |
POLY f; |
POLY f; |
Line 398 struct object ob; |
|
Line 408 struct object ob; |
|
|
|
|
|
struct object polySetToArray(ps,keepRedundant) |
struct object polySetToArray(ps,keepRedundant) |
struct polySet *ps; |
struct polySet *ps; |
int keepRedundant; |
int keepRedundant; |
{ |
{ |
int n,i,j; |
int n,i,j; |
struct object ob; |
struct object ob; |
Line 425 int keepRedundant; |
|
Line 435 int keepRedundant; |
|
|
|
|
|
struct object gradedPolySetToGradedArray(gps,keepRedundant) |
struct object gradedPolySetToGradedArray(gps,keepRedundant) |
struct gradedPolySet *gps; |
struct gradedPolySet *gps; |
int keepRedundant; |
int keepRedundant; |
{ |
{ |
struct object ob,vec; |
struct object ob,vec; |
int i; |
int i; |
Line 443 int keepRedundant; |
|
Line 453 int keepRedundant; |
|
|
|
|
|
struct object gradedPolySetToArray(gps,keepRedundant) |
struct object gradedPolySetToArray(gps,keepRedundant) |
struct gradedPolySet *gps; |
struct gradedPolySet *gps; |
int keepRedundant; |
int keepRedundant; |
{ |
{ |
struct object ob,vec; |
struct object ob,vec; |
struct polySet *ps; |
struct polySet *ps; |
Line 459 int keepRedundant; |
|
Line 469 int keepRedundant; |
|
size += ps->size; |
size += ps->size; |
}else{ |
}else{ |
for (j=0; j<ps->size; j++) { |
for (j=0; j<ps->size; j++) { |
if (ps->del[j] == 0) ++size; |
if (ps->del[j] == 0) ++size; |
} |
} |
} |
} |
} |
} |
Line 470 int keepRedundant; |
|
Line 480 int keepRedundant; |
|
ps = gps->polys[i]; |
ps = gps->polys[i]; |
for (j=0; j<ps->size; j++) { |
for (j=0; j<ps->size; j++) { |
if (keepRedundant || (ps->del[j] == 0)) { |
if (keepRedundant || (ps->del[j] == 0)) { |
putoa(ob,k,KpoPOLY(ps->g[j])); |
putoa(ob,k,KpoPOLY(ps->g[j])); |
k++; |
k++; |
} |
} |
} |
} |
} |
} |
Line 481 int keepRedundant; |
|
Line 491 int keepRedundant; |
|
|
|
/* serial == -1 : It's not in the marix input. */ |
/* serial == -1 : It's not in the marix input. */ |
struct object syzPolyToArray(size,f,grG) |
struct object syzPolyToArray(size,f,grG) |
int size; |
int size; |
POLY f; |
POLY f; |
struct gradedPolySet *grG; |
struct gradedPolySet *grG; |
{ |
{ |
struct object ob; |
struct object ob; |
int i,g0,i0,serial; |
int i,g0,i0,serial; |
Line 495 struct gradedPolySet *grG; |
|
Line 505 struct gradedPolySet *grG; |
|
|
|
while (f != POLYNULL) { |
while (f != POLYNULL) { |
g0 = srGrade(f); |
g0 = srGrade(f); |
i0 = srIndex(f); |
i0 = srIndex(f); |
serial = grG->polys[g0]->serial[i0]; |
serial = grG->polys[g0]->serial[i0]; |
if (serial < 0) { |
if (serial < 0) { |
errorKan1("%s\n","syzPolyToArray(): invalid serial[i] of grG."); |
errorKan1("%s\n","syzPolyToArray(): invalid serial[i] of grG."); |
Line 510 struct gradedPolySet *grG; |
|
Line 520 struct gradedPolySet *grG; |
|
} |
} |
|
|
struct object getBackwardArray(grG) |
struct object getBackwardArray(grG) |
struct gradedPolySet *grG; |
struct gradedPolySet *grG; |
{ |
{ |
/* use serial, del. cf. getBackwardTransformation(). */ |
/* use serial, del. cf. getBackwardTransformation(). */ |
int inputSize,outputSize; |
int inputSize,outputSize; |
Line 533 struct gradedPolySet *grG; |
|
Line 543 struct gradedPolySet *grG; |
|
ps = grG->polys[i]; |
ps = grG->polys[i]; |
for (j=0; j<ps->size; j++) { |
for (j=0; j<ps->size; j++) { |
if (ps->del[j] == 0) { |
if (ps->del[j] == 0) { |
putoa(ob,k,syzPolyToArray(inputSize,ps->syz[j]->syz,grG)); |
putoa(ob,k,syzPolyToArray(inputSize,ps->syz[j]->syz,grG)); |
k++; |
k++; |
} |
} |
} |
} |
} |
} |
Line 543 struct gradedPolySet *grG; |
|
Line 553 struct gradedPolySet *grG; |
|
|
|
|
|
POLY arrayToPOLY(ob) |
POLY arrayToPOLY(ob) |
struct object ob; |
struct object ob; |
{ |
{ |
int size,i; |
int size,i; |
struct object f; |
struct object f; |
Line 563 struct object ob; |
|
Line 573 struct object ob; |
|
if (ff != ZERO) { |
if (ff != ZERO) { |
tf = ff->m; |
tf = ff->m; |
if (tf->ringp != cr) { |
if (tf->ringp != cr) { |
n = tf->ringp->n; |
n = tf->ringp->n; |
m = tf->ringp->m; |
m = tf->ringp->m; |
l = tf->ringp->l; |
l = tf->ringp->l; |
c = tf->ringp->c; |
c = tf->ringp->c; |
nn = tf->ringp->nn; |
nn = tf->ringp->nn; |
mm = tf->ringp->mm; |
mm = tf->ringp->mm; |
ll = tf->ringp->ll; |
ll = tf->ringp->ll; |
cc = tf->ringp->cc; |
cc = tf->ringp->cc; |
cr = tf->ringp; |
cr = tf->ringp; |
} |
} |
if (n-nn >0) ee = cxx(1,n-1,i,tf->ringp); |
if (n-nn >0) ee = cxx(1,n-1,i,tf->ringp); |
else if (m-mm >0) ee = cxx(1,m-1,i,tf->ringp); |
else if (m-mm >0) ee = cxx(1,m-1,i,tf->ringp); |
Line 585 struct object ob; |
|
Line 595 struct object ob; |
|
} |
} |
|
|
struct object POLYToArray(ff) |
struct object POLYToArray(ff) |
POLY ff; |
POLY ff; |
{ |
{ |
|
|
static int nn,mm,ll,cc,n,m,l,c; |
static int nn,mm,ll,cc,n,m,l,c; |
|
|
} |
} |
|
|
static int isThereh(f) |
static int isThereh(f) |
POLY f; |
POLY f; |
{ |
{ |
POLY t; |
POLY t; |
if (f == 0) return(0); |
if (f == 0) return(0); |
|
|
} |
} |
|
|
struct object homogenizeObject(ob,gradep) |
struct object homogenizeObject(ob,gradep) |
struct object ob; |
struct object ob; |
int *gradep; |
int *gradep; |
{ |
{ |
struct object rob,ob1; |
struct object rob,ob1; |
int maxg; |
int maxg; |
|
|
rob = newObjectArray(size); |
rob = newObjectArray(size); |
flag = 0; |
flag = 0; |
ob1 = getoa(ob,0); |
ob1 = getoa(ob,0); |
|
if (ob1.tag == Sdollar) return(homogenizeObject_go(ob,gradep)); |
ob1 = homogenizeObject(ob1,&gr); |
ob1 = homogenizeObject(ob1,&gr); |
maxg = gr; |
maxg = gr; |
getoa(rob,0) = ob1; |
getoa(rob,0) = ob1; |
|
|
ob1 = getoa(ob,i); |
ob1 = getoa(ob,i); |
ob1 = homogenizeObject(ob1,&gr); |
ob1 = homogenizeObject(ob1,&gr); |
if (gr > maxg) { |
if (gr > maxg) { |
maxg = gr; |
maxg = gr; |
} |
} |
getoa(rob,i) = ob1; |
getoa(rob,i) = ob1; |
} |
} |
|
|
rp = oRingp(rob); |
rp = oRingp(rob); |
if (rp == (struct ring *)NULL) rp = CurrentRingp; |
if (rp == (struct ring *)NULL) rp = CurrentRingp; |
for (i=0; i<size; i++) { |
for (i=0; i<size; i++) { |
gr = oGrade(getoa(rob,i)); |
gr = oGrade(getoa(rob,i)); |
/**printf("maxg=%d, gr=%d(i=%d) ",maxg,gr,i); fflush(stdout);**/ |
/**printf("maxg=%d, gr=%d(i=%d) ",maxg,gr,i); fflush(stdout);**/ |
if (maxg > gr) { |
if (maxg > gr) { |
f = cdd(1,0,maxg-gr-i,rp); /* h^{maxg-gr-i} */ |
f = cdd(1,0,maxg-gr-i,rp); /* h^{maxg-gr-i} */ |
getoa(rob,i) = KooMult(KpoPOLY(f),getoa(rob,i)); |
getoa(rob,i) = KooMult(KpoPOLY(f),getoa(rob,i)); |
} |
} |
} |
} |
} |
} |
*gradep = maxg; |
*gradep = maxg; |
|
|
} |
} |
|
|
struct object homogenizeObject_vec(ob,gradep) |
struct object homogenizeObject_vec(ob,gradep) |
struct object ob; |
struct object ob; |
int *gradep; |
int *gradep; |
{ |
{ |
struct object rob,ob1; |
struct object rob,ob1; |
int maxg; |
int maxg; |
|
|
if (size == 0) { |
if (size == 0) { |
errorKan1("%s\n","homogenizeObject_vec() is called for the empty array."); |
errorKan1("%s\n","homogenizeObject_vec() is called for the empty array."); |
} |
} |
|
if (getoa(ob,0).tag == Sdollar) return(homogenizeObject_go(ob,gradep)); |
rob = newObjectArray(size); |
rob = newObjectArray(size); |
for (i=0; i<size; i++) { |
for (i=0; i<size; i++) { |
ob1 = getoa(ob,i); |
ob1 = getoa(ob,i); |
ob1 = homogenizeObject_vec(ob1,&gr); |
ob1 = homogenizeObject_vec(ob1,&gr); |
if (i==0) maxg = gr; |
if (i==0) maxg = gr; |
else { |
else { |
maxg = (maxg > gr? maxg: gr); |
maxg = (maxg > gr? maxg: gr); |
} |
} |
putoa(rob,i,ob1); |
putoa(rob,i,ob1); |
} |
} |
|
|
} |
} |
} |
} |
|
|
|
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; |
|
struct object ob1; |
|
struct object ob2; |
|
struct object rob; |
|
struct object tob; |
|
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); |
|
if (size == 0) errorKan1("%s\n","homogenizeObject_go(): the first argument must be a string."); |
|
ob0 = getoa(ob,0); |
|
if (ob0.tag != Sdollar) { |
|
errorKan1("%s\n","homogenizeObject_go(): the first argument must be a string."); |
|
} |
|
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.\nshift-vector=(0,1)-shift vector or [(0,1)-shift vector, (u,v)-shift vector]."); |
|
ob1 = getoa(ob,1); |
|
if (ob1.tag != Sarray) { |
|
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; |
|
} |
|
|
|
if (getoaSize(ob1) == 2) { |
|
/* [(degreeShift) [ [1 2] [3 4] ] ...] homogenize */ |
|
/* (0,1)-h (u,v)-s */ |
|
DegreeShiftD = getoa(ob1,0); |
|
dssize = getoaSize(DegreeShiftD); |
|
ds = (int *)sGC_malloc(sizeof(int)*(dssize>0?dssize:1)); |
|
if (ds == NULL) errorKan1("%s\n","no more memory."); |
|
for (i=0; i<dssize; i++) { |
|
ds[i] = objToInteger(getoa(DegreeShiftD,i)); |
|
} |
|
DegreeShiftD_size = dssize; |
|
DegreeShiftD_vec = ds; |
|
|
|
DegreeShifto = getoa(ob1,1); |
|
dssize = getoaSize(DegreeShifto); |
|
ds = (int *)sGC_malloc(sizeof(int)*(dssize>0?dssize:1)); |
|
if (ds == NULL) errorKan1("%s\n","no more memory."); |
|
for (i=0; i<dssize; i++) { |
|
ds[i] = objToInteger(getoa(DegreeShifto,i)); |
|
} |
|
DegreeShifto_size = dssize; |
|
DegreeShifto_vec = ds; |
|
}else if (getoaSize(ob1) == 1) { |
|
/* Set only for (0,1)-h */ |
|
DegreeShiftD = getoa(ob1,0); |
|
dssize = getoaSize(DegreeShiftD); |
|
ds = (int *)sGC_malloc(sizeof(int)*(dssize>0?dssize:1)); |
|
if (ds == NULL) errorKan1("%s\n","no more memory."); |
|
for (i=0; i<dssize; i++) { |
|
ds[i] = objToInteger(getoa(DegreeShiftD,i)); |
|
} |
|
DegreeShiftD_size = dssize; |
|
DegreeShiftD_vec = ds; |
|
} |
|
|
|
ds = DegreeShifto_vec; |
|
dssize = DegreeShifto_size; |
|
|
|
if (size == 2) { |
|
rob = newObjectArray(2); |
|
putoa(rob,0,DegreeShiftD); |
|
putoa(rob,1,DegreeShifto); |
|
return rob; |
|
}else{ |
|
ob2 = getoa(ob,2); |
|
if (ob2.tag == Spoly) { |
|
f = goHomogenize11(KopPOLY(ob2),ds,dssize,-1,onlyS); |
|
rob = KpoPOLY(f); |
|
}else if (ob2.tag == SuniversalNumber) { |
|
rob = ob2; |
|
}else if (ob2.tag == Sarray) { |
|
int mm; |
|
mm = getoaSize(ob2); |
|
f = objArrayToPOLY(ob2); |
|
f = goHomogenize11(f,ds,dssize,-1,onlyS); |
|
rob = POLYtoObjArray(f,mm); |
|
}else{ |
|
errorKan1("%s\n","homogenizeObject_go(): invalid object for the third element."); |
|
} |
|
} |
|
}else{ |
|
errorKan1("%s\n","homogenizeObject_go(): unknown key word."); |
|
} |
|
return( rob ); |
|
} |
|
|
|
|
struct ring *oRingp(ob) |
struct ring *oRingp(ob) |
struct object ob; |
struct object ob; |
{ |
{ |
struct ring *rp,*rptmp; |
struct ring *rp,*rptmp; |
int i,size; |
int i,size; |
Line 791 struct object ob; |
|
Line 934 struct object ob; |
|
} |
} |
|
|
int oGrade(ob) |
int oGrade(ob) |
struct object ob; |
struct object ob; |
{ |
{ |
int i,size; |
int i,size; |
POLY f; |
POLY f; |
Line 819 struct object ob; |
|
Line 962 struct object ob; |
|
|
|
|
|
struct object oPrincipalPart(ob) |
struct object oPrincipalPart(ob) |
struct object ob; |
struct object ob; |
{ |
{ |
POLY f; |
POLY f; |
struct object rob; |
struct object rob; |
Line 835 struct object ob; |
|
Line 978 struct object ob; |
|
} |
} |
} |
} |
struct object oInitW(ob,oWeight) |
struct object oInitW(ob,oWeight) |
struct object ob; |
struct object ob; |
struct object oWeight; |
struct object oWeight; |
{ |
{ |
POLY f; |
POLY f; |
struct object rob; |
struct object rob; |
int w[2*N0]; |
int w[2*N0]; |
int n,i; |
int n,i; |
struct object ow; |
struct object ow; |
|
int shiftvec; |
|
struct object oShift; |
|
int *s; |
|
int ssize,m; |
|
|
|
shiftvec = 0; |
|
s = NULL; |
|
|
if (oWeight.tag != Sarray) { |
if (oWeight.tag != Sarray) { |
errorKan1("%s\n","oInitW(): the second argument must be array."); |
errorKan1("%s\n","oInitW(): the second argument must be array."); |
} |
} |
n = getoaSize(oWeight); |
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","oInitW(): 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","oInitW(): the weight vector must be array."); |
|
} |
|
n = getoaSize(oWeight); |
|
if (oShift.tag != Sarray) { |
|
errorKan1("%s\n","oInitW(): the shift vector must be array."); |
|
} |
|
} |
|
/* oWeight = Ksm1WeightExpressionToVec(oWeight); */ |
if (n >= 2*N0) errorKan1("%s\n","oInitW(): the size of the second argument is invalid."); |
if (n >= 2*N0) errorKan1("%s\n","oInitW(): the size of the second argument is invalid."); |
for (i=0; i<n; i++) { |
for (i=0; i<n; i++) { |
ow = getoa(oWeight,i); |
ow = getoa(oWeight,i); |
|
if (ow.tag == SuniversalNumber) { |
|
ow = KpoInteger(coeffToInt(ow.lc.universalNumber)); |
|
} |
if (ow.tag != Sinteger) { |
if (ow.tag != Sinteger) { |
errorKan1("%s\n","oInitW(): the entries of the second argument must be integers."); |
errorKan1("%s\n","oInitW(): the entries of the second argument must be integers."); |
} |
} |
w[i] = KopInteger(ow); |
w[i] = KopInteger(ow); |
} |
} |
|
if (shiftvec) { |
|
ssize = getoaSize(oShift); |
|
s = (int *)sGC_malloc(sizeof(int)*(ssize+1)); |
|
if (s == NULL) errorKan1("%s\n","oInitW() no more memory."); |
|
for (i=0; i<ssize; i++) { |
|
ow = getoa(oShift,i); |
|
if (ow.tag == SuniversalNumber) { |
|
ow = KpoInteger(coeffToInt(ow.lc.universalNumber)); |
|
} |
|
if (ow.tag != Sinteger) { |
|
errorKan1("%s\n","oInitW(): the entries of shift vector must be integers."); |
|
} |
|
s[i] = KopInteger(ow); |
|
} |
|
} |
|
|
switch(ob.tag) { |
switch(ob.tag) { |
case Spoly: |
case Spoly: |
f = KopPOLY(ob); |
f = KopPOLY(ob); |
return( KpoPOLY(POLYToInitW(f,w))); |
if (shiftvec) { |
|
return( KpoPOLY(POLYToInitWS(f,w,s))); |
|
}else{ |
|
return( KpoPOLY(POLYToInitW(f,w))); |
|
} |
break; |
break; |
|
case Sarray: |
|
m = getoaSize(ob); |
|
f = objArrayToPOLY(ob); |
|
/* printf("1.%s\n",POLYToString(f,'*',1)); */ |
|
if (shiftvec) { |
|
f = POLYToInitWS(f,w,s); |
|
}else{ |
|
f = POLYToInitW(f,w); |
|
} |
|
/* printf("2.%s\n",POLYToString(f,'*',1)); */ |
|
|
|
return POLYtoObjArray(f,m); |
default: |
default: |
errorKan1("%s\n","oInitW(): Argument must be polynomial."); |
errorKan1("%s\n","oInitW(): Argument must be polynomial or a vector of polynomials"); |
break; |
break; |
} |
} |
} |
} |
|
|
|
POLY objArrayToPOLY(struct object ob) { |
|
int m; |
|
POLY f; |
|
POLY t; |
|
int i,n; |
|
struct ring *ringp; |
|
if (ob.tag != Sarray) errorKan1("%s\n", "objArrayToPOLY() the argument must be an array."); |
|
m = getoaSize(ob); |
|
ringp = NULL; |
|
f = POLYNULL; |
|
for (i=0; i<m; i++) { |
|
if (getoa(ob,i).tag != Spoly) errorKan1("%s\n","objArrayToPOLY() elements must be a polynomial."); |
|
t = KopPOLY(getoa(ob,i)); |
|
if (t ISZERO) { |
|
}else{ |
|
if (ringp == NULL) { |
|
ringp = t->m->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); |
|
} |
|
} |
|
return f; |
|
} |
|
|
|
struct object POLYtoObjArray(POLY f,int size) { |
|
struct object rob; |
|
POLY *pa; |
|
int d,n,i; |
|
POLY t; |
|
if (size < 0) errorKan1("%s\n","POLYtoObjArray() invalid size."); |
|
rob = newObjectArray(size); |
|
pa = (POLY *) sGC_malloc(sizeof(POLY)*(size+1)); |
|
if (pa == NULL) errorKan1("%s\n","POLYtoObjArray() no more memory."); |
|
for (i=0; i<size; i++) { |
|
pa[i] = POLYNULL; |
|
putoa(rob,i,KpoPOLY(pa[i])); |
|
} |
|
if (f == POLYNULL) { |
|
return rob; |
|
} |
|
n = f->m->ringp->n; |
|
while (f != POLYNULL) { |
|
d = f->m->e[n-1].x; |
|
if (d >= size) errorKan1("%s\n","POLYtoObjArray() size is too small."); |
|
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. */ |
|
f = f->next; |
|
} |
|
for (i=0; i<size; i++) { |
|
putoa(rob,i,KpoPOLY(pa[i])); |
|
} |
|
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<n; i++) { |
|
ow = getoa(oWeight,i); |
|
if (ow.tag == SuniversalNumber) { |
|
ow = KpoInteger(coeffToInt(ow.lc.universalNumber)); |
|
} |
|
if (ow.tag != Sinteger) { |
|
errorKan1("%s\n","ordWsAll(): the entries of the second argument must be integers."); |
|
} |
|
w[i] = KopInteger(ow); |
|
} |
|
if (shiftvec) { |
|
ssize = getoaSize(oShift); |
|
s = (int *)sGC_malloc(sizeof(int)*(ssize+1)); |
|
if (s == NULL) errorKan1("%s\n","ordWsAll() no more memory."); |
|
for (i=0; i<ssize; i++) { |
|
ow = getoa(oShift,i); |
|
if (ow.tag == SuniversalNumber) { |
|
ow = KpoInteger(coeffToInt(ow.lc.universalNumber)); |
|
} |
|
if (ow.tag != Sinteger) { |
|
errorKan1("%s\n","ordWsAll(): the entries of shift vector must be integers."); |
|
} |
|
s[i] = KopInteger(ow); |
|
} |
|
} |
|
|
|
switch(ob.tag) { |
|
case Spoly: |
|
f = KopPOLY(ob); |
|
if (f == POLYNULL) errorKan1("%s\n","ordWsAll(): the argument is 0"); |
|
if (shiftvec) { |
|
return( KpoInteger(ordWsAll(f,w,s))); |
|
}else{ |
|
return( KpoInteger(ordWsAll(f,w,(int *) NULL))); |
|
} |
|
break; |
|
case Sarray: |
|
m = getoaSize(ob); |
|
f = objArrayToPOLY(ob); |
|
if (f == POLYNULL) errorKan1("%s\n","ordWsAll(): the argument is 0"); |
|
if (shiftvec) { |
|
return KpoInteger(ordWsAll(f,w,s)); |
|
}else{ |
|
return KpoInteger(ordWsAll(f,w,(int *)NULL)); |
|
} |
|
default: |
|
errorKan1("%s\n","ordWsAll(): Argument must be polynomial or a vector of polynomials"); |
|
break; |
|
} |
|
} |
|
|
int KpolyLength(POLY f) { |
int KpolyLength(POLY f) { |
int size; |
int size; |
if (f == POLYNULL) return(1); |
if (f == POLYNULL) return(1); |
Line 993 struct object KvectorToSchreyer_es(struct object obarr |
|
Line 1350 struct object KvectorToSchreyer_es(struct object obarr |
|
/* g = es^i g */ |
/* g = es^i g */ |
g = mpMult_poly(cxx(1,nn,i,rp), g); |
g = mpMult_poly(cxx(1,nn,i,rp), g); |
if (!isOrdered(g)) { |
if (!isOrdered(g)) { |
errorKan1("%s\n","KvectorToSchreyer_es(): given polynomial is not ordered properly by the given Schreyer order."); |
errorKan1("%s\n","KvectorToSchreyer_es(): given polynomial is not ordered properly by the given Schreyer order."); |
} |
} |
f = ppAdd(f,g); |
f = ppAdd(f,g); |
} |
} |
} |
} |
return(KpoPOLY(f)); |
return(KpoPOLY(f)); |
|
} |
|
|
|
int objToInteger(struct object ob) { |
|
if (ob.tag == Sinteger) { |
|
return KopInteger(ob); |
|
}else if (ob.tag == SuniversalNumber) { |
|
return(coeffToInt(KopUniversalNumber(ob))); |
|
}else { |
|
errorKan1("%s\n","objToInteger(): invalid argument."); |
|
} |
} |
} |