My Project
facAbsFact.h
Go to the documentation of this file.
1 /*****************************************************************************\
2  * Computer Algebra System SINGULAR
3 \*****************************************************************************/
4 /** @file facAbsFact.h
5  *
6  * absolute multivariate factorization over Q
7  *
8  * @author Martin Lee
9  *
10  **/
11 /*****************************************************************************/
12 
13 #ifndef FAC_ABS_FACT_H
14 #define FAC_ABS_FACT_H
15 
16 #include "facAbsBiFact.h"
17 
18 /// main absolute factorization routine, expects poly which is
19 /// irreducible over Q
20 ///
21 /// @return absFactorizeMain returns a list whose entries contain three
22 /// entities:
23 /// an absolute irreducible factor, an irreducible univariate polynomial
24 /// that defines the minimal field extension over which the irreducible
25 /// factor is defined (note: in case the factor is already defined over
26 /// Q[t]/(t), 1 is returned as defining poly), and the
27 /// multiplicity of the absolute irreducible factor
28 CFAFList absFactorizeMain (const CanonicalForm& F ///<[in] irred poly over Q
29  );
30 
31 /*BEGINPUBLIC*/
32 /// absolute factorization of a multivariate poly over Q
33 ///
34 /// @return absFactorize returns a list whose entries contain three
35 /// entities:
36 /// an absolute irreducible factor, an irreducible univariate polynomial
37 /// that defines the minimal field extension over which the irreducible
38 /// factor is defined (note: in case the factor is already defined over
39 /// Q[t]/(t), 1 is returned), and the multiplicity of the
40 /// absolute irreducible factor
41 CFAFList FACTORY_PUBLIC absFactorize (const CanonicalForm& G ///<[in] poly over Q
42  );
43 /*ENDPUBLIC*/
44 
45 
46 #endif
factory's main class
Definition: canonicalform.h:86
bivariate absolute factorization over Q described in "Modular Las Vegas Algorithms for Polynomial Abs...
CFAFList absFactorizeMain(const CanonicalForm &F)
main absolute factorization routine, expects poly which is irreducible over Q
Definition: facAbsFact.cc:303
CFAFList FACTORY_PUBLIC absFactorize(const CanonicalForm &G)
absolute factorization of a multivariate poly over Q
Definition: facAbsFact.cc:262
#define FACTORY_PUBLIC
Definition: globaldefs.h:25
STATIC_VAR TreeM * G
Definition: janet.cc:31