Changeset 186df6 in git for factory/algext.cc

Timestamp:

Oct 26, 2012, 11:30:17 AM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

18ccf2907a4a103e379cecf364131e83e3aebab55c890683760ed725b5c0bb38871a3459d5f5ff2b

Parents:

1130ffcea9f0651b2cb15d5f7ea1758fc8cf75aa7061c1e376e43786ea799c82620a0bbed1dc5dd3

Message:

Merge pull request #199 from mmklee/flintinterface_sw

Flintinterface sw

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