Changeset c1ea88 in git

Timestamp:

Aug 20, 2012, 11:45:30 AM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

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

Children:

f3ff226911c2211a0612291dafa15b1ca30425ad

Parents:

397c12abe4be804e84f8786fb4da1e8fd1d25be6

git-author:

Martin Lee <martinlee84@web.de>2012-08-20 11:45:30+02:00

git-committer:

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

Message:

chg: build in a check if heuristic was successful

File:

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

factory/facFactorize.cc

@@ -935 +935 @@
   bufBiFactors= biFactors;
   bufA= A;
+  CanonicalForm bufLCmultiplier= LCmultiplier;
   CFList bufFactors= CFList();
   bool LCheuristic= false;
@@ -1179 +1180 @@
       }
       factors= CFList();
+      if (!fdivides (LC (oldA,1),prod (leadingCoeffs2[A.level()-3])))
+      {
+        LCheuristic= false;
+        A= bufA;
+        biFactors= bufBiFactors;
+        leadingCoeffs2[A.level()-3]= bufLeadingCoeffs2;
+        LCmultiplier= bufLCmultiplier;
+      }
     }
     else