Changeset 188d2fb in git for factory/facMul.cc

Timestamp:

Apr 2, 2012, 4:44:35 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'a719bcf0b8dbc648b128303a49777a094b57592c')

Children:

d2d057ebcf8b633c14f245b0c65e698c351e38e2

Parents:

6f84545a3eb72153c8952ab0eb64df17cd00d1bb

git-author:

Martin Lee <martinlee84@web.de>2012-04-02 16:44:35+02:00

git-committer:

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

Message:

fix: need SW_RATIONAL to be On for computation of buf0 and buf1

File:

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

factory/facMul.cc

@@ -2829 +2829 @@
     return fdivides (A, B);
   int p= getCharacteristic();
+  if (A.inCoeffDomain() || B.inCoeffDomain())
+  {
+    if (A.inCoeffDomain())
+      return true;
+    else
+      return false;
+  }
   if (p > 0)
   {
@@ -2835 +2842 @@
     if (hasFirstAlgVar (A, alpha) || hasFirstAlgVar (B, alpha))
     {
-      if (A.inCoeffDomain() || B.inCoeffDomain())
-      {
-        if (A.inCoeffDomain())
-          return true;
-        else
-          return false;
-      }
       zz_pX NTLMipo= convertFacCF2NTLzzpX (getMipo (alpha));
       zz_pE::init (NTLMipo);