chg: distribute content in precomputation of leading coeff

Author: mmklee

factory/facFactorize.cc

@@ -438,7 +438,16 @@ precomputeLeadingCoeff (const CanonicalForm& LCF, const CFList& LCFFactors,
     CFList result;
     result.append (LCF);
     for (int j= 1; j <= factors.length(); j++)
-      result.append (LCF);
+      result.append (1);
+    result= distributeContent (result, differentSecondVarLCs, length);
+    if (!result.getFirst().inCoeffDomain())
+    {
+      CFListIterator iter= result;
+      CanonicalForm tmp= iter.getItem();
+      iter++;
+      for (; iter.hasItem(); iter++)
+        iter.getItem() *= tmp;
+    }
     y= Variable (1);
     delete [] bufSqrfFactors;
     return result;

factory/facFqFactorize.cc

@@ -1530,8 +1530,17 @@ precomputeLeadingCoeff (const CanonicalForm& LCF, const CFList& LCFFactors,
         {
           CFList result;
           result.append (LCF);
-          for (int k= 1; k <= factors.length(); k++)
-            result.append (LCF);
+          for (int j= 1; j <= factors.length(); j++)
+            result.append (1);
+          result= distributeContent (result, differentSecondVarLCs, lSecondVarLCs);
+          if (!result.getFirst().inCoeffDomain())
+          {
+            CFListIterator iter= result;
+            CanonicalForm tmp= iter.getItem();
+            iter++;
+            for (; iter.hasItem(); iter++)
+              iter.getItem() *= tmp;
+          }
           y= Variable (1);
           delete [] bufSqrfFactors;
           return result;
@@ -1543,8 +1552,17 @@ precomputeLeadingCoeff (const CanonicalForm& LCF, const CFList& LCFFactors,
   {
     CFList result;
     result.append (LCF);
-    for (int k= 1; k <= factors.length(); k++)
-      result.append (LCF);
+    for (int j= 1; j <= factors.length(); j++)
+      result.append (1);
+    result= distributeContent (result, differentSecondVarLCs, lSecondVarLCs);
+    if (!result.getFirst().inCoeffDomain())
+    {
+      CFListIterator iter= result;
+      CanonicalForm tmp= iter.getItem();
+      iter++;
+      for (; iter.hasItem(); iter++)
+        iter.getItem() *= tmp;
+    }
     y= Variable (1);
     delete [] bufSqrfFactors;
     return result;