My Project  UNKNOWN_GIT_VERSION
facAlgFunc.h
Go to the documentation of this file.
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 */
f
FILE * f
Definition: checklibs.c:9
canonicalform.h
facAlgFunc2
CFFList facAlgFunc2(const CanonicalForm &f, const CFList &as)
factorize a polynomial f that is irreducible over the ground field modulo an extension given by an ir...
Definition: facAlgFunc.cc:905
alg_gcd
CanonicalForm alg_gcd(const CanonicalForm &, const CanonicalForm &, const CFList &)
Definition: facAlgFunc.cc:61
CanonicalForm
factory's main class
Definition: canonicalform.h:83
facAlgFunc
CFFList facAlgFunc(const CanonicalForm &f, const CFList &as)
factorize a polynomial f modulo an extension given by an irreducible characteristic set as,...
Definition: facAlgFunc.cc:1043
List< CanonicalForm >