Changeset 6caa2a6 in git for factory/facFqSquarefree.cc

Timestamp:

Mar 22, 2012, 2:12:44 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')

Children:

8baf483af507d28dd83b7b3ad71d29b53b7cab06

Parents:

9ebec2d49d73d2930aed03c7b76f347cbf7537fa

git-author:

Martin Lee <martinlee84@web.de>2012-03-22 14:12:44+01:00

git-committer:

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

Message:

chg: avoid adding of constant factors to squarefree factorization
chg: divide out contents first in squarefree factorization

File:

• factory/facFqSquarefree.cc (modified) (7 diffs)

factory/facFqSquarefree.cc

@@ -87 +87 @@
   {
     g= gcd (w, u);
-    if (degree(g) > 0)
+    if (!g.inCoeffDomain())
       result.append (CFFactor (g, j));
     w= w/g;
@@ -95 +95 @@
     j++;
   }
-  if (degree(w) > 0)
+  if (!w.inCoeffDomain())
     result.append (CFFactor (w, j));
   return result;
@@ -132 +132 @@
         found= false;
         CFFListIterator k= tmp2;
-        if (!k.hasItem()) tmp2.append (j.getItem());
+        if (!k.hasItem() && !j.getItem().factor().inCoeffDomain()) tmp2.append (j.getItem());
         else
         {
@@ -144 +144 @@
             }
           }
-          if (found == false)
+          if (found == false && !j.getItem().factor().inCoeffDomain())
             tmp2.append(j.getItem());
         }
@@ -172 +172 @@
       i.getItem()= CFFactor (i.getItem().factor()/tmp, i.getItem().exp());
       j.getItem()= CFFactor (j.getItem().factor()/tmp, j.getItem().exp());
-      if (degree (tmp) > 0 && tmp.level() > 0)
+      if (!tmp.inCoeffDomain())
       {
         tmp= M (tmp);
@@ -182 +182 @@
   for (CFFListIterator i= tmp2; i.hasItem(); i++)
   {
-    if (degree (i.getItem().factor()) > 0 && i.getItem().factor().level() >= 0)
+    if (!i.getItem().factor().inCoeffDomain())
     {
       tmp= M (i.getItem().factor());
@@ -190 +190 @@
   for (CFFListIterator j= tmp1; j.hasItem(); j++)
   {
-    if (degree (j.getItem().factor()) > 0 && j.getItem().factor().level() >= 0)
+    if (!j.getItem().factor().inCoeffDomain())
     {
       tmp= M (j.getItem().factor());