=================================================================== RCS file: /home/cvs/OpenXM/src/asir-contrib/testing/noro/ndbf.rr,v retrieving revision 1.12 retrieving revision 1.13 diff -u -p -r1.12 -r1.13 --- OpenXM/src/asir-contrib/testing/noro/ndbf.rr 2010/06/16 08:32:10 1.12 +++ OpenXM/src/asir-contrib/testing/noro/ndbf.rr 2010/06/16 08:57:40 1.13 @@ -85,7 +85,7 @@ def bfunction(F) Cont = cont(CR); CR /= Cont; Cont *= dn(Fcont); Den *= nm(Fcont); Gcd = igcd(Den,Cont); - return [subst(B,s,-s-1),(Den/Gcd)*Ax,(Cont/Gcd)*CR]; + return [subst(B,s,-s-1),(Cont*CR)/(Den*Ax)]; } /*