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 #ifdef HAVE_NTL
19 /// main absolute factorization routine, expects poly which is
20 /// irreducible over Q
21 ///
22 /// @return absFactorizeMain returns a list whose entries contain three
23 /// entities:
24 /// an absolute irreducible factor, an irreducible univariate polynomial
25 /// that defines the minimal field extension over which the irreducible
26 /// factor is defined (note: in case the factor is already defined over
27 /// Q[t]/(t), 1 is returned as defining poly), and the
28 /// multiplicity of the absolute irreducible factor
29 CFAFList absFactorizeMain (const CanonicalForm& F ///<[in] irred poly over Q
30  );
31 #endif
32 
33 /*BEGINPUBLIC*/
34 #ifdef HAVE_NTL
35 /// absolute factorization of a multivariate poly over Q
36 ///
37 /// @return absFactorize returns a list whose entries contain three
38 /// entities:
39 /// an absolute irreducible factor, an irreducible univariate polynomial
40 /// that defines the minimal field extension over which the irreducible
41 /// factor is defined (note: in case the factor is already defined over
42 /// Q[t]/(t), 1 is returned), and the multiplicity of the
43 /// absolute irreducible factor
44 CFAFList absFactorize (const CanonicalForm& G ///<[in] poly over Q
45  );
46 #endif
47 /*ENDPUBLIC*/
48 
49 
50 #endif
factory&#39;s main class
Definition: canonicalform.h:77
static TreeM * G
Definition: janet.cc:32
bivariate absolute factorization over Q described in "Modular Las Vegas Algorithms for Polynomial Abs...
CFAFList absFactorize(const CanonicalForm &G)
absolute factorization of a multivariate poly over Q
Definition: facAbsFact.cc:267
CFAFList absFactorizeMain(const CanonicalForm &F)
main absolute factorization routine, expects poly which is irreducible over Q
Definition: facAbsFact.cc:308