Changeset 4604b84 in git for factory/cfModResultant.cc

Timestamp:

Sep 14, 2012, 3:26:49 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

692aed67dd3c1feda459176230989bad62071027

Parents:

4782bce35ff5691eb0a20e9bcbc6b9df9724de3f

git-author:

Martin Lee <martinlee84@web.de>2012-09-14 15:26:49+02:00

git-committer:

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

Message:

chg: use FLINT in modular resultant computation

File:

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

factory/cfModResultant.cc

@@ -26 +26 @@
 #endif
 
+#ifdef HAVE_FLINT
+#include "FLINTconvert.h"
+#endif
+
 //TODO arrange by bound= deg (F,xlevel)*deg (G,i)+deg (G,xlevel)*deg (F, i)
 static inline
@@ -242 +246 @@
     return 0;
 
+#ifdef HAVE_FLINT
+  nmod_poly_t FLINTF, FLINTG;
+  convertFacCF2nmod_poly_t (FLINTF, F);
+  convertFacCF2nmod_poly_t (FLINTG, G);
+  mp_limb_t FLINTresult= nmod_poly_resultant (FLINTF, FLINTG);
+  nmod_poly_clear (FLINTF);
+  nmod_poly_clear (FLINTG);
+  return CanonicalForm ((long) FLINTresult);
+#else
   zz_pBak bak;
   bak.save();
@@ -252 +265 @@
   bak.restore();
   return CanonicalForm (to_long (rep (NTLResult)));
+#endif
 #else
   return resultant (F, G, F.mvar());