Changeset 14e634 in git for factory/facFqBivar.h

Timestamp:

Dec 10, 2012, 3:38:49 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

b15cf8578937df382dad415dbfdd2229103409bf

Parents:

3e7db4d961b4509d248e12d8e96e2bed08d9cfe8

git-author:

Martin Lee <martinlee84@web.de>2012-12-10 15:38:49+01:00

git-committer:

Martin Lee <martinlee84@web.de>2012-12-12 15:24:58+01:00

Message:

fix: bug in factorization over Q(a)

File:

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

factory/facFqBivar.h

@@ -585 +585 @@
 CFList
 factorRecombination (
-                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
-                const modpk& b=modpk() ///< [in] coeff bound
+            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
+            const modpk& b=modpk(),     ///< [in] coeff bound
+            const CanonicalForm& den= 1 ///< [in] bound on the den if over Q (a)
                     );
 
@@ -690 +691 @@
         const ExtensionInfo& info, ///< [in] information about extension
         const CanonicalForm& eval, ///< [in] evaluation point
-        modpk& b                   ///< [in] coeff bound
+        modpk& b,                  ///< [in] coeff bound
+        CanonicalForm& den         ///< [in] bound on the den if over Q(a)
                   );