Changeset 11bf82 in git for factory/facFqBivar.h

Timestamp:

May 24, 2011, 6:49:41 PM (13 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

d19fa29f38b52d293cf6fcbe33a75284288cb5d3

Parents:

f876a663240524d1f86ed3519e45b68d1ae877b3

Message:

polynomial time bivariate factorization


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

File:

• factory/facFqBivar.h (modified) (3 diffs)

factory/facFqBivar.h

@@ -491 +491 @@
 inline CFList
 extFactorRecombination (
-         const CFList& factors,     ///< [in] list of lifted factors that are
-                                    ///< monic wrt Variable (1)
-         const CanonicalForm& F,    ///< [in] poly to be factored
-         const CanonicalForm& M,    ///< [in] Variable (2)^liftBound
-         const ExtensionInfo& info, ///< [in] contains information about
-                                    ///< extension
-         const CanonicalForm& eval  ///< [in] evaluation point
+         CFList& factors,          ///< [in,out] list of lifted factors that are 
+                                   ///< monic wrt Variable (1),
+                                   ///< original factors-factors found
+         CanonicalForm& F,         ///< [in,out] poly to be factored,
+                                   ///< F/factors found
+         const CanonicalForm& M,   ///< [in] Variable (2)^liftBound
+         const ExtensionInfo& info,///< [in] contains information about 
+                                   ///< extension
+         DegreePattern& degs,
+         const CanonicalForm& eval,///< [in] evaluation point
+         int s,                    ///< [in] algorithm starts checking subsets
+                                   ///< of size s
+         int thres                 ///< [in] threshold for the size of subsets
+                                   ///< which are checked, for a full factor
+                                   ///< recombination choose 
+                                   ///< thres= factors.length()/2
                        );
 
@@ -507 +516 @@
 inline CFList
 factorRecombination (
-                const CFList& factors,      ///< [in] list of lifted factors
-                                            ///< that are monic wrt Variable (1)
-                const CanonicalForm& F,     ///< [in] poly to be factored
-                const CanonicalForm& M,     ///< [in] Variable (2)^liftBound
-                const DegreePattern& degs   ///< [in] degree pattern
+                CFList& factors,       ///< [in,out] list of lifted factors
+                                       ///< that are monic wrt Variable (1)
+                CanonicalForm& F,      ///< [in,out] poly to be factored
+                const CanonicalForm& M,///< [in] Variable (2)^liftBound
+                DegreePattern& degs,   ///< [in] degree pattern
+                int s,                 ///< [in] algorithm starts checking
+                                       ///< subsets of size s
+                int thres              ///< [in] threshold for the size of
+                                       ///< subsets which are checked, for a
+                                       ///< full factor recombination choose 
+                                       ///< thres= factors.length()/2
                     );
 
@@ -519 +534 @@
 ///         appropiate size
 Variable chooseExtension (
-                      const CanonicalForm & A, ///< [in] some bivariate poly
-                      const Variable & beta    ///< [in] some algebraic
-                                               ///< variable
+                      const Variable & alpha, ///< [in] some algebraic variable
+                      const Variable & beta,  ///< [in] some algebraic variable
+                      int k                   ///< [in] some int
                          );