Changeset e451f48 in git

Timestamp:

Feb 21, 2012, 12:45:56 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

c3ef86fc6fe8d559f94547cd26b2b837ec45f614

Parents:

3f8663db4115fa2cabdf28fc5755f5b71aca1c8f

git-author:

Martin Lee <martinlee84@web.de>2012-02-21 12:45:56+01:00

git-committer:

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

Message:

fix: Q(a) check

File:

• factory/facMul.cc (modified) (1 diff)

factory/facMul.cc

@@ -2625 +2625 @@
   }
 #ifdef HAVE_FLINT
-  fmpq_poly_t FLINTA,FLINTB;
-  fmpq_poly_init (FLINTA);
-  fmpq_poly_init (FLINTB);
-  convertFacCF2Fmpq_poly_t (FLINTA, A);
-  convertFacCF2Fmpq_poly_t (FLINTB, B);
-  fmpq_poly_rem (FLINTA, FLINTB, FLINTA);
-  bool result= fmpq_poly_is_zero (FLINTA);
-  fmpq_poly_clear (FLINTA);
-  fmpq_poly_clear (FLINTB);
-  return result;
+  Variable alpha;
+  if (!hasFirstAlgVar (A, alpha) && !hasFirstAlgVar (B, alpha))
+  {
+    fmpq_poly_t FLINTA,FLINTB;
+    fmpq_poly_init (FLINTA);
+    fmpq_poly_init (FLINTB);
+    convertFacCF2Fmpq_poly_t (FLINTA, A);
+    convertFacCF2Fmpq_poly_t (FLINTB, B);
+    fmpq_poly_rem (FLINTA, FLINTB, FLINTA);
+    bool result= fmpq_poly_is_zero (FLINTA);
+    fmpq_poly_clear (FLINTA);
+    fmpq_poly_clear (FLINTB);
+    return result;
+  }
 #else
   return fdivides (A, B); //maybe NTL?