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 
Header for factory's main class CanonicalForm.
assertions for Factory
factory's main class
Definition: canonicalform.h:83
factory's class for variables
Definition: factory.h:118
Variable alpha
Definition: facAbsBiFact.cc:52
CFList AlgExtSqrfFactorize(const CanonicalForm &F, const Variable &alpha)
factorize a univariate squarefree polynomial over algebraic extension of Q
Definition: facAlgExt.cc:148
CFFList AlgExtFactorize(const CanonicalForm &F, const Variable &alpha)
factorize a univariate polynomial over algebraic extension of Q
Definition: facAlgExt.cc:370