Changeset 64b824 in git for factory/facFqFactorize.cc

Timestamp:

Feb 10, 2012, 12:10:28 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

e016ba74132ef655a25823cf0f343ce4b9069f7d

Parents:

c0851051c3f2502093559a89e463f364c0816aa0

git-author:

Martin Lee <martinlee84@web.de>2012-02-10 12:10:28+01:00

git-committer:

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

Message:

chg: threshold for use of LucksWangHeuristic

File:

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

factory/facFqFactorize.cc

@@ -1628 +1628 @@
 
     bool success= false;
-    if (LucksWangSparseHeuristic (oldSqrfPartF*power (LC1, factors.length()-1),
+    CanonicalForm oldSqrfPartFPowLC= oldSqrfPartF*power(LC1,factors.length()-1);
+    if (size (oldSqrfPartFPowLC)/getNumVars (oldSqrfPartFPowLC) < 500 &&
+        LucksWangSparseHeuristic (oldSqrfPartFPowLC,
                                   oldFactors, 1, leadingCoeffs, factors))
     {
@@ -2607 +2609 @@
   A /= hh;
 
-  if (LucksWangSparseHeuristic (A, biFactors, 2, leadingCoeffs2 [A.level() - 3],
-      factors))
+  if (size (A)/getNumVars (A) < 500 && 
+      LucksWangSparseHeuristic (A, biFactors, 2, leadingCoeffs2 [A.level() - 3],
+                                factors))
   {
     int check= factors.length();