Changeset 2b855d1 in git for factory

Timestamp:

Sep 22, 2020, 12:17:21 PM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

43e965942ed162dbfe28732ca08d97ea1c3af395

Parents:

96113da0c61c4c2fa7cd9360008b7bc558c1c7fa

Message:

fix: always add const. factor add the beginning

File:

• factory/cf_factor.cc (modified) (4 diffs)

factory/cf_factor.cc

@@ -118 +118 @@
         if (e!=0)
         {
-          printf("*v(%d)",l);
+          printf("*%c",'a'+l-1);
           if (e!=1) printf("^%d",e);
         }
@@ -561 +561 @@
       {
         F=CFFList(CFFactor(fz,1));
+        F.insert(CFFactor(ic,1));
       }
       else
@@ -759 +760 @@
 
         //make monic
-        f1=f1 / LeadCoeff(f1);
+        f1=f1 / leadcoeff; //leadcoeff==LeadCoeff(f1);
 
         // factorize
@@ -774 +775 @@
 #if !defined(HAVE_NTL) && !defined(HAVE_FLINT)
       // char p, extension, univariate
-      F=FpFactorizeUnivariateCZ( f, false, 1, alpha, Variable() );
+      CanonicalForm c=Lc(f);
+      CanonicalForm fc=f/c;
+      F=FpFactorizeUnivariateCZ( fc, false, 1, alpha, Variable() );
+      F.insert (CFFactor (c, 1));
 #endif
     }