My Project
|
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 Norm(const CanonicalForm &F | |
TIMING_START (fac_alg_resultant) | |
if (degg >=8||degmipo >=8) norm | |
TIMING_END_AND_PRINT (fac_alg_resultant, "time to compute resultant0: ") | |
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... | |
Variables | |
const Variable & | alpha |
Variable | y = F.mvar() |
CanonicalForm | g = F (x, alpha) |
CanonicalForm | mipo = getMipo (alpha) |
mipo *CanonicalForm | norm = bCommonDen (mipo) |
int | degg = degree (g) |
int | degmipo = degree (mipo) |
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 370 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 148 of file facAlgExt.cc.
TIMING_DEFINE_PRINT | ( | fac_alg_resultant | ) | const & |
TIMING_END_AND_PRINT | ( | fac_alg_resultant | , |
"time to compute resultant0: " | |||
) |
TIMING_START | ( | fac_alg_resultant | ) |
Definition at line 52 of file facAlgExt.cc.
Definition at line 64 of file facAlgExt.cc.
Definition at line 65 of file facAlgExt.cc.
CanonicalForm g = F (x, alpha) |
Definition at line 56 of file facAlgExt.cc.
Definition at line 57 of file facAlgExt.cc.
return norm = bCommonDen (mipo) |
Definition at line 61 of file facAlgExt.cc.
Definition at line 55 of file facAlgExt.cc.