Changeset 5cf3215 in git

Timestamp:

Jul 31, 2019, 2:25:22 PM (5 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

4d473b316705bf9bc8f7d74bdc39b06420d050ad

Parents:

c74742eaefa8d3b352ee99f6b3c081f9ec0db245

Message:

opt: prefer flint-gcd over factory-gcd for char p>=11

Files:

• factory/cf_gcd.cc (modified) (2 diffs)
• libpolys/polys/clapsing.cc (modified) (1 diff)

factory/cf_gcd.cc

@@ -104 +104 @@
     if ( isOn( SW_USE_FL_GCD_P)
     && (CFFactory::gettype() != GaloisFieldDomain)
-    && (getCharacteristic()>500)
+    && (getCharacteristic()>10)
     &&(!hasAlgVar(fc)) && (!hasAlgVar(gc)))
     {
@@ -329 +329 @@
                 CanonicalForm cdF = bCommonDen( f );
                 CanonicalForm cdG = bCommonDen( g );
+                CanonicalForm F = f * cdF, G = g * cdG;
                 Off( SW_RATIONAL );
-                CanonicalForm l = lcm( cdF, cdG );
-                On( SW_RATIONAL );
-                CanonicalForm F = f * l, G = g * l;
-                Off( SW_RATIONAL );
-                l = gcd_poly( F, G );
+                CanonicalForm l = gcd_poly( F, G );
                 On( SW_RATIONAL );
                 return abs( l );

libpolys/polys/clapsing.cc

@@ -59 +59 @@
   #ifdef HAVE_FLINT
   #if __FLINT_RELEASE >= 20503
-  if (rField_is_Zp(r) && (r->cf->ch>500))
+  if (rField_is_Zp(r) && (r->cf->ch>10))
   {
     nmod_mpoly_ctx_t ctx;