=================================================================== RCS file: /home/cvs/OpenXM/src/asir-contrib/testing/noro/ndbf.rr,v retrieving revision 1.4 retrieving revision 1.5 diff -u -p -r1.4 -r1.5 --- OpenXM/src/asir-contrib/testing/noro/ndbf.rr 2009/10/13 02:39:44 1.4 +++ OpenXM/src/asir-contrib/testing/noro/ndbf.rr 2009/10/16 02:57:26 1.5 @@ -1476,7 +1476,9 @@ def bf_local(F,P) CR = conv_tdt(R,F,V0,DV0,T,DT); dp_set_weight(0); - return [LB,Ax,CR]; + Cont = cont(CR); + Gcd = igcd(Den,Cont); + return [LB,(Den/Gcd)*Ax,CR/Gcd]; } /* t^(l+k)*dt^l (k>l) -> (s-k)(s-k-1)...(s-(k+l-1))t^k */