version 1.37, 2004/05/17 12:03:17 |
version 1.39, 2004/05/18 14:11:09 |
Line 416 def qcheckmain(PolyList,Vars){ |
|
Line 416 def qcheckmain(PolyList,Vars){ |
|
Poly=dp_ptod(PolyList[I],Vars)$ |
Poly=dp_ptod(PolyList[I],Vars)$ |
BASE0=dp_etov(dp_ht(Poly))$ |
BASE0=dp_etov(dp_ht(Poly))$ |
Poly=dp_rest(Poly)$ |
Poly=dp_rest(Poly)$ |
for(;Poly!=0;Poly=dp_rest(Poly)){ |
for(;L!=VarsNum && Poly!=0;Poly=dp_rest(Poly)){ |
ExpMat[L]=dp_etov(dp_ht(Poly))-BASE0$ |
ExpMat[L]=dp_etov(dp_ht(Poly))-BASE0$ |
L=chkou(L,ExpMat,CHAGORD)$ |
L=chkou(L,ExpMat,CHAGORD)$ |
if(L==VarsNum-1) |
if(L==VarsNum-1) |
Line 454 def checktd(PolyList,Vars,ResVars){ |
|
Line 454 def checktd(PolyList,Vars,ResVars){ |
|
return 1$ |
return 1$ |
} |
} |
|
|
def value2(Vars,Ans,Ba){ |
def value2(Vars,Ans,Ba,FLAG){ |
|
|
N=length(Vars)$ |
N=length(Vars)$ |
Res=newvect(N)$ |
Res=newvect(N)$ |
Line 469 def value2(Vars,Ans,Ba){ |
|
Line 469 def value2(Vars,Ans,Ba){ |
|
Res=getgcd(Res,Vars)$ |
Res=getgcd(Res,Vars)$ |
|
|
if(nonposdegchk(Res)){ |
if(nonposdegchk(Res)){ |
TMP1=makeret(Res,Vars,1)$ |
TMP1=makeret(Res,Vars,FLAG)$ |
return [vtol(TMP1[1]),vtol(map(drint,TMP1[1]*1.0))]$ |
return vtol(TMP1[1])$ |
} |
} |
else |
else |
return []$ |
return []$ |
Line 523 def qcheck(PolyList,Vars,FLAG){ |
|
Line 523 def qcheck(PolyList,Vars,FLAG){ |
|
|
|
for(I=0;I<length(TMP0);I++) |
for(I=0;I<length(TMP0);I++) |
TMP=map(subst,TMP,TMP0[I][0],TMP0[I][1])$ |
TMP=map(subst,TMP,TMP0[I][0],TMP0[I][1])$ |
RET0=value2(Vars,TMP,1)$ |
RET0=value2(Vars,TMP,1,0)$ |
|
|
if(RET0!=[]) |
if(RET0!=[]) |
RET0=wsort(RET0[0],Vars,RET0[1],-1)$ |
RET0=wsort(RET0,Vars,RET0,-1)$ |
} |
} |
|
|
TMP=vtol(TMP1[1])$ |
TMP=vtol(TMP1[1])$ |
Line 534 def qcheck(PolyList,Vars,FLAG){ |
|
Line 534 def qcheck(PolyList,Vars,FLAG){ |
|
|
|
for(I=0;I<length(TMP0);I++) |
for(I=0;I<length(TMP0);I++) |
TMP=map(subst,TMP,TMP0[I][0],TMP0[I][1])$ |
TMP=map(subst,TMP,TMP0[I][0],TMP0[I][1])$ |
RET0=value2(Vars,TMP,-1)$ |
RET0=value2(Vars,TMP,-1,0)$ |
|
|
if(RET0!=[]) |
if(RET0!=[]) |
RET0=wsort(RET0[0],Vars,RET0[1],-1)$ |
RET0=wsort(RET0,Vars,RET0,-1)$ |
} |
} |
RET=append(RET,RET0)$ |
RET=append(RET,RET0)$ |
} |
} |
Line 600 def unitweight2(NormMat0,ExpMat,Vars,FLAG,ID){ |
|
Line 600 def unitweight2(NormMat0,ExpMat,Vars,FLAG,ID){ |
|
if(FLAG==0){ |
if(FLAG==0){ |
TMP=roundret(TMP1[1])$ |
TMP=roundret(TMP1[1])$ |
|
|
RET=append(RET,wsort(TMP1[1],Vars,map(drint,TMP1[1]*1.0),ID))$ |
RET=append(RET,wsort(TMP1[1],Vars,map(drint,TMP1[1]),ID))$ |
|
|
if(TMP!=[]) |
if(TMP!=[]) |
RET=append(RET,wsort(TMP1[1],Vars,TMP,ID+1))$ |
RET=append(RET,wsort(TMP1[1],Vars,TMP,ID+1))$ |
Line 674 def unitweight1(ExpMat,Vars,PolyListNum,OneMat,FLAG){ |
|
Line 674 def unitweight1(ExpMat,Vars,PolyListNum,OneMat,FLAG){ |
|
if(FLAG==0){ |
if(FLAG==0){ |
TMP=roundret(TMP1[1])$ |
TMP=roundret(TMP1[1])$ |
|
|
RET=append(RET,wsort(TMP1[1],Vars,map(drint,TMP1[1]*1.0),1))$ |
RET=append(RET,wsort(TMP1[1],Vars,map(drint,TMP1[1]),1))$ |
|
|
if(TMP!=[]) |
if(TMP!=[]) |
RET=append(RET,wsort(TMP1[1],Vars,TMP,2))$ |
RET=append(RET,wsort(TMP1[1],Vars,TMP,2))$ |
Line 743 def leastsq(NormMat,ExpMat,Vars,FLAG,ID){ |
|
Line 743 def leastsq(NormMat,ExpMat,Vars,FLAG,ID){ |
|
|
|
TMP=roundret(TMP1[1])$ |
TMP=roundret(TMP1[1])$ |
|
|
RET=append(RET,wsort(TMP1[1],Vars,map(drint,TMP1[1]*1.0),ID))$ |
RET=append(RET,wsort(TMP1[1],Vars,map(drint,TMP1[1]),ID))$ |
|
|
if(TMP!=[]) |
if(TMP!=[]) |
RET=append(RET,wsort(TMP1[1],Vars,TMP,ID+1))$ |
RET=append(RET,wsort(TMP1[1],Vars,TMP,ID+1))$ |
Line 756 def leastsq(NormMat,ExpMat,Vars,FLAG,ID){ |
|
Line 756 def leastsq(NormMat,ExpMat,Vars,FLAG,ID){ |
|
|
|
for(I=0;I<length(TMP0);I++) |
for(I=0;I<length(TMP0);I++) |
TMP=map(subst,TMP,TMP0[I][0],TMP0[I][1])$ |
TMP=map(subst,TMP,TMP0[I][0],TMP0[I][1])$ |
RET0=value2(Vars,TMP,1)$ |
RET0=value2(Vars,TMP,1,1)$ |
|
|
if(RET0!=[]) |
if(RET0!=[]) |
RET0=wsort(RET0[0],Vars,RET0[1],-ID)$ |
RET0=wsort(RET0,Vars,map(drint,RET0),-ID)$ |
} |
} |
|
|
TMP=vtol(TMP1[1])$ |
TMP=vtol(TMP1[1])$ |
Line 767 def leastsq(NormMat,ExpMat,Vars,FLAG,ID){ |
|
Line 767 def leastsq(NormMat,ExpMat,Vars,FLAG,ID){ |
|
|
|
for(I=0;I<length(TMP0);I++) |
for(I=0;I<length(TMP0);I++) |
TMP=map(subst,TMP,TMP0[I][0],TMP0[I][1])$ |
TMP=map(subst,TMP,TMP0[I][0],TMP0[I][1])$ |
RET0=value2(Vars,TMP,-1)$ |
RET0=value2(Vars,TMP,-1,1)$ |
|
|
if(RET0!=[]) |
if(RET0!=[]) |
RET0=wsort(RET0[0],Vars,RET0[1],-ID)$ |
RET0=wsort(RET0,Vars,map(drint,RET0),-ID)$ |
} |
} |
|
|
RET=append(RET,RET0)$ |
RET=append(RET,RET0)$ |