Changeset 9befb53 in git for factory

Timestamp:

Oct 15, 2020, 12:21:05 AM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

c5289a887ff417bda043c0dffd8577af22ed98f1

Parents:

fec0d17343e4c9143a62304188a1b55e25aa3b14

Message:

fix: cannot use modGCD* w/o Flint or NTL

File:

• factory/cf_gcd.cc (modified) (1 diff)

factory/cf_gcd.cc

@@ -549 +549 @@
     else
     #endif
+    #if defined(HAVE_NTL) || defined(HAVE_FLINT)
     if (isOn(SW_USE_CHINREM_GCD))
       fc = modGCDZ( fc, gc);
     else
+    #endif
     {
        fc = gcd_poly_0( fc, gc );