Changeset c79a9d in git for factory/facFactorize.cc

Timestamp:

Oct 13, 2011, 1:21:35 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

5f9b47ed5a8e9e527497f05d9afe96ec3e076cbf

Parents:

3e70950f6eff7e879a05817dd9e4bb45aeb175ca

Message:

bug fix in squarefree factorization and faster way to recover factors in factorization


git-svn-id: file:///usr/local/Singular/svn/trunk@14411 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

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

factory/facFactorize.cc

@@ -801 +801 @@
   {
     int check= factors.length();
-    factors= recoverFactors (A, factors);
+    factors= recoverFactors (reverseShift (oldA, evaluation), factors,
+                             evaluation);
     if (check != factors.length())
       noOneToOne= true;
@@ -851 +852 @@
     if (earlySuccess)
       factors= Union (factors, earlyFactors);
-  }
-
-  for (CFListIterator i= factors; i.hasItem(); i++)
-  {
-    int kk= Aeval.getLast().level();
-    for (CFListIterator j= evaluation; j.hasItem(); j++, kk--)
-    {
-      if (i.getItem().level() < kk)
-        continue;
-      i.getItem()= i.getItem() (Variable (kk) - j.getItem(), kk);
+
+    for (CFListIterator i= factors; i.hasItem(); i++)
+    {
+      int kk= Aeval.getLast().level();
+      for (CFListIterator j= evaluation; j.hasItem(); j++, kk--)
+      {
+        if (i.getItem().level() < kk)
+          continue;
+       i.getItem()= i.getItem() (Variable (kk) - j.getItem(), kk);
+      }
     }
   }