Changeset d92248 in git

Timestamp:

Mar 23, 2012, 5:00:50 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

a8a93f064f200c10a2d253360bf358905e3afe88

Parents:

286be1fd997a60351fec72874cb7bd335f2e82b8

git-author:

Martin Lee <martinlee84@web.de>2012-03-23 17:00:50+01:00

git-committer:

Martin Lee <martinlee84@web.de>2012-04-04 14:44:11+02:00

Message:

fix: multiply A with right multiple of denominators of factors

File:

• factory/facBivar.cc (modified) (2 diffs)

factory/facBivar.cc

@@ -359 +359 @@
   bool extension= (v.level() != 1);
   CanonicalForm A;
-  CanonicalForm multiplier= 1;
   if (isOn (SW_RATIONAL))
     A= F*bCommonDen (F);
@@ -661 +660 @@
   {
     A /= Lc (Aeval);
+    // make factors elements of Z(a)[x] disable for modularDiophant
+    CanonicalForm multiplier= 1;
+    for (CFListIterator i= uniFactors; i.hasItem(); i++)
+    {
+      multiplier *= bCommonDen (i.getItem());
+      i.getItem()= i.getItem()*bCommonDen(i.getItem());
+    }
+    A *= multiplier;
     A *= bCommonDen (A);
-    // make factors elements of Z(a)[x] disable for modularDiophant
-    for (CFListIterator i= uniFactors; i.hasItem(); i++)
-      i.getItem()= i.getItem()*bCommonDen(i.getItem());
+
     mipoHasDen= !bCommonDen(mipo).isOne();
     mipo *= bCommonDen (mipo);