version 1.6, 2003/11/15 06:28:21 |
version 1.10, 2003/11/27 11:25:00 |
|
|
load("solve")$ |
load("solve")$ |
load("gr")$ |
load("gr")$ |
|
|
|
def nonzerovec(A){ |
|
|
|
for(I=0;I<size(A)[0];I++) |
|
if(A[I]!=0) |
|
return 1$ |
|
|
|
return 0$ |
|
} |
|
|
|
def junban(A,B){ |
|
return (A<B ? 1:(A>B ? -1:0))$ |
|
} |
|
|
|
def worder(A,B){ |
|
return (A[0]<B[0] ? 1:(A[0]>B[0] ? -1:0))$ |
|
} |
|
|
|
def bsort(A){ |
|
|
|
K=size(A)[0]-1$ |
|
while(K>=0){ |
|
J=-1$ |
|
for(I=1;I<=K;I++) |
|
if(A[I-1][0]<A[I][0]){ |
|
J=I-1$ |
|
X=A[J]$ |
|
A[J]=A[I]$ |
|
A[I]=X$ |
|
} |
|
K=J$ |
|
} |
|
return A$ |
|
} |
|
|
|
def perm(I,P,TMP){ |
|
|
|
if(I>0){ |
|
TMP=perm(I-1,P,TMP)$ |
|
for(J=I-1;J>=0;J--){ |
|
T=P[I]$ |
|
P[I]=P[J]$ |
|
P[J]=T$ |
|
TMP=perm(I-1,P,TMP)$ |
|
T=P[I]$ |
|
P[I]=P[J]$ |
|
P[J]=T$ |
|
} |
|
|
|
return TMP$ |
|
} |
|
else{ |
|
for(TMP0=[],K=0;K<size(P)[0];K++) |
|
TMP0=cons(P[K],TMP0)$ |
|
|
|
TMP=cons(TMP0,TMP)$ |
|
return TMP$ |
|
} |
|
} |
|
|
|
def marge(A,B){ |
|
|
|
RET=[]$ |
|
for(I=0;I<length(A);I++) |
|
for(J=0;J<length(B);J++) |
|
RET=cons(append(A[I],B[J]),RET)$ |
|
|
|
return RET$ |
|
} |
|
|
|
def wsort(A,B,C,FLAG){ |
|
|
|
if(FLAG==0){ |
|
D=newvect(length(B))$ |
|
for(I=0;I<length(B);I++) |
|
D[I]=[A[I],B[I],C[I]]$ |
|
|
|
D=bsort(D)$ |
|
E=[]$ |
|
for(I=0;I<length(B);I++) |
|
E=cons(D[I][1],E)$ |
|
E=reverse(E)$ |
|
F=[]$ |
|
for(I=0;I<length(B);I++) |
|
F=cons(D[I][2],F)$ |
|
F=reverse(F)$ |
|
|
|
return [[E,F]]$ |
|
} |
|
else{ |
|
D=newvect(length(B))$ |
|
for(I=0;I<length(B);I++) |
|
D[I]=[A[I],B[I],C[I]]$ |
|
|
|
D=qsort(D,worder)$ |
|
D0=[]$ |
|
|
|
for(I=0,J=0,TMP=[],X=0;I<size(D)[0];I++){ |
|
if(X==D[I][0]) |
|
TMP=cons(cdr(D[I]),TMP)$ |
|
else{ |
|
D0=cons(TMP,D0)$ |
|
TMP=[]$ |
|
TMP=cons(cdr(D[I]),TMP)$ |
|
X=car(D[I])$ |
|
} |
|
} |
|
D0=cdr(reverse(cons(TMP,D0)))$ |
|
D0=map(ltov,D0)$ |
|
for(I=0,TMP=[[]];I<length(D0);I++){ |
|
TMP0=perm(length(D0[I])-1,D0[I],[])$ |
|
TMP=marge(TMP,TMP0)$ |
|
} |
|
|
|
RET=[]$ |
|
for(I=0;I<length(TMP);I++){ |
|
TMP0=[]$ |
|
TMP1=[]$ |
|
for(J=0;J<length(TMP[I]);J++){ |
|
TMP0=cons(TMP[I][J][0],TMP0)$ |
|
TMP1=cons(TMP[I][J][1],TMP1)$ |
|
} |
|
TMP0=reverse(TMP0)$ |
|
TMP1=reverse(TMP1)$ |
|
|
|
RET=cons([TMP0,TMP1],RET)$ |
|
} |
|
|
|
return RET$ |
|
} |
|
} |
|
|
|
def derase(A){ |
|
|
|
B=newvect(length(A),A)$ |
|
B=qsort(B,junban)$ |
|
C=[]$ |
|
for(I=0;I<size(B)[0];I++) |
|
if(car(C)!=B[I]) |
|
C=cons(B[I],C)$ |
|
|
|
return reverse(C)$ |
|
} |
|
|
def nonposdegchk(Res){ |
def nonposdegchk(Res){ |
|
|
for(I=0;I<length(Res);I++) |
for(I=0;I<length(Res);I++) |
Line 10 def nonposdegchk(Res){ |
|
Line 153 def nonposdegchk(Res){ |
|
return 1$ |
return 1$ |
} |
} |
|
|
|
def getgcd(A,B){ |
|
|
def notzerovec(Vec){ |
VarsNumA=length(A)$ |
|
VarsNumB=length(B)$ |
|
|
for(I=0;I<size(Vec)[0];I++) |
C=newvect(VarsNumB,B)$ |
if(Vec[I]!=0) |
|
return 1$ |
|
|
|
return 0$ |
for(I=0;I<VarsNumA;I++){ |
} |
|
|
|
def resvars(Res,Vars){ |
for(J=0;J<VarsNumB;J++) |
|
if(C[J]==A[I][0]) |
ResVars=newvect(length(Vars),Vars)$ |
|
for(I=0;I<length(Res);I++){ |
|
|
|
for(J=0;J<size(ResVars)[0];J++) |
|
if(Res[I][0]==ResVars[J]) |
|
break$ |
break$ |
|
|
if(J<size(ResVars)[0]) |
if(J<VarsNumB) |
ResVars[J]=Res[I][1]$ |
C[J]=A[I][1]$ |
} |
} |
return(ResVars)$ |
|
} |
|
|
|
def makeret1(Res,Vars){ |
D=0$ |
|
for(I=0;I<VarsNumB;I++) |
|
D=gcd(D,C[I])$ |
|
|
VarsNum=length(Vars)$ |
if(D!=0){ |
|
C=C/D$ |
|
C=map(red,C)$ |
|
} |
|
|
ResVec=newvect(VarsNum,Vars)$ |
for(L=1,D=0,I=0;I<VarsNumB;I++){ |
|
if(type(TMP=dn(C[I]))==1) |
|
L=ilcm(L,TMP)$ |
|
|
for(F=0,I=0,M=0;I<length(Res);I++){ |
if(type(TMP=nm(C[I]))==1) |
|
D=igcd(D,TMP)$ |
|
} |
|
|
for(J=0;J<VarsNum;J++) |
C=C*L$ |
if(Res[I][0]==Vars[J]) |
if(D!=0) |
break$ |
C=C/D$ |
|
|
if(J<VarsNum){ |
RET=[]$ |
ResVec[J]=Res[I][1]$ |
for(I=0;I<VarsNumB;I++) |
|
RET=cons([B[I],C[I]],RET)$ |
|
|
if(F==0 && type(ResVec[J])==1){ |
return RET$ |
|
} |
|
|
|
def makeret(Res,Vars,FLAG){ |
|
|
|
ResNum=length(Res)$ |
|
VarsNum=length(Vars)$ |
|
|
|
ResVec=newvect(ResNum)$ |
|
for(M=0,I=0;I<ResNum;I++){ |
|
if(member(Res[I][0],Vars)){ |
|
ResVec[I]=Res[I][1]$ |
|
|
|
if(FLAG && type(ResVec[I])==1){ |
if(M==0) |
if(M==0) |
M=ResVec[J]$ |
M=ResVec[I]$ |
else |
else |
if(ResVec[J]<M) |
if(ResVec[I]<M) |
M=ResVec[J]$ |
M=ResVec[I]$ |
} |
} |
else |
|
F=1$ |
|
} |
} |
|
} |
|
|
|
if(M!=0) |
|
ResVec=ResVec/M; |
|
|
} |
RET=newvect(VarsNum,Vars)$ |
|
|
if(F==0) |
for(I=0;I<ResNum;I++){ |
for(I=0;I<VarsNum;I++) |
for(J=0;J<VarsNum;J++) |
ResVec[I]=ResVec[I]/M*1.0$ |
if(Vars[J]==Res[I][0]) |
|
break$ |
|
|
|
if(J<VarsNum) |
|
RET[J]=ResVec[I]$ |
|
} |
|
|
|
|
|
for(J=0;J<length(Vars);J++) |
|
RET=map(subst,RET,Vars[J], |
|
strtov(rtostr(Vars[J])+"_deg"))$ |
|
|
for(I=0;I<VarsNum;I++) |
for(I=0;I<VarsNum;I++) |
for(J=0;J<length(Vars);J++) |
if(type(RET[I])!=1) |
ResVec[I]=subst(ResVec[I],Vars[J], |
return [1,RET]$ |
strtov(rtostr(Vars[J])+"_deg"))$ |
|
|
|
ResVec=cons(F,vtol(ResVec))$ |
return [0,RET]$ |
return ResVec$ |
|
} |
} |
|
|
def junban(A,B){ |
|
|
|
for(I=0;I<size(A)[0];I++){ |
|
if(A[I]<B[I]) |
|
return 1$ |
|
|
|
if(A[I]>B[I]) |
|
return -1$ |
|
} |
|
|
|
return 0$ |
|
} |
|
|
|
def roundret(V){ |
def roundret(V){ |
|
|
VN=length(V)$ |
VN=size(V)[0]$ |
RET0=newvect(VN,V)$ |
|
|
|
|
RET0=V$ |
for(I=1;I<1000;I++){ |
for(I=1;I<1000;I++){ |
RET1=I*RET0$ |
RET1=I*RET0$ |
for(J=0;J<VN;J++){ |
for(J=0;J<VN;J++){ |
Line 115 def roundret(V){ |
|
Line 270 def roundret(V){ |
|
|
|
def chkou(L,ExpMat,CHAGORD){ |
def chkou(L,ExpMat,CHAGORD){ |
|
|
P=1$ |
for(P=1,I=0;I<L;I++){ |
F=ExpMat[L]$ |
|
|
|
for(I=0;I<L;I++){ |
|
Q=ExpMat[L][CHAGORD[I]]$ |
Q=ExpMat[L][CHAGORD[I]]$ |
for(J=0;J<size(ExpMat[0])[0];J++){ |
for(J=0;J<size(ExpMat[0])[0];J++){ |
ExpMat[L][CHAGORD[J]]=red((ExpMat[I][CHAGORD[I]] |
ExpMat[L][CHAGORD[J]]=red((ExpMat[I][CHAGORD[I]] |
Line 143 def chkou(L,ExpMat,CHAGORD){ |
|
Line 295 def chkou(L,ExpMat,CHAGORD){ |
|
} |
} |
} |
} |
|
|
def qcheck0(PolyList,Vars){ |
def qcheckmain(PolyList,Vars){ |
|
|
RET=[]$ |
RET=[]$ |
PolyListNum=length(PolyList)$ |
PolyListNum=length(PolyList)$ |
Line 162 def qcheck0(PolyList,Vars){ |
|
Line 314 def qcheck0(PolyList,Vars){ |
|
for(;Poly!=0;Poly=dp_rest(Poly)){ |
for(;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) |
RET=cons(ExpMat,RET)$ |
return [L,CHAGORD,ExpMat]$ |
RET=cons(CHAGORD,RET)$ |
|
RET=cons(L,RET)$ |
|
return RET$ |
|
} |
|
} |
} |
} |
} |
|
|
RET=cons(ExpMat,RET)$ |
return [L,CHAGORD,ExpMat]$ |
RET=cons(CHAGORD,RET)$ |
|
RET=cons(L,RET)$ |
|
return RET$ |
|
} |
} |
|
|
def inner(A,B){ |
def inner(A,B){ |
Line 204 def checktd(PolyList,Vars,ResVars){ |
|
Line 349 def checktd(PolyList,Vars,ResVars){ |
|
return 1$ |
return 1$ |
} |
} |
|
|
def getgcd(A,B){ |
def qcheck(PolyList,Vars,FLAG){ |
|
|
VarsNumA=length(A)$ |
|
VarsNumB=length(B)$ |
|
|
|
C=newvect(VarsNumB,B)$ |
|
|
|
for(I=0;I<VarsNumA;I++){ |
|
|
|
for(J=0;J<VarsNumB;J++) |
|
if(C[J]==A[I][0]) |
|
break$ |
|
|
|
C[J]=A[I][1]$ |
|
} |
|
|
|
D=0$ |
|
for(I=0;I<VarsNumB;I++) |
|
D=gcd(D,C[I])$ |
|
|
|
if(D!=0){ |
|
|
|
for(I=0;I<VarsNumB;I++) |
|
C[I]=red(C[I]/D)$ |
|
|
|
} |
|
|
|
for(L=1,D=0,I=0;I<VarsNumB;I++){ |
|
if(type(TMP=dn(C[I]))==1) |
|
L=ilcm(L,TMP)$ |
|
|
|
if(type(TMP=nm(C[I]))==1) |
|
D=igcd(D,TMP)$ |
|
} |
|
|
|
for(I=0;I<VarsNumB;I++) |
|
C[I]=C[I]*L$ |
|
|
|
if(D!=0) |
|
for(I=0;I<VarsNumB;I++) |
|
C[I]=C[I]/D$ |
|
|
|
|
|
RET=newvect(VarsNumB)$ |
|
for(I=0;I<VarsNumB;I++){ |
|
RET[I]=newvect(2)$ |
|
RET[I][0]=B[I]$ |
|
RET[I][1]=C[I]$ |
|
} |
|
|
|
return vtol(map(vtol,RET))$ |
|
} |
|
|
|
def qcheck(PolyList,Vars){ |
|
|
|
RET=[]$ |
RET=[]$ |
Res=qcheck0(PolyList,Vars)$ |
Res=qcheckmain(PolyList,Vars)$ |
VarsNum=length(Vars)$ |
VarsNum=length(Vars)$ |
|
|
IndNum=Res[0]$ |
IndNum=Res[0]$ |
Line 276 def qcheck(PolyList,Vars){ |
|
Line 368 def qcheck(PolyList,Vars){ |
|
SolveList=cons(TMP,SolveList)$ |
SolveList=cons(TMP,SolveList)$ |
} |
} |
|
|
|
Rea=vars(SolveList)$ |
|
|
VarsList=[]$ |
VarsList=[]$ |
for(I=0;I<VarsNum;I++) |
for(I=0;I<VarsNum;I++) |
VarsList=cons(Vars[CHAGORD[I]],VarsList)$ |
if(member(Vars[CHAGORD[I]],Rea)) |
|
VarsList=cons(Vars[CHAGORD[I]],VarsList)$ |
|
|
Rea=vars(SolveList)$ |
|
Res=solve(reverse(SolveList),reverse(VarsList))$ |
Res=solve(reverse(SolveList),reverse(VarsList))$ |
|
Res=getgcd(Res,Rea)$ |
|
|
if(nonposdegchk(Res)){ |
if(nonposdegchk(Res)){ |
|
|
Res=getgcd(Res,Rea)$ |
ResVars=makeret(Res,Vars,0)$ |
ResVars=resvars(Res,Vars)$ |
|
|
|
if(checktd(PolyList,Vars,ResVars)==1){ |
if(checktd(PolyList,Vars,ResVars[1])==1){ |
|
if(ResVars[0]==0){ |
for(J=0;J<length(Vars);J++) |
RET=append(RET,wsort(ResVars[1],Vars, |
ResVars=map(subst,ResVars,Vars[J], |
ResVars[1],FLAG))$ |
strtov(rtostr(Vars[J])+"_deg"))$ |
return RET$ |
|
} |
RET=cons([vtol(ResVars),ResVars,[]],RET)$ |
else{ |
return cons(1,RET)$ |
RET=append(RET,[[Vars,ResVars[1]]])$ |
|
return RET$ |
|
} |
} |
} |
else |
else |
return cons(0,RET)$ |
return []$ |
} |
} |
else |
else |
return cons(0,RET)$ |
return []$ |
|
|
} |
} |
|
|
def leastsq(ExpMat,Vars){ |
def leastsq(NormMat,ExpMat,Vars,FLAG){ |
|
|
|
RET=[]$ |
|
|
ExpMatRowNum=size(ExpMat)[0]$ |
ExpMatRowNum=size(ExpMat)[0]$ |
ExpMatColNum=size(ExpMat[0])[0]$ |
ExpMatColNum=size(ExpMat[0])[0]$ |
|
|
NormMat=newmat(ExpMatColNum,ExpMatColNum+1)$ |
if(NormMat==0){ |
|
NormMat=newmat(ExpMatColNum,ExpMatColNum)$ |
|
|
for(I=0;I<ExpMatColNum;I++) |
for(I=0;I<ExpMatColNum;I++) |
for(J=0;J<ExpMatColNum;J++) |
for(J=I;J<ExpMatColNum;J++) |
for(K=0;K<ExpMatRowNum;K++) |
for(K=0;K<ExpMatRowNum;K++) |
NormMat[I][J]+=ExpMat[K][I]*ExpMat[K][J]$ |
NormMat[I][J]+= |
|
ExpMat[K][I]*ExpMat[K][J]$ |
|
} |
|
|
|
BVec=newvect(ExpMatColNum)$ |
|
|
for(I=0;I<ExpMatColNum;I++) |
for(I=0;I<ExpMatColNum;I++) |
for(J=0;J<ExpMatRowNum;J++) |
for(J=0;J<ExpMatRowNum;J++) |
NormMat[I][ExpMatColNum]+=ExpMat[J][I]$ |
BVec[I]+=ExpMat[J][I]$ |
|
|
SolveList=[]$ |
SolveList=[]$ |
for(I=0;I<ExpMatColNum;I++){ |
for(I=0;I<ExpMatColNum;I++){ |
TMP=0$ |
TMP=0$ |
for(J=0;J<ExpMatColNum;J++) |
for(J=0;J<I;J++) |
|
TMP+=NormMat[J][I]*Vars[J]$ |
|
|
|
for(J=I;J<ExpMatColNum;J++) |
TMP+=NormMat[I][J]*Vars[J]$ |
TMP+=NormMat[I][J]*Vars[J]$ |
|
|
TMP-=NormMat[I][ExpMatColNum]$ |
TMP-=BVec[I]$ |
SolveList=cons(TMP,SolveList)$ |
SolveList=cons(TMP,SolveList)$ |
} |
} |
|
|
Rea=vars(SolveList)$ |
Rea=vars(SolveList)$ |
Res=solve(SolveList,Vars)$ |
|
|
|
|
VarsList=[]$ |
|
for(I=0;I<length(Vars);I++) |
|
if(member(Vars[I],Rea)) |
|
VarsList=cons(Vars[I],VarsList)$ |
|
|
|
Res=solve(SolveList,VarsList)$ |
|
Res=getgcd(Res,Rea)$ |
|
|
if(nonposdegchk(Res)){ |
if(nonposdegchk(Res)){ |
Res=getgcd(Res,Rea)$ |
TMP1=makeret(Res,Vars,1)$ |
TMP1=makeret1(Res,Vars); |
if(TMP1[0]==0){ |
if(car(TMP1)==0){ |
TMP=roundret(TMP1[1]*1.0)$ |
TMP2=roundret(cdr(TMP1)); |
if(TMP!=[]) |
TMP3=map(drint,cdr(TMP1))$ |
RET=append(RET,wsort(TMP1[1],Vars,TMP,FLAG))$ |
return([cdr(TMP1),newvect(length(TMP3),TMP3),TMP2])$ |
|
|
RET=append(RET,wsort(TMP1[1],Vars, |
|
map(drint,TMP1[1]*1.0),FLAG))$ |
|
|
|
return RET$ |
} |
} |
else |
else{ |
return([cdr(TMP1),[],[]])$ |
RET=append(RET,[[Vars,TMP1[1]*1.0]])$ |
|
return RET$ |
|
} |
} |
} |
|
else |
|
return RET$ |
|
|
} |
} |
|
|
def weight(PolyList,Vars){ |
def weightr(ExpMat,Vars,PolyListNum,OneMat,FLAG){ |
|
|
|
RET=[]$ |
|
|
|
ExpMatRowNum=size(ExpMat)[0]$ |
|
ExpMatColNum=size(ExpMat[0])[0]$ |
|
ExtMatColNum=ExpMatColNum+PolyListNum$ |
|
|
|
ExtVars=reverse(Vars)$ |
|
for(I=0;I<PolyListNum;I++) |
|
ExtVars=cons(uc(),ExtVars)$ |
|
|
|
ExtVars=reverse(ExtVars)$ |
|
|
|
NormMat=newmat(ExpMatColNum,ExtMatColNum)$ |
|
|
|
for(I=0;I<ExpMatColNum;I++) |
|
for(J=I;J<ExpMatColNum;J++) |
|
for(K=0;K<ExpMatRowNum;K++) |
|
NormMat[I][J]+= |
|
ExpMat[K][I]* |
|
ExpMat[K][J]$ |
|
|
|
for(I=0;I<ExpMatColNum;I++) |
|
for(J=0;J<PolyListNum;J++) |
|
for(K=OneMat[J];K<OneMat[J+1];K++) |
|
NormMat[I][J+ExpMatColNum]-= |
|
ExpMat[K][I]$ |
|
|
|
WVect=newvect(PolyListNum)$ |
|
for(I=0;I<PolyListNum;I++) |
|
WVect[I]=OneMat[I+1]-OneMat[I]$ |
|
|
|
for(F=0;F<ExtMatColNum;F++){ |
|
SolveList=[]$ |
|
for(I=0;I<ExpMatColNum;I++){ |
|
if (F==I) |
|
continue$ |
|
|
|
TMP=0$ |
|
|
|
for(J=0;J<I;J++) |
|
if(J!=F) |
|
TMP+=NormMat[J][I]*ExtVars[J]$ |
|
|
|
for(J=I;J<ExtMatColNum;J++) |
|
if(J!=F) |
|
TMP+=NormMat[I][J]*ExtVars[J]$ |
|
|
|
if(F<I) |
|
TMP+=NormMat[F][I]$ |
|
else |
|
TMP+=NormMat[I][F]$ |
|
|
|
SolveList=cons(TMP,SolveList)$ |
|
} |
|
|
|
for(I=0;I<PolyListNum;I++){ |
|
if(F==(I+ExpMatColNum)) |
|
continue$ |
|
|
|
TMP=0$ |
|
for(J=0;J<ExpMatColNum;J++) |
|
if(J!=F) |
|
TMP+=NormMat[J][I+ExpMatColNum] |
|
*ExtVars[J]$ |
|
|
|
TMP+=WVect[I]*ExtVars[I+ExpMatColNum]$ |
|
|
|
if(F<ExpMatColNum) |
|
TMP+=NormMat[F][I+ExpMatColNum]$ |
|
|
|
SolveList=cons(TMP,SolveList)$ |
|
} |
|
|
|
Rea=vars(SolveList)$ |
|
|
|
SolVars=[]$ |
|
for(I=0;I<ExtMatColNum;I++) |
|
if(I!=F && member(ExtVars[I],Rea)) |
|
SolVars=cons(ExtVars[I],SolVars)$ |
|
|
|
Res=solve(SolveList,SolVars)$ |
|
Res=cons([ExtVars[F],1],Res)$ |
|
|
|
TMP=[]$ |
|
for(I=0;I<length(Rea);I++) |
|
if(member(Rea[I],Vars)) |
|
TMP=cons(Rea[I],TMP)$ |
|
|
|
TMP=cons(ExtVars[F],TMP)$ |
|
Res=getgcd(Res,TMP)$ |
|
|
|
if(nonposdegchk(Res)){ |
|
|
|
TMP1=makeret(Res,Vars,1)$ |
|
if(TMP1[0]==0){ |
|
TMP=roundret(TMP1[1]*1.0)$ |
|
if(TMP!=[]) |
|
RET=append(RET,wsort(TMP1[1],Vars, |
|
TMP,FLAG))$ |
|
|
|
RET=append(RET,wsort(TMP1[1],Vars, |
|
map(drint,TMP1[1]*1.0),FLAG))$ |
|
} |
|
else{ |
|
RET=append(RET,[[Vars,TMP1[1]*1.0]])$ |
|
} |
|
} |
|
|
|
} |
|
|
|
return [NormMat,RET]$ |
|
} |
|
|
|
def weight(PolyList,Vars,FLAG1,FLAG2){ |
|
|
Vars0=vars(PolyList)$ |
Vars0=vars(PolyList)$ |
Vars1=[]$ |
Vars1=[]$ |
for(I=0;I<length(Vars);I++) |
for(I=0;I<length(Vars);I++) |
Line 360 def weight(PolyList,Vars){ |
|
Line 596 def weight(PolyList,Vars){ |
|
|
|
RET=[]$ |
RET=[]$ |
|
|
TMP=qcheck(PolyList,Vars)$ |
TMP=qcheck(PolyList,Vars,FLAG2)$ |
|
|
if(car(TMP)==1){ |
if(TMP!=[]){ |
RET=cdr(TMP)$ |
RET=append(RET,TMP)$ |
RET=cons(Vars,RET)$ |
return cons(1,RET)$ |
RET=cons(1,RET)$ |
|
return RET$ |
|
} |
} |
|
|
dp_ord(2)$ |
dp_ord(2)$ |
|
|
PolyListNum=length(PolyList)$ |
PolyListNum=length(PolyList)$ |
VPolyList=newvect(PolyListNum,PolyList)$ |
|
|
|
ExpMat=[]$ |
if(FLAG1){ |
for(I=0;I<PolyListNum;I++) |
|
for(Poly=dp_ptod(VPolyList[I],Vars); |
OneMat=newvect(PolyListNum+1,[0])$ |
Poly!=0;Poly=dp_rest(Poly)){ |
ExpMat=[]$ |
Exp=dp_etov(dp_ht(Poly))$ |
for(I=0;I<PolyListNum;I++){ |
if(notzerovec(Exp)) |
for(Poly=dp_ptod(PolyList[I],Vars); |
ExpMat=cons(Exp,ExpMat)$ |
Poly!=0;Poly=dp_rest(Poly)){ |
|
ExpMat=cons(dp_etov(dp_ht(Poly)),ExpMat)$ |
} |
} |
|
OneMat[I+1]=length(ExpMat)$ |
|
} |
|
|
ExpMat=reverse(ExpMat)$ |
ExpMat=reverse(ExpMat)$ |
ExpMat=newvect(length(ExpMat),ExpMat)$ |
ExpMat=newvect(length(ExpMat),ExpMat)$ |
|
|
/* first */ |
TMP=weightr(ExpMat,Vars,PolyListNum,OneMat,FLAG2)$ |
|
RET=append(RET,TMP[1])$ |
|
RET=append(RET,leastsq(TMP[0],ExpMat,Vars,FLAG2))$ |
|
} |
|
else{ |
|
ExpMat=[]$ |
|
for(I=0;I<PolyListNum;I++){ |
|
for(Poly=dp_ptod(PolyList[I],Vars); |
|
Poly!=0;Poly=dp_rest(Poly)){ |
|
if(nonzerovec(TMP=dp_etov(dp_ht(Poly)))) |
|
ExpMat=cons(TMP,ExpMat)$ |
|
} |
|
} |
|
|
RET=cons(leastsq(ExpMat,Vars),RET)$ |
ExpMat=reverse(ExpMat)$ |
|
ExpMat=newvect(length(ExpMat),ExpMat)$ |
|
|
/* second */ |
RET=append(RET,leastsq(0,ExpMat,Vars,FLAG2))$ |
|
} |
|
|
ExpMat=qsort(ExpMat,junban)$ |
ExpMat=qsort(ExpMat,junban)$ |
|
|
ExpMat2=[]$ |
ExpMat2=[]$ |
for(I=0;I<size(ExpMat)[0];I++) |
for(I=0;I<size(ExpMat)[0];I++) |
if(car(ExpMat2)!=ExpMat[I]) |
if(car(ExpMat2)!=ExpMat[I]) |
Line 400 def weight(PolyList,Vars){ |
|
Line 651 def weight(PolyList,Vars){ |
|
|
|
if(size(ExpMat)[0]!=length(ExpMat2)){ |
if(size(ExpMat)[0]!=length(ExpMat2)){ |
ExpMat=newvect(length(ExpMat2),ExpMat2)$ |
ExpMat=newvect(length(ExpMat2),ExpMat2)$ |
RET=cons(leastsq(ExpMat,Vars),RET)$ |
RET=append(RET,leastsq(0,ExpMat,Vars,FLAG2))$ |
} |
} |
|
|
RET=cons(Vars,reverse(RET))$ |
RET=derase(RET)$ |
RET=cons(0,RET)$ |
return cons(0,RET)$ |
return RET$ |
|
} |
} |
|
|
end$ |
end$ |