Changeset d6c703 in git for factory

Timestamp:

Feb 9, 1998, 4:58:20 PM (26 years ago)

Author:

Rüdiger Stobbe <stobbe@…>

Branches:

(u'spielwiese', '2fa36c576e6a4ddbb1093b43c7f8e9835e17e52a')

Children:

abc625ea7218c401cfe020a534d5f30c28d85f75

Parents:

57f656bdccad12e113db494c2a92c284f8130044

Message:

	* cf_factor.cc (factorize): factorize now handles characteristic
	  0 correct, e.g. rational coefficients and SW_RATIONAL = ON.


git-svn-id: file:///usr/local/Singular/svn/trunk@1137 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

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

factory/cf_factor.cc

@@ -1 +1 @@
 /* emacs edit mode for this file is -*- C++ -*- */
-/* $Id: cf_factor.cc,v 1.8 1997-12-08 18:24:23 schmidt Exp $ */
+/* $Id: cf_factor.cc,v 1.9 1998-02-09 15:58:20 stobbe Exp $ */
 
 //{{{ docu
@@ -26 +26 @@
 #include "fac_multivar.h"
 #include "fac_sqrfree.h"
+#include "cf_algorithm.h"
 
 static bool isUnivariateBaseDomain( const CanonicalForm & f )
@@ -48 +49 @@
     }
     else {
+        CanonicalForm cd = common_den( f );
+        CanonicalForm fz = f * cd;
+        CFFList F;
+        bool on_rational = isOn(SW_RATIONAL);
+        Off(SW_RATIONAL);
         if ( f.isUnivariate() )
-            return ZFactorizeUnivariate( f, issqrfree );
+            F = ZFactorizeUnivariate( fz, issqrfree );
         else
-            return ZFactorizeMultivariate( f, issqrfree );
+            F = ZFactorizeMultivariate( fz, issqrfree );
+        if ( on_rational )
+            On(SW_RATIONAL);
+        if ( ! cd.isOne() ) {
+            if ( F.getFirst().factor().inCoeffDomain() ) {
+                CFFactor new_first( F.getFirst().factor() / cd );
+                F.removeFirst();
+                F.insert( new_first );
+            }
+            else {
+                F.insert( CFFactor( 1/cd ) );
+            }
+        }
+        return F;
     }
 }