Changeset 1682691 in git

Timestamp:

Sep 4, 2012, 3:09:31 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

d1ea8625c243a016689217e069049160140b669b

Parents:

3c0e63dd166900fac42be3a4607e06a7ed73c36c

git-author:

Martin Lee <martinlee84@web.de>2012-09-04 15:09:31+02:00

git-committer:

Martin Lee <martinlee84@web.de>2012-09-05 15:00:02+02:00

Message:

chg: more replacement of divisions by multiplications

Location:

factory

Files:

• algext.cc (modified) (2 diffs)
• facAlgExt.cc (modified) (2 diffs)
• facFqBivarUtil.cc (modified) (2 diffs)
• fac_sqrfree.cc (modified) (3 diffs)

factory/algext.cc

@@ -644 +644 @@
     if(G.inCoeffDomain())
       return CanonicalForm(1);
-    return G/Lc(G); // return monic G
+    CanonicalForm lcinv= 1/Lc (G);
+    return G*lcinv; // return monic G
   }
   if(G.isZero()) // F is non-zero
@@ -650 +651 @@
     if(F.inCoeffDomain())
       return CanonicalForm(1);
-    return F/Lc(F); // return monic F
+    CanonicalForm lcinv= 1/Lc (F);
+    return F*lcinv; // return monic F
   }
   if(F.inCoeffDomain() || G.inCoeffDomain())

factory/facAlgExt.cc

@@ -154 +154 @@
   CFListIterator j;
 
+  CanonicalForm lcinv;
   for (CFFListIterator i= sqrf; i.hasItem(); i++)
   {
@@ -159 +160 @@
     factorsSqrf= AlgExtSqrfFactorize (i.getItem().factor(), alpha);
     for (j= factorsSqrf; j.hasItem(); j++)
-      factors.append (CFFactor (j.getItem()/Lc (j.getItem()), i.getItem().exp()));
+    {
+      lcinv= 1/Lc (j.getItem());
+      factors.append (CFFactor (j.getItem()*lcinv, i.getItem().exp()));
+    }
   }
 

factory/facFqBivarUtil.cc

@@ -269 +269 @@
 void normalize (CFList& factors)
 {
+  CanonicalForm lcinv;
   for (CFListIterator i= factors; i.hasItem(); i++)
-    i.getItem() /= Lc(i.getItem());
+  {
+    lcinv= 1/Lc (i.getItem());
+    i.getItem() *= lcinv;
+  }
   return;
 }
@@ -276 +280 @@
 void normalize (CFFList& factors)
 {
+  CanonicalForm lcinv;
   for (CFFListIterator i= factors; i.hasItem(); i++)
-    i.getItem()= CFFactor (i.getItem().factor()/Lc(i.getItem().factor()),
+  {
+    lcinv= 1/ Lc (i.getItem().factor());
+    i.getItem()= CFFactor (i.getItem().factor()*lcinv,
                            i.getItem().exp());
+  }
   return;
 }

factory/fac_sqrfree.cc

@@ -160 +160 @@
     CFFList F;
     Variable v = aa.mvar();
+    CanonicalForm lcinv;
     while ( ! c.degree(v) == 0 )
     {
@@ -167 +168 @@
           if (isOn (SW_RATIONAL))
           {
-            z /= Lc (z);
+            lcinv= 1/Lc (z);
+            z *= lcinv;
             z *= bCommonDen (z);
           }
@@ -181 +183 @@
       if (isOn (SW_RATIONAL))
       {
-        w /= Lc (w);
+        lcinv= 1/Lc (w);
+        w *= lcinv;
         w *= bCommonDen (w);
       }