Changeset 8336c9 in git for factory/facFqFactorizeUtil.h

Timestamp:

Aug 15, 2012, 4:47:03 PM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '2234726c50d679d6664181a5c72f75a6fd64a787')

Children:

5b390eae2a5015d099e164e415bf9de0df375fd5

Parents:

c7b56e2b570482a60737ec1d6e4bf209156c36fa

git-author:

Martin Lee <martinlee84@web.de>2012-08-15 16:47:03+02:00

git-committer:

Martin Lee <martinlee84@web.de>2012-09-04 18:01:18+02:00

Message:

chg: moved some helper functions to utilities

File:

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

factory/facFqFactorizeUtil.h

@@ -135 +135 @@
                         );
 
+/// evaluate @a F at @a evaluation
+///
+/// @return @a evaluateAtEval returns a list containing the successive 
+/// evaluations of @a F, last entry is @a F again
+CFList
+evaluateAtEval (const CanonicalForm& F,   ///<[in] some poly
+                const CFArray& evaluation ///<[in] some evaluation point
+               );
+
+/// evaluate @a F at @a evaluation
+///
+/// @return @a evaluateAtEval returns a list containing the successive
+/// evaluations of @a F starting at level @a l, last entry is @a F again
+CFList
+evaluateAtEval (const CanonicalForm& F,  ///<[in] some poly
+                const CFList& evaluation,///<[in] some evaluation point
+                int l                    ///<[in] level to start at
+               );
+
+/// evaluate F successively n-2 at 0
+///
+/// @return returns a list of successive evaluations of F, ending with F
+CFList evaluateAtZero (const CanonicalForm& F ///< [in] some poly
+                      );
+
+/// divides factors by their content wrt. Variable(1) and checks if these polys
+/// divide F
+///
+/// @return returns factors of F
+CFList recoverFactors (const CanonicalForm& F, ///< [in] some poly F
+                       const CFList& factors   ///< [in] some list of
+                                               ///< factor candidates
+                      );
+
+/// divides factors shifted by evaluation by their content wrt. Variable(1) and 
+/// checks if these polys divide F
+///
+/// @return returns factors of F
+CFList recoverFactors (const CanonicalForm& F,  ///< [in] some poly F
+                       const CFList& factors,   ///< [in] some list of
+                                                ///< factor candidates
+                       const CFList& evaluation ///< [in] evaluation point
+                      );
+
+/// checks if factors divide F, if so F is divided by this factor and the factor
+/// is divided by its content wrt. Variable(1) and the entry in index at the
+/// position of the factor is set to 1, otherwise the entry in index is set to 0
+///
+/// @return returns factors of F
+CFList recoverFactors (CanonicalForm& F,     ///< [in,out] some poly F
+                       const CFList& factors,///< [in] some list of
+                                             ///< factor candidates
+                       int* index            ///< [in] position of real factors
+                      );
+
 #endif
 /* FAC_FQ_FACTORIZE_UTIL_H */