![]() |
My Project
debian-1:4.1.1-p2+ds-4build3
|
Go to the source code of this file.
Functions | |
static void | appendSwap (CFList &factors1, const CFList &factors2, const int swapLevel1, const int swapLevel2, const Variable &x) |
void | swap (CFList &factors, const int swapLevel1, const int swapLevel2, const Variable &x) |
swap elements in factors More... | |
void | appendSwapDecompress (CFList &factors1, const CFList &factors2, const CFMap &N, const int swapLevel, const Variable &x) |
swap elements of factors2, append them to factors1 and decompress More... | |
void | appendSwapDecompress (CFList &factors1, const CFList &factors2, const CFMap &N, const int swapLevel1, const int swapLevel2, const Variable &x) |
swap elements of factors2, append them to factors1 and decompress More... | |
int * | liftingBounds (const CanonicalForm &A, const int &bivarLiftBound) |
compute lifting bounds More... | |
CanonicalForm | shift2Zero (const CanonicalForm &F, CFList &Feval, const CFList &evaluation, int l) |
shift evaluation point to zero More... | |
CanonicalForm | reverseShift (const CanonicalForm &F, const CFList &evaluation, int l) |
reverse shifting the evaluation point to zero More... | |
bool | isOnlyLeadingCoeff (const CanonicalForm &F) |
check if F consists of more than just the leading coeff wrt. Variable (1) More... | |
CanonicalForm | myGetVars (const CanonicalForm &F) |
like getVars but including multiplicities More... | |
int | compareByNumberOfVars (const CFFactor &F, const CFFactor &G) |
CFFList | sortCFFListByNumOfVars (CFFList &F) |
sort CFFList by the number variables in a factor More... | |
CFList | evaluateAtZero (const CanonicalForm &F) |
evaluate F successively n-2 at 0 More... | |
CFList | evaluateAtEval (const CanonicalForm &F, const CFArray &eval) |
evaluate F at evaluation More... | |
CFList | evaluateAtEval (const CanonicalForm &F, const CFList &evaluation, int l) |
evaluate F at evaluation More... | |
CFList | recoverFactors (const CanonicalForm &F, const CFList &factors) |
divides factors by their content wrt. Variable(1) and checks if these polys divide F More... | |
CFList | recoverFactors (const CanonicalForm &F, const CFList &factors, const CFList &evaluation) |
divides factors shifted by evaluation by their content wrt. Variable(1) and checks if these polys divide F More... | |
CFList | recoverFactors (CanonicalForm &F, const CFList &factors, int *index) |
checks if factors divide F, if so F is divided by this factor and the factor is divided by its content wrt. Variable(1) and the entry in index at the position of the factor is set to 1, otherwise the entry in index is set to 0 More... | |
This file provides utility functions for multivariate factorization
Definition in file facFqFactorizeUtil.cc.
|
inlinestatic |
Definition at line 22 of file facFqFactorizeUtil.cc.
void appendSwapDecompress | ( | CFList & | factors1, |
const CFList & | factors2, | ||
const CFMap & | N, | ||
const int | swapLevel, | ||
const Variable & | x | ||
) |
swap elements of factors2, append them to factors1 and decompress
Definition at line 69 of file facFqFactorizeUtil.cc.
void appendSwapDecompress | ( | CFList & | factors1, |
const CFList & | factors2, | ||
const CFMap & | N, | ||
const int | swapLevel1, | ||
const int | swapLevel2, | ||
const Variable & | x | ||
) |
swap elements of factors2, append them to factors1 and decompress
Definition at line 87 of file facFqFactorizeUtil.cc.
Definition at line 180 of file facFqFactorizeUtil.cc.
CFList evaluateAtEval | ( | const CanonicalForm & | F, |
const CFArray & | evaluation | ||
) |
evaluate F at evaluation
Definition at line 206 of file facFqFactorizeUtil.cc.
CFList evaluateAtEval | ( | const CanonicalForm & | F, |
const CFList & | evaluation, | ||
int | l | ||
) |
evaluate F at evaluation
Definition at line 220 of file facFqFactorizeUtil.cc.
CFList evaluateAtZero | ( | const CanonicalForm & | F | ) |
evaluate F successively n-2 at 0
Definition at line 193 of file facFqFactorizeUtil.cc.
bool isOnlyLeadingCoeff | ( | const CanonicalForm & | F | ) |
int* liftingBounds | ( | const CanonicalForm & | A, |
const int & | bivarLiftBound | ||
) |
compute lifting bounds
Definition at line 118 of file facFqFactorizeUtil.cc.
CanonicalForm myGetVars | ( | const CanonicalForm & | F | ) |
like getVars but including multiplicities
like getVars but each variable x occuring in F is raised to x^degree (F,x)
Definition at line 168 of file facFqFactorizeUtil.cc.
CFList recoverFactors | ( | CanonicalForm & | F, |
const CFList & | factors, | ||
int * | index | ||
) |
checks if factors divide F, if so F is divided by this factor and the factor is divided by its content wrt. Variable(1) and the entry in index at the position of the factor is set to 1, otherwise the entry in index is set to 0
Definition at line 278 of file facFqFactorizeUtil.cc.
CFList recoverFactors | ( | const CanonicalForm & | F, |
const CFList & | factors | ||
) |
divides factors by their content wrt. Variable(1) and checks if these polys divide F
Definition at line 238 of file facFqFactorizeUtil.cc.
CFList recoverFactors | ( | const CanonicalForm & | F, |
const CFList & | factors, | ||
const CFList & | evaluation | ||
) |
divides factors shifted by evaluation by their content wrt. Variable(1) and checks if these polys divide F
Definition at line 257 of file facFqFactorizeUtil.cc.
CanonicalForm reverseShift | ( | const CanonicalForm & | F, |
const CFList & | evaluation, | ||
int | l = 2 |
||
) |
reverse shifting the evaluation point to zero
Definition at line 148 of file facFqFactorizeUtil.cc.
CanonicalForm shift2Zero | ( | const CanonicalForm & | F, |
CFList & | Feval, | ||
const CFList & | evaluation, | ||
int | l = 2 |
||
) |
shift evaluation point to zero
Definition at line 131 of file facFqFactorizeUtil.cc.
sort CFFList by the number variables in a factor
Definition at line 186 of file facFqFactorizeUtil.cc.