=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/lib/weight,v retrieving revision 1.4 retrieving revision 1.6 diff -u -p -r1.4 -r1.6 --- OpenXM_contrib2/asir2000/lib/weight 2003/11/11 05:10:24 1.4 +++ 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;Inmono(B) ? 1:0))$ -} +def junban(A,B){ -def junban2(A,B){ - for(I=0;I