Changeset 69fdf90 in git for factory/facHensel.h

Timestamp:

Mar 5, 2012, 10:31:58 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

51aa1628bc6d045fbc3a9adf018acd4371a09596

Parents:

47dc5eae8e5fa15711c4af64c3ce91a844425401

git-author:

Martin Lee <martinlee84@web.de>2012-03-05 22:31:58+01:00

git-committer:

Martin Lee <martinlee84@web.de>2012-04-04 14:42:26+02:00

Message:

chg: do not require coeff bound to be const

File:

• factory/facHensel.h (modified) (1 diff)

factory/facHensel.h

@@ -48 +48 @@
               CFList& diophant,       ///< [in,out] result of diophantine()
               CFMatrix& M,            ///< [in,out] stores intermediate results
-              bool sort= true,        ///< [in] sort factors by degree in
+              modpk& b,               ///< [in] coeff bound
+              bool sort= true         ///< [in] sort factors by degree in
                                       ///< Variable(1)
-              const modpk& b= modpk ()///< [in] coeff bound
+             );
+
+/// Hensel lift from univariate to bivariate.
+///
+/// @sa henselLiftResume12(), henselLift23(), henselLiftResume(), henselLift()
+void
+henselLift12 (const CanonicalForm& F, ///< [in] compressed, bivariate poly
+              CFList& factors,        ///< [in, out] monic univariate factors of
+                                      ///< F, including leading coefficient as
+                                      ///< first element. Returns monic lifted
+                                      ///< factors without the leading
+                                      ///< coefficient
+              int l,                  ///< [in] lifting precision
+              CFArray& Pi,            ///< [in,out] stores intermediate results
+              CFList& diophant,       ///< [in,out] result of diophantine()
+              CFMatrix& M,            ///< [in,out] stores intermediate results
+              bool sort= true        ///< [in] sort factors by degree in
+                                      ///< Variable(1)
              );