Changeset 8336c9 in git for factory/facFqFactorize.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/facFqFactorize.h

    rc7b56e2 r8336c9  
    547547                                 );
    548548
    549 /// evaluate F successively n-2 at 0
    550 ///
    551 /// @return returns a list of successive evaluations of F, ending with F
    552 CFList evaluateAtZero (const CanonicalForm& F ///< [in] some poly
    553                       );
    554 
    555 /// divides factors by their content wrt. Variable(1) and checks if these polys
    556 /// divide F
    557 ///
    558 /// @return returns factors of F
    559 CFList recoverFactors (const CanonicalForm& F, ///< [in] some poly F
    560                        const CFList& factors   ///< [in] some list of
    561                                                ///< factor candidates
    562                       );
    563 
    564 /// divides factors shifted by evaluation by their content wrt. Variable(1) and
    565 /// checks if these polys divide F
    566 ///
    567 /// @return returns factors of F
    568 CFList recoverFactors (const CanonicalForm& F,  ///< [in] some poly F
    569                        const CFList& factors,   ///< [in] some list of
    570                                                 ///< factor candidates
    571                        const CFList& evaluation ///< [in] evaluation point
    572                       );
    573 
    574 /// checks if factors divide F, if so F is divided by this factor and the factor
    575 /// is divided by its content wrt. Variable(1) and the entry in index at the
    576 /// position of the factor is set to 1, otherwise the entry in index is set to 0
    577 ///
    578 /// @return returns factors of F
    579 CFList recoverFactors (CanonicalForm& F,     ///< [in,out] some poly F
    580                        const CFList& factors,///< [in] some list of
    581                                              ///< factor candidates
    582                        int* index            ///< [in] position of real factors
    583                       );
    584 
    585549/// refine a bivariate factorization of A with l factors to one with
    586550/// minFactorsLength
     
    676640             );
    677641
    678 /// evaluate @a F at @a evaluation
    679 ///
    680 /// @return @a evaluateAtEval returns a list containing the successive
    681 /// evaluations of @a F, last entry is @a F again
    682 CFList
    683 evaluateAtEval (const CanonicalForm& F,   ///<[in] some poly
    684                 const CFArray& evaluation ///<[in] some evaluation point
    685                );
    686 
    687 /// evaluate @a F at @a evaluation
    688 ///
    689 /// @return @a evaluateAtEval returns a list containing the successive
    690 /// evaluations of @a F starting at level @a l, last entry is @a F again
    691 CFList
    692 evaluateAtEval (const CanonicalForm& F,  ///<[in] some poly
    693                 const CFList& evaluation,///<[in] some evaluation point
    694                 int l                    ///<[in] level to start at
    695                );
    696 
    697642#endif
    698643/* FAC_FQ_FACTORIZE_H */
Note: See TracChangeset for help on using the changeset viewer.