Changeset 4782bc in git for factory

Timestamp:

Sep 10, 2012, 3:45:37 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '6e5adcba05493683b94648c659a729c189812c77')

Children:

4604b84fc397bca4fcd80a0d3b01bfdb7a7fdb76

Parents:

c8f95dcff8b4cb5bddaf189cc7eb14c5d52ebe26

git-author:

Martin Lee <martinlee84@web.de>2012-09-10 15:45:37+02:00

git-committer:

Martin Lee <martinlee84@web.de>2012-10-25 15:11:13+02:00

Message:

chg: use flint in algext

File:

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

factory/algext.cc

@@ -29 +29 @@
 #ifdef HAVE_NTL
 #include "NTLconvert.h"
+#endif
+
+#ifdef HAVE_FLINT
+#include "FLINTconvert.h"
 #endif
 
@@ -637 +641 @@
     {
       if (c.isZero()) return abs (f);
+#ifdef HAVE_FLINT
+      fmpz_poly_t FLINTf, FLINTc;
+      convertFacCF2Fmpz_poly_t (FLINTf, f);
+      convertFacCF2Fmpz_poly_t (FLINTc, c);
+      fmpz_poly_gcd (FLINTc, FLINTc, FLINTf);
+      CanonicalForm result;
+      if (f.inCoeffDomain())
+        result= convertFmpz_poly_t2FacCF (FLINTc, f.mvar());
+      else
+        result= convertFmpz_poly_t2FacCF (FLINTc, c.mvar());
+      fmpz_poly_clear (FLINTc);
+      fmpz_poly_clear (FLINTf);
+      return result;
+#else
       ZZX NTLf= convertFacCF2NTLZZX (f);
       ZZX NTLc= convertFacCF2NTLZZX (c);
@@ -644 +662 @@
       else
         return convertNTLZZX2CF(NTLc,c.mvar());
+#endif
     }
     else