=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/lib/weight,v retrieving revision 1.4 retrieving revision 1.5 diff -u -p -r1.4 -r1.5 --- OpenXM_contrib2/asir2000/lib/weight 2003/11/11 05:10:24 1.4 +++ OpenXM_contrib2/asir2000/lib/weight 2003/11/14 14:16:57 1.5 @@ -70,12 +70,8 @@ def makeret1(Res,Vars){ return ResVec$ } -def junban1(A,B){ - return (nmono(A)nmono(B) ? 1:0))$ -} +def junban(A,B){ -def junban2(A,B){ - for(I=0;I