My Project  UNKNOWN_GIT_VERSION
facAlgExt.h
Go to the documentation of this file.
1 /*****************************************************************************\
2  * Computer Algebra System SINGULAR
3 \*****************************************************************************/
4 /** @file facAlgExt.h
5  *
6  * Univariate factorization over algebraic extension of Q using Trager's
7  * algorithm
8  *
9  * @par Copyright:
10  * (c) by The SINGULAR Team, see LICENSE file
11  *
12  * @author Martin Lee
13 **/
14 //*****************************************************************************
15 
16 #ifndef FAC_ALG_EXT_H
17 #define FAC_ALG_EXT_H
18 
19 #include "cf_assert.h"
20 
21 #include "canonicalform.h"
22 
23 ///factorize a univariate squarefree polynomial over algebraic extension of Q
24 ///
25 /// @return @a AlgExtSqrfFactorize returns a list of factors of F
26 CFList
27 AlgExtSqrfFactorize (const CanonicalForm& F, ///<[in] a univariate squarefree
28  ///< polynomial
29  const Variable& alpha ///<[in] an algebraic variable
30  );
31 
32 /// factorize a univariate polynomial over algebraic extension of Q
33 ///
34 /// @return @a AlgExtFactorize returns a list of factors of F with multiplicity
35 CFFList
36 AlgExtFactorize (const CanonicalForm& F, ///<[in] a univariate polynomial
37  const Variable& alpha ///<[in] an algebraic variable
38  );
39 
40 #endif
41 
canonicalform.h
CanonicalForm
factory's main class
Definition: canonicalform.h:77
alpha
Variable alpha
Definition: facAbsBiFact.cc:52
AlgExtFactorize
CFFList AlgExtFactorize(const CanonicalForm &F, const Variable &alpha)
factorize a univariate polynomial over algebraic extension of Q
Definition: facAlgExt.cc:370
AlgExtSqrfFactorize
CFList AlgExtSqrfFactorize(const CanonicalForm &F, const Variable &alpha)
factorize a univariate squarefree polynomial over algebraic extension of Q
Definition: facAlgExt.cc:148
Variable
factory's class for variables
Definition: factory.h:117
cf_assert.h
List
Definition: ftmpl_list.h:20