1 | /*****************************************************************************\ |
---|
2 | * Computer Algebra System SINGULAR |
---|
3 | \*****************************************************************************/ |
---|
4 | /** @file facAlgFunc.h |
---|
5 | * |
---|
6 | * Factorization over algebraic function fields |
---|
7 | * |
---|
8 | * @note some of the code is code from libfac or derived from code from libfac. |
---|
9 | * Libfac is written by M. Messollen. See also COPYING for license information |
---|
10 | * and README for general information on characteristic sets. |
---|
11 | * |
---|
12 | * @author Martin Lee |
---|
13 | * |
---|
14 | **/ |
---|
15 | /*****************************************************************************/ |
---|
16 | |
---|
17 | #ifndef FAC_ALG_FUNC_H |
---|
18 | #define FAC_ALG_FUNC_H |
---|
19 | |
---|
20 | #include "canonicalform.h" |
---|
21 | |
---|
22 | CanonicalForm alg_gcd(const CanonicalForm &, const CanonicalForm &, const CFList &); |
---|
23 | /*BEGINPUBLIC*/ |
---|
24 | |
---|
25 | /// factorize a polynomial @a f that is irreducible over the ground field modulo |
---|
26 | /// an extension given by an irreducible characteristic set @a as, @a f is |
---|
27 | /// assumed to be integral, i.e. \f$ f\in K[x_1,\ldots,x_n]/(as) \f$, and each |
---|
28 | /// element of @a as is assumed to be integral as well. \f$ K \f$ must be either |
---|
29 | /// \f$ F_p \f$ or \f$ Q \f$. |
---|
30 | /// |
---|
31 | /// @return the returned factors are not necessarily monic but only primitive |
---|
32 | /// and the product of the factors equals @a f up to a unit. |
---|
33 | CFFList facAlgFunc2 (const CanonicalForm & f,///<[in] univariate poly |
---|
34 | const CFList & as ///<[in] irreducible characteristic |
---|
35 | ///< set |
---|
36 | ); |
---|
37 | |
---|
38 | /// factorize a polynomial @a f modulo an extension given by an irreducible |
---|
39 | /// characteristic set as, @a f is assumed to be integral, i.e. |
---|
40 | /// \f$ f\in K[x_1,\ldots,x_n]/(as) \f$, and each element of @a as is assumed to |
---|
41 | /// be integral as well. \f$ K \f$ must be either \f$ F_p \f$ or \f$ Q \f$. |
---|
42 | /// |
---|
43 | /// @return the returned factors are not necessarily monic but only primitive |
---|
44 | /// and the product of the factors equals @a f up to a unit. |
---|
45 | CFFList facAlgFunc (const CanonicalForm & f, ///<[in] univariate poly |
---|
46 | const CFList & as ///<[in] irreducible characteristic |
---|
47 | ///< set |
---|
48 | ); |
---|
49 | /*ENDPUBLIC*/ |
---|
50 | |
---|
51 | #endif /* INCL_ALGFACTOR_H */ |
---|