| version 1.35, 2004/05/06 02:28:07 |
version 1.39, 2004/05/18 14:11:09 |
| Line 306 def makeret(Res,Vars,FLAG){ |
|
| Line 306 def makeret(Res,Vars,FLAG){ |
|
| else |
else |
| M=-1$ |
M=-1$ |
| |
|
| for(I=0;I<ResNum;I++){ |
for(I=0;I<ResNum;I++){ |
| if(member(Res[I][0],Vars)){ |
if(member(Res[I][0],Vars)){ |
| ResVec[I]=Res[I][1]$ |
ResVec[I]=Res[I][1]$ |
| |
|
| if(FLAG){ |
if(FLAG){ |
| if(type(ResVec[I])==1){ |
if(type(ResVec[I])==1){ |
| if(M==0) |
if(M==0) |
| M=ResVec[I]$ |
M=ResVec[I]$ |
| else |
else |
| if(ResVec[I]<M) |
if(ResVec[I]<M) |
| M=ResVec[I]$ |
M=ResVec[I]$ |
| } |
} |
| else |
else |
| M=-1$ |
M=-1$ |
| } |
} |
| } |
} |
| } |
} |
| |
|
| |
|
| if(M!=-1) |
if(M!=-1) |
| ResVec=ResVec/M; |
ResVec=ResVec/M; |
| |
|
| Line 417 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 455 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 470 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])$ |
return vtol(TMP1[1])$ |
| } |
} |
| else |
else |
| Line 524 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,Vars,RET0,-1)$ |
RET0=wsort(RET0,Vars,RET0,-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,Vars,RET0,-1)$ |
RET0=wsort(RET0,Vars,RET0,-1)$ |
| 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)$ |
RET0=value2(Vars,TMP,1,1)$ |
| |
|
| if(RET0!=[]) |
if(RET0!=[]) |
| RET0=wsort(RET0,Vars,RET0,-ID)$ |
RET0=wsort(RET0,Vars,map(drint,RET0),-ID)$ |
| } |
} |
| |
|
| TMP=vtol(TMP1[1])$ |
TMP=vtol(TMP1[1])$ |
| Line 766 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)$ |
RET0=value2(Vars,TMP,-1,1)$ |
| |
|
| if(RET0!=[]) |
if(RET0!=[]) |
| RET0=wsort(RET0,Vars,RET0,-ID)$ |
RET0=wsort(RET0,Vars,map(drint,RET0),-ID)$ |
| } |
} |
| |
|
| RET=append(RET,RET0)$ |
RET=append(RET,RET0)$ |
| Line 780 def leastsq(NormMat,ExpMat,Vars,FLAG,ID){ |
|
| Line 781 def leastsq(NormMat,ExpMat,Vars,FLAG,ID){ |
|
| RET=append(RET,[[ID,Vars,vtol(TMP1[1])]])$ |
RET=append(RET,[[ID,Vars,vtol(TMP1[1])]])$ |
| } |
} |
| |
|
| return RET$ |
return [NormMat0,RET]$ |
| } |
} |
| |
|
| def weight(PolyList,Vars,FLAG){ |
def weight(PolyList,Vars,FLAG){ |
| Line 823 def weight(PolyList,Vars,FLAG){ |
|
| Line 824 def weight(PolyList,Vars,FLAG){ |
|
| if(TMP[1]!=[]) |
if(TMP[1]!=[]) |
| RET=append(RET,TMP[1])$ |
RET=append(RET,TMP[1])$ |
| |
|
| TMP=unitweight2(TMP[0],ExpMat,Vars,FLAG,3)$ |
TMP=leastsq(0,ExpMat,Vars,FLAG,3)$ |
| if(TMP[1]!=[]) |
if(TMP[1]!=[]) |
| RET=append(RET,TMP[1])$ |
RET=append(RET,TMP[1])$ |
| else{ |
|
| TMP=leastsq(0,ExpMat,Vars,FLAG,7)$ |
|
| RET=append(RET,TMP)$ |
|
| } |
|
| |
|
| ExpMat=qsort(ExpMat,junban)$ |
ExpMat=qsort(ExpMat,junban)$ |
| |
|
| Line 840 def weight(PolyList,Vars,FLAG){ |
|
| Line 837 def weight(PolyList,Vars,FLAG){ |
|
| |
|
| if(size(ExpMat)[0]!=length(ExpMat2)){ |
if(size(ExpMat)[0]!=length(ExpMat2)){ |
| ExpMat=newvect(length(ExpMat2),ExpMat2)$ |
ExpMat=newvect(length(ExpMat2),ExpMat2)$ |
| TMP=unitweight2(0,ExpMat,Vars,FLAG,5)$ |
TMP=leastsq(0,ExpMat,Vars,FLAG,5)$ |
| if(TMP[1]!=[]) |
if(TMP[1]!=[]) |
| RET=append(RET,TMP[1])$ |
RET=append(RET,TMP[1])$ |
| else{ |
|
| TMP=leastsq(0,ExpMat,Vars,FLAG,9)$ |
|
| RET=append(RET,TMP)$ |
|
| } |
|
| } |
} |
| else{ |
else{ |
| TMP=map(ltov,TMP[1])$ |
TMP=map(ltov,TMP[1])$ |
| Line 856 def weight(PolyList,Vars,FLAG){ |
|
| Line 849 def weight(PolyList,Vars,FLAG){ |
|
| TMP[I][0]=5$ |
TMP[I][0]=5$ |
| else if(TMP[I][0]==4) |
else if(TMP[I][0]==4) |
| TMP[I][0]=6$ |
TMP[I][0]=6$ |
| else if(TMP[I][0]==7) |
|
| TMP[I][0]=9$ |
|
| else if(TMP[I][0]==8) |
|
| TMP[I][0]=10$ |
|
| } |
} |
| |
|
| TMP=map(vtol,TMP)$ |
TMP=map(vtol,TMP)$ |