Changeset c8f95d in git

Timestamp:

Sep 10, 2012, 2:55:20 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

4782bce35ff5691eb0a20e9bcbc6b9df9724de3f

Parents:

fd2316c2e0e6f039690abb0a0f07314d57dc7ef5

git-author:

Martin Lee <martinlee84@web.de>2012-09-10 14:55:20+02:00

git-committer:

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

Message:

chg: use flint in extgcd over Z/p

File:

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

factory/cf_gcd.cc

@@ -307 +307 @@
   }
 #ifdef HAVE_NTL
+#ifdef HAVE_FLINT
+  if (( getCharacteristic() > 0 ) && (CFFactory::gettype() != GaloisFieldDomain)
+  &&  (f.level()==g.level()) && isPurePoly(f) && isPurePoly(g))
+  {
+    nmod_poly_t F1, G1, A, B, R;
+    convertFacCF2nmod_poly_t (F1, f);
+    convertFacCF2nmod_poly_t (G1, g);
+    nmod_poly_init (R, getCharacteristic());
+    nmod_poly_init (A, getCharacteristic());
+    nmod_poly_init (B, getCharacteristic());
+    nmod_poly_xgcd (R, A, B, F1, G1);
+    a= convertnmod_poly_t2FacCF (A, f.mvar());
+    b= convertnmod_poly_t2FacCF (B, f.mvar());
+    CanonicalForm r= convertnmod_poly_t2FacCF (R, f.mvar());
+    nmod_poly_clear (F1);
+    nmod_poly_clear (G1);
+    nmod_poly_clear (A);
+    nmod_poly_clear (B);
+    nmod_poly_clear (R);
+    return r;
+  }
+#else
   if (isOn(SW_USE_NTL_GCD_P) && ( getCharacteristic() > 0 ) && (CFFactory::gettype() != GaloisFieldDomain)
   &&  (f.level()==g.level()) && isPurePoly(f) && isPurePoly(g))
@@ -347 +369 @@
     #endif
   }
+#endif
 #ifdef HAVE_FLINT
   if (( getCharacteristic() ==0) && (f.level()==g.level())