=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/lib/weight,v retrieving revision 1.8 retrieving revision 1.9 diff -u -p -r1.8 -r1.9 --- OpenXM_contrib2/asir2000/lib/weight 2003/11/20 10:41:12 1.8 +++ OpenXM_contrib2/asir2000/lib/weight 2003/11/21 08:07:16 1.9 @@ -1,13 +1,20 @@ load("solve")$ load("gr")$ -def junban(A,B){ +def nonzerovec(A){ + for(I=0;IB ? -1:0))$ } def worder(A,B){ - return (A[0]B[0] ? -1:0))$ } @@ -458,9 +465,14 @@ def weightr(ExpMat,Vars,PolyListNum,OneMat){ Res=solve(SolveList,SolVars)$ Res=cons([ExtVars[F],1],Res)$ - Rea=cons(ExtVars[F],Rea)$ - Res=getgcd(Res,Rea)$ + TMP=[]$ + for(I=0;I