My Project
Loading...
Searching...
No Matches
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
22CanonicalForm 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.
33CFFList 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.
45CFFList 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 */
Header for factory's main class CanonicalForm.
FILE * f
Definition: checklibs.c:9
factory's main class
Definition: canonicalform.h:86
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
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
CanonicalForm alg_gcd(const CanonicalForm &, const CanonicalForm &, const CFList &)
Definition: facAlgFunc.cc:61