Changeset b2c7a2 in git for factory/facBivar.cc

Timestamp:

Nov 10, 2012, 12:19:17 AM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

a37b349f287fe6d4265acc1b2ec7c20faafa6ea1

Parents:

6dfc398e71ea196ccb6f9d8b8eb795ebf96f523c

git-author:

Martin Lee <martinlee84@web.de>2012-11-10 00:19:17+01:00

git-committer:

Martin Lee <martinlee84@web.de>2012-11-16 13:19:52+01:00

Message:

chg: leave bivariate factorization earlier if univariate image is irreducible

File:

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

factory/facBivar.cc

@@ -357 +357 @@
               (prod (bufUniFactors) == bufAeval));
 
+    if (bufUniFactors.getFirst().inCoeffDomain())
+      bufUniFactors.removeFirst();
+
+    if (bufUniFactors.length() == 1)
+    {
+      factors.append (A);
+
+      appendSwapDecompress (factors, conv (contentAxFactors),
+                            conv (contentAyFactors), swap, swap2, N);
+
+      if (isOn (SW_RATIONAL))
+        normalize (factors);
+      return factors;
+    }
+
     TIMING_START (fac_uni_factorizer);
     if (extension)
@@ -367 +382 @@
               (prod (bufUniFactors2) == bufAeval2));
 
-    if (bufUniFactors.getFirst().inCoeffDomain())
-      bufUniFactors.removeFirst();
     if (bufUniFactors2.getFirst().inCoeffDomain())
       bufUniFactors2.removeFirst();
-    if (bufUniFactors.length() == 1 || bufUniFactors2.length() == 1)
+    if (bufUniFactors2.length() == 1)
     {
       factors.append (A);