source: git/factory/facAbsFact.h @ b7cc2b

spielwiese
Last change on this file since b7cc2b was b7cc2b, checked in by Hans Schoenemann <hannes@…>, 4 years ago
factory: FindRoot via FLINT
  • Property mode set to 100644
File size: 1.8 KB
Line 
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#if defined(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
29CFAFList absFactorizeMain (const CanonicalForm& F ///<[in] irred poly over Q
30                          );
31#endif
32
33/*BEGINPUBLIC*/
34#if defined(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
44CFAFList absFactorize (const CanonicalForm& G ///<[in] poly over Q
45                      );
46#endif
47/*ENDPUBLIC*/
48
49
50#endif
Note: See TracBrowser for help on using the repository browser.