Changeset ee4a7d in git

Timestamp:

Aug 28, 2012, 12:06:30 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

83e5de0ee327f62a667ed0f87e050ea331b13d39

Parents:

15a8798f94d754bd64208b67057a90d83f7a1c68

git-author:

Martin Lee <martinlee84@web.de>2012-08-28 12:06:30+02:00

git-committer:

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

Message:

chg: changed behaviour of Lucks Wang sparse heuristic

File:

• factory/facSparseHensel.cc (modified) (3 diffs)

factory/facSparseHensel.cc

@@ -109 +109 @@
   CFArray startingSolution= solution;
   CFArray newSolution= CFArray (solution.size());
+  result= CFList();
   do
   {
@@ -115 +116 @@
       break;
     if (!simplify (A, newSolution, F.level() + 1))
-      break;
+    {
+      delete [] stripped2;
+      return 0;
+    }
     if (isZero (newSolution))
       break;
@@ -122 +126 @@
   } while (1);
 
-
-  result= CFList();
   if (isEqual (startingSolution, solution))
   {