Changeset 1a2d66 in git for factory/facFactorize.cc

Timestamp:

Aug 9, 2012, 2:28:41 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

6af78bbe6f303e08bbcabe7c7682cc1f4d82755f

Parents:

5295f95d58a904d0546cf79e2609f42619be0635

git-author:

Martin Lee <martinlee84@web.de>2012-08-09 14:28:41+02:00

git-committer:

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

Message:

fix: segfault of Hensel lifting in precomputeLeadingCoeff due to gaps between variables

File:

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

factory/facFactorize.cc

@@ -436 +436 @@
 
   bufFactors= factors;
+
+  CFMap MM, NN;
+  dummy [0]= sqrfPartF;
+  dummy [1]= 1;
+  compress (dummy, MM, NN);
+  sqrfPartF= MM (sqrfPartF);
+  CanonicalForm varsSqrfPartF= getVars (sqrfPartF);
+  for (CFListIterator iter= factors; iter.hasItem(); iter++)
+    iter.getItem()= MM (iter.getItem());
+
   CFList evaluation2;
-  for (int i= 0; i < F.level()-1; i++)
-    evaluation2.insert (evalPoint[i]);
+  for (int i= 2; i <= varsSqrfPartF.level(); i++)
+    evaluation2.insert (evalPoint[NN (Variable (i)).level()-2]);
 
   CFList interMedResult;
@@ -531 +541 @@
     interMedResult= recoverFactors (oldSqrfPartF, factors);
   }
+
+  for (CFListIterator iter= interMedResult; iter.hasItem(); iter++)
+    iter.getItem()= NN (iter.getItem());
 
   CFList result;