Loading...
Searching...
No Matches
facAbsFact.h
Go to the documentation of this file.
/*****************************************************************************\
* Computer Algebra System SINGULAR
\*****************************************************************************/
/** @file facAbsFact.h
*
* absolute multivariate factorization over Q
*
* @author Martin Lee
*
**/
/*****************************************************************************/
#ifndef FAC_ABS_FACT_H
#define FAC_ABS_FACT_H
#include "facAbsBiFact.h"
/// main absolute factorization routine, expects poly which is
/// irreducible over Q
///
/// @return absFactorizeMain returns a list whose entries contain three
/// entities:
/// an absolute irreducible factor, an irreducible univariate polynomial
/// that defines the minimal field extension over which the irreducible
/// factor is defined (note: in case the factor is already defined over
/// Q[t]/(t), 1 is returned as defining poly), and the
/// multiplicity of the absolute irreducible factor
CFAFList absFactorizeMain (const CanonicalForm& F ///<[in] irred poly over Q
);
/*BEGINPUBLIC*/
/// absolute factorization of a multivariate poly over Q
///
/// @return absFactorize returns a list whose entries contain three
/// entities:
/// an absolute irreducible factor, an irreducible univariate polynomial
/// that defines the minimal field extension over which the irreducible
/// factor is defined (note: in case the factor is already defined over
/// Q[t]/(t), 1 is returned), and the multiplicity of the
/// absolute irreducible factor
CFAFList FACTORY_PUBLIC absFactorize (const CanonicalForm& G ///<[in] poly over Q
);
/*ENDPUBLIC*/
#endif
CFAFList
List< CFAFactor > CFAFList
Definition canonicalform.h:390
CanonicalForm
factory's main class
Definition canonicalform.h:86
facAbsBiFact.h
bivariate absolute factorization over Q described in "Modular Las VegasAlgorithms for Polynomial Abso...
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