![]() |
Univariate factorization over algebraic extension of Q using Trager's algorithm. More...
#include "config.h"
#include "cf_assert.h"
#include "debug.h"
#include "timing.h"
#include "canonicalform.h"
#include "cf_random.h"
#include "cf_algorithm.h"
#include "facFqBivarUtil.h"
#include "facAlgExt.h"
#include "cfModResultant.h"
#include "fac_sqrfree.h"
Go to the source code of this file.
Functions | |
TIMING_DEFINE_PRINT (fac_alg_resultant) TIMING_DEFINE_PRINT(fac_alg_norm) TIMING_DEFINE_PRINT(fac_alg_factor_norm) TIMING_DEFINE_PRINT(fac_alg_gcd) TIMING_DEFINE_PRINT(fac_alg_sqrf) TIMING_DEFINE_PRINT(fac_alg_factor_sqrf) TIMING_DEFINE_PRINT(fac_alg_time_shift) static CanonicalForm uniSqrfPart(const CanonicalForm &F) | |
static CanonicalForm | Norm (const CanonicalForm &F, const Variable &alpha) |
static CanonicalForm | sqrfNorm (const CanonicalForm &F, const Variable &alpha, int &i) |
CFList | AlgExtSqrfFactorize (const CanonicalForm &F, const Variable &alpha) |
factorize a univariate squarefree polynomial over algebraic extension of Q More... | |
CFFList | AlgExtFactorize (const CanonicalForm &F, const Variable &alpha) |
factorize a univariate polynomial over algebraic extension of Q More... | |
Univariate factorization over algebraic extension of Q using Trager's algorithm.
Definition in file facAlgExt.cc.
CFFList AlgExtFactorize | ( | const CanonicalForm & | F, |
const Variable & | alpha | ||
) |
factorize a univariate polynomial over algebraic extension of Q
[in] | F | a univariate polynomial |
[in] | alpha | an algebraic variable |
Definition at line 364 of file facAlgExt.cc.
CFList AlgExtSqrfFactorize | ( | const CanonicalForm & | F, |
const Variable & | alpha | ||
) |
factorize a univariate squarefree polynomial over algebraic extension of Q
[in] | F | a univariate squarefree polynomial |
[in] | alpha | an algebraic variable |
Definition at line 142 of file facAlgExt.cc.
|
static |
Definition at line 49 of file facAlgExt.cc.
|
static |
Definition at line 73 of file facAlgExt.cc.
TIMING_DEFINE_PRINT | ( | fac_alg_resultant | ) | const |
Definition at line 31 of file facAlgExt.cc.