Changeset 237c42 in git for factory/facMul.cc

Timestamp:

Oct 17, 2012, 10:37:28 AM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

b37b3984a12e1552c7bafc9fd5a7849240ea7980

Parents:

72f1e4ba707e83cf6b23e8920fb57f610d7ef8bc

git-author:

Martin Lee <martinlee84@web.de>2012-10-17 10:37:28+02:00

git-committer:

Martin Lee <martinlee84@web.de>2012-10-18 17:42:58+02:00

Message:

fix: factorization over Q(a) if minimal polynomial has denominator
fix: more failed assertions

File:

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

factory/facMul.cc

@@ -404 +404 @@
       {
         ZZ_p::init (convertFacCF2NTLZZ (b.getpk()));
-        ZZ_pX NTLmipo= to_ZZ_pX (convertFacCF2NTLZZX (getMipo (alpha)));
+        CanonicalForm mipo= getMipo (alpha);
+        bool is_rat= isOn (SW_RATIONAL);
+        if (!is_rat)
+          On (SW_RATIONAL);
+        mipo *=bCommonDen (mipo);
+        if (!is_rat)
+          Off (SW_RATIONAL);
+        ZZ_pX NTLmipo= to_ZZ_pX (convertFacCF2NTLZZX (mipo));
         ZZ_pE::init (NTLmipo);
         ZZ_pEX NTLg= convertFacCF2NTLZZ_pEX (G, NTLmipo);