Changeset 17a1363 in git

Timestamp:

Apr 23, 2013, 6:24:03 PM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'ad2543eab51733612ba7d118afc77edca719600e')

Children:

1db71604481be0777098a1691c569aee6b93638f

Parents:

59215406d7ac613efcad2b98daccd517fc6b1567

git-author:

Martin Lee <martinlee84@web.de>2013-04-23 18:24:03+02:00

git-committer:

Martin Lee <martinlee84@web.de>2013-05-02 11:42:47+02:00

Message:

chg: get normalization right

File:

• libpolys/polys/clapsing.cc (modified) (2 diffs)

libpolys/polys/clapsing.cc

@@ -1071 +1071 @@
     iter++;
   }
+  bool isRat= isOn (SW_RATIONAL);
+  if (!isRat)
+    On (SW_RATIONAL);
   for (; iter.hasItem(); iter++, i++)
   {
     (**exps)[i]= iter.getItem().exp();
     alpha= iter.getItem().minpoly().mvar();
-    if (iter.getItem().minpoly().isOne()) //TODO make sure isOn (SW_RATIONAL) == true
-      lead /= bCommonDen (iter.getItem().factor());
+    if (iter.getItem().minpoly().isOne())
+      lead /= power (bCommonDen (iter.getItem().factor()), iter.getItem().exp());
     else
-      lead /= power (bCommonDen (iter.getItem().factor()), degree (iter.getItem().minpoly()));
+      lead /= power (power (bCommonDen (iter.getItem().factor()), degree (iter.getItem().minpoly())), iter.getItem().exp());
     res->m[i]= convFactoryPSingTrP (replacevar (iter.getItem().factor()*bCommonDen (iter.getItem().factor()), alpha, x), r);
     if (iter.getItem().minpoly().isOne())
@@ -1092 +1095 @@
     numFactors += count;
   }
+  if (!isRat)
+    Off (SW_RATIONAL);
 
   (**exps)[0]= 1;