Changeset 8336c9 in git for factory/facFqFactorizeUtil.h


Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • factory/facFqFactorizeUtil.h

    rc7b56e2 r8336c9  
    135135                        );
    136136
     137/// evaluate @a F at @a evaluation
     138///
     139/// @return @a evaluateAtEval returns a list containing the successive
     140/// evaluations of @a F, last entry is @a F again
     141CFList
     142evaluateAtEval (const CanonicalForm& F,   ///<[in] some poly
     143                const CFArray& evaluation ///<[in] some evaluation point
     144               );
     145
     146/// evaluate @a F at @a evaluation
     147///
     148/// @return @a evaluateAtEval returns a list containing the successive
     149/// evaluations of @a F starting at level @a l, last entry is @a F again
     150CFList
     151evaluateAtEval (const CanonicalForm& F,  ///<[in] some poly
     152                const CFList& evaluation,///<[in] some evaluation point
     153                int l                    ///<[in] level to start at
     154               );
     155
     156/// evaluate F successively n-2 at 0
     157///
     158/// @return returns a list of successive evaluations of F, ending with F
     159CFList evaluateAtZero (const CanonicalForm& F ///< [in] some poly
     160                      );
     161
     162/// divides factors by their content wrt. Variable(1) and checks if these polys
     163/// divide F
     164///
     165/// @return returns factors of F
     166CFList recoverFactors (const CanonicalForm& F, ///< [in] some poly F
     167                       const CFList& factors   ///< [in] some list of
     168                                               ///< factor candidates
     169                      );
     170
     171/// divides factors shifted by evaluation by their content wrt. Variable(1) and
     172/// checks if these polys divide F
     173///
     174/// @return returns factors of F
     175CFList recoverFactors (const CanonicalForm& F,  ///< [in] some poly F
     176                       const CFList& factors,   ///< [in] some list of
     177                                                ///< factor candidates
     178                       const CFList& evaluation ///< [in] evaluation point
     179                      );
     180
     181/// checks if factors divide F, if so F is divided by this factor and the factor
     182/// is divided by its content wrt. Variable(1) and the entry in index at the
     183/// position of the factor is set to 1, otherwise the entry in index is set to 0
     184///
     185/// @return returns factors of F
     186CFList recoverFactors (CanonicalForm& F,     ///< [in,out] some poly F
     187                       const CFList& factors,///< [in] some list of
     188                                             ///< factor candidates
     189                       int* index            ///< [in] position of real factors
     190                      );
     191
    137192#endif
    138193/* FAC_FQ_FACTORIZE_UTIL_H */
Note: See TracChangeset for help on using the changeset viewer.