![]() |
My Project
|
This file implements functions for sparse heuristic Hensel lifting. More...
#include "config.h"
#include "cf_assert.h"
#include "facSparseHensel.h"
#include "cf_algorithm.h"
#include "cfModGcd.h"
#include "facFqFactorize.h"
Go to the source code of this file.
Functions | |
int | LucksWangSparseHeuristic (const CanonicalForm &F, const CFList &factors, int level, const CFList &leadingCoeffs, CFList &result) |
sparse heuristic lifting by Wang and Lucks | |
CFList | sparseHeuristic (const CanonicalForm &A, const CFList &biFactors, CFList *&moreBiFactors, const CFList &evaluation, int minFactorsLength) |
sparse heuristic which patches together bivariate factors of A wrt. different second variables by their univariate images | |
This file implements functions for sparse heuristic Hensel lifting.
ABSTRACT: "A fast implementation of polynomial factorization" by M. Lucks and "Effective polynomial computation" by R. Zippel
Definition in file facSparseHensel.cc.
int LucksWangSparseHeuristic | ( | const CanonicalForm & | F, |
const CFList & | factors, | ||
int | level, | ||
const CFList & | leadingCoeffs, | ||
CFList & | result ) |
sparse heuristic lifting by Wang and Lucks
[in] | F | polynomial to be factored |
[in] | factors | factors of F lifted to level |
[in] | level | level of lifted factors |
[in] | leadingCoeffs | leading coefficients of factors |
[in,out] | result | result |
Definition at line 26 of file facSparseHensel.cc.
CFList sparseHeuristic | ( | const CanonicalForm & | A, |
const CFList & | biFactors, | ||
CFList *& | moreBiFactors, | ||
const CFList & | evaluation, | ||
int | minFactorsLength ) |
sparse heuristic which patches together bivariate factors of A wrt. different second variables by their univariate images
[in] | A | polynomial to be factored |
[in] | biFactors | bivariate factors of A where the second variable has level 2 |
[in] | moreBiFactors | more bivariate factorizations wrt. different second variables |
[in] | evaluation | evaluation point |
[in] | minFactorsLength | minimal length of bivariate factorizations |
Definition at line 160 of file facSparseHensel.cc.