Changeset b72766 in git

Timestamp:

Jan 28, 2021, 2:04:54 PM (2 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

f60ab1f6c47a09dc3472f9d3cabd270622c46327

Parents:

3f6520f1c7bb6b3f1b488999d99fba9a01350437

Message:

fix: absFactorize: minpoly in Z[alpha]

File:

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

factory/facMul.cc

@@ -546 +546 @@
           convertCF2initFmpz (FLINTp, b.getpk());
 
-          convertFacCF2Fmpz_mod_poly_t (FLINTmipo, getMipo (alpha), FLINTp);
+          CanonicalForm mipo=getMipo (alpha);
+          bool rat=isOn(SW_RATIONAL);
+          On(SW_RATIONAL);
+          CanonicalForm cd = bCommonDen(mipo);
+          mipo *= cd;
+          if (!rat) Off(SW_RATIONAL);
+          convertFacCF2Fmpz_mod_poly_t (FLINTmipo, mipo, FLINTp);
 
           #if (HAVE_FLINT && __FLINT_RELEASE >= 20700)
@@ -808 +814 @@
         convertCF2initFmpz (FLINTp, b.getpk());
 
-        convertFacCF2Fmpz_mod_poly_t (FLINTmipo, getMipo (alpha), FLINTp);
+        CanonicalForm mipo=getMipo (alpha);
+        bool rat=isOn(SW_RATIONAL);
+        On(SW_RATIONAL);
+        CanonicalForm cd = bCommonDen(mipo);
+        mipo *= cd;
+        if (!rat) Off(SW_RATIONAL);
+        convertFacCF2Fmpz_mod_poly_t (FLINTmipo, mipo, FLINTp);
 
         #if (HAVE_FLINT && __FLINT_RELEASE >= 20700)