My Project
Loading...
Searching...
No Matches
factory
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
CanonicalForm
factory's main class
Definition:
canonicalform.h:86
List
Definition:
ftmpl_list.h:52
facAbsBiFact.h
bivariate absolute factorization over Q described in "Modular Las Vegas Algorithms for Polynomial Abs...
absFactorizeMain
CFAFList absFactorizeMain(const CanonicalForm &F)
main absolute factorization routine, expects poly which is irreducible over Q
Definition:
facAbsFact.cc:303
absFactorize
CFAFList FACTORY_PUBLIC absFactorize(const CanonicalForm &G)
absolute factorization of a multivariate poly over Q
Definition:
facAbsFact.cc:262
FACTORY_PUBLIC
#define FACTORY_PUBLIC
Definition:
globaldefs.h:25
G
STATIC_VAR TreeM * G
Definition:
janet.cc:31
Generated on Mon Feb 27 2023 10:53:48 for My Project by
doxygen 1.9.5
for
Singular