My Project
Loading...
Searching...
No Matches
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
28CFAFList 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
41CFAFList 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