===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/lib/weight,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -p -r1.5 -r1.6
--- OpenXM_contrib2/asir2000/lib/weight	2003/11/14 14:16:57	1.5
+++ OpenXM_contrib2/asir2000/lib/weight	2003/11/15 06:28:21	1.6
@@ -10,6 +10,16 @@ def nonposdegchk(Res){
 	return 1$
 }
 
+
+def notzerovec(Vec){
+
+	for(I=0;I<size(Vec)[0];I++)
+		if(Vec[I]!=0)
+			return 1$
+
+	return 0$
+}
+
 def resvars(Res,Vars){
 
 	ResVars=newvect(length(Vars),Vars)$
@@ -31,7 +41,7 @@ def makeret1(Res,Vars){
 
 	ResVec=newvect(VarsNum,Vars)$
 
-	for(I=0,M=0;I<length(Res);I++){
+	for(F=0,I=0,M=0;I<length(Res);I++){
 
 		for(J=0;J<VarsNum;J++)
 			if(Res[I][0]==Vars[J])
@@ -40,23 +50,19 @@ def makeret1(Res,Vars){
 		if(J<VarsNum){
 			ResVec[J]=Res[I][1]$
 
-			if(type(ResVec[J])==1){
+			if(F==0 && type(ResVec[J])==1){
 				if(M==0)
 					M=ResVec[J]$
 				else
 					if(ResVec[J]<M)
 						M=ResVec[J]$
 			}
+			else
+				F=1$
 		}
 
 	}
 
-	for(F=0,I=0;I<VarsNum;I++)
-		if(type(ResVec[I])!=1){
-			F=1$
-			break$
-		}
-
 	if(F==0)
 		for(I=0;I<VarsNum;I++)
 			ResVec[I]=ResVec[I]/M*1.0$
@@ -225,12 +231,14 @@ def getgcd(A,B){
 
 	}
 
-	for(L=1,D=0,I=0;I<VarsNumB;I++)
-		if(type(C[I])==1){
-			L=ilcm(L,dn(C[I]))$
-			D=igcd(D,nm(C[I]))$
-		}
+	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$
 
@@ -297,44 +305,11 @@ def qcheck(PolyList,Vars){
 
 }
 
-def weight(PolyList,Vars){
+def leastsq(ExpMat,Vars){
 
-	Vars0=vars(PolyList)$
-	Vars1=[]$
-	for(I=0;I<length(Vars);I++)
-		if(member(Vars[I],Vars0))
-			Vars1=cons(Vars[I],Vars1)$
-
-	Vars=reverse(Vars1)$
-
-	RET=[]$
-
-	TMP=qcheck(PolyList,Vars)$
-
-	if(car(TMP)==1){
-		RET=cdr(TMP)$
-		RET=cons(Vars,RET)$
-		RET=cons(1,RET)$
-		return RET$	
-	}
-
-	dp_ord(2)$
-
-	PolyListNum=length(PolyList)$
-	VPolyList=newvect(PolyListNum,PolyList)$
-
-	ExpMat=[]$
-	for(I=0;I<PolyListNum;I++)
-		for(Poly=dp_ptod(VPolyList[I],Vars);Poly!=0;Poly=dp_rest(Poly))
-			ExpMat=cons(dp_etov(dp_ht(Poly)),ExpMat)$
-
-	ExpMat=reverse(ExpMat)$
-	ExpMat=newvect(length(ExpMat),ExpMat)$
 	ExpMatRowNum=size(ExpMat)[0]$
 	ExpMatColNum=size(ExpMat[0])[0]$
 
-/* first */
-
 	NormMat=newmat(ExpMatColNum,ExpMatColNum+1)$
 
 	for(I=0;I<ExpMatColNum;I++)
@@ -365,58 +340,67 @@ def weight(PolyList,Vars){
 		if(car(TMP1)==0){	
 			TMP2=roundret(cdr(TMP1));
 			TMP3=map(drint,cdr(TMP1))$
-			RET=cons([cdr(TMP1),newvect(length(TMP3),TMP3),TMP2],RET)$
+			return([cdr(TMP1),newvect(length(TMP3),TMP3),TMP2])$
 		}
 		else
-			RET=cons([cdr(TMP1),[],[]],RET)$
+			return([cdr(TMP1),[],[]])$
 	}
 
-/* second */
+}
 
-	ExpMat=qsort(ExpMat,junban)$
-	ExpMat2=[]$
-	for(I=0;I<size(ExpMat)[0];I++)
-		if(car(ExpMat2)!=ExpMat[I])
-			ExpMat2=cons(ExpMat[I],ExpMat2)$
+def weight(PolyList,Vars){
 
-	ExpMat=newvect(length(ExpMat2),ExpMat2)$
-	ExpMatRowNum=size(ExpMat)[0]$
-	ExpMatColNum=size(ExpMat[0])[0]$
+	Vars0=vars(PolyList)$
+	Vars1=[]$
+	for(I=0;I<length(Vars);I++)
+		if(member(Vars[I],Vars0))
+			Vars1=cons(Vars[I],Vars1)$
 
-	NormMat=newmat(ExpMatColNum,ExpMatColNum+1)$
+	Vars=reverse(Vars1)$
 
-	for(I=0;I<ExpMatColNum;I++)
-		for(J=0;J<ExpMatColNum;J++)
-			for(K=0;K<ExpMatRowNum;K++)
-				NormMat[I][J]+=ExpMat[K][I]*ExpMat[K][J]$
+	RET=[]$
 
-	for(I=0;I<ExpMatColNum;I++)
-		for(J=0;J<ExpMatRowNum;J++)
-			NormMat[I][ExpMatColNum]+=ExpMat[J][I]$
+	TMP=qcheck(PolyList,Vars)$
 
-	SolveList=[]$
-	for(I=0;I<ExpMatColNum;I++){
-		TMP=0$
-		for(J=0;J<ExpMatColNum;J++)
-			TMP+=NormMat[I][J]*Vars[J]$
-
-		TMP-=NormMat[I][ExpMatColNum]$
-		SolveList=cons(TMP,SolveList)$
+	if(car(TMP)==1){
+		RET=cdr(TMP)$
+		RET=cons(Vars,RET)$
+		RET=cons(1,RET)$
+		return RET$	
 	}
 
-	Rea=vars(SolveList)$
-	Res=solve(SolveList,Vars)$
+	dp_ord(2)$
 
-	if(nonposdegchk(Res)){
-		Res=getgcd(Res,Rea)$
-		TMP1=makeret1(Res,Vars);
-		if(car(TMP1)==0){	
-			TMP2=roundret(cdr(TMP1));
-			TMP3=map(drint,cdr(TMP1))$
-			RET=cons([cdr(TMP1),newvect(length(TMP3),TMP3),TMP2],RET)$
-		}
-		else
-			RET=cons([cdr(TMP1),[],[]],RET)$
+	PolyListNum=length(PolyList)$
+	VPolyList=newvect(PolyListNum,PolyList)$
+
+	ExpMat=[]$
+	for(I=0;I<PolyListNum;I++)
+		for(Poly=dp_ptod(VPolyList[I],Vars);
+			Poly!=0;Poly=dp_rest(Poly)){
+			Exp=dp_etov(dp_ht(Poly))$
+			if(notzerovec(Exp))
+				ExpMat=cons(Exp,ExpMat)$
+			}
+
+	ExpMat=reverse(ExpMat)$
+	ExpMat=newvect(length(ExpMat),ExpMat)$
+
+/* first */
+
+	RET=cons(leastsq(ExpMat,Vars),RET)$
+
+/* second */
+
+	ExpMat=qsort(ExpMat,junban)$
+	ExpMat2=[]$
+	for(I=0;I<size(ExpMat)[0];I++)
+		if(car(ExpMat2)!=ExpMat[I])
+			ExpMat2=cons(ExpMat[I],ExpMat2)$
+
+	if(size(ExpMat)[0]!=length(ExpMat2)){
+		ExpMat=newvect(length(ExpMat2),ExpMat2)$
+		RET=cons(leastsq(ExpMat,Vars),RET)$
 	}
 
 	RET=cons(Vars,reverse(RET))$