 |
My Project
UNKNOWN_GIT_VERSION
|
Go to the documentation of this file.
13 #ifndef FAC_FACTORIZE_H
14 #define FAC_FACTORIZE_H
92 int * substDegree=
new int [F.
level()];
98 if (substDegree [
i-1] > 1)
105 substDegree[
i-1]= -1;
116 tmp2=
i.getItem().factor();
117 for (
int j= 1;
j <=
G.level();
j++)
119 if (substDegree[
j-1] > 1)
126 j.getItem().exp()*
i.getItem().exp()));
128 delete [] substDegree;
131 delete [] substDegree;
142 "time for squarefree factorization over Q: ");
150 "time to factorize sqrfree factor over Q: ");
153 if (
j.getItem().inCoeffDomain())
continue;
CFList int bool const Variable & w
<[in] alg. variable
static const int SW_RATIONAL
set to 1 for computations over Q
CFList int bool & irred
[in,out] Is A irreducible?
CFFList ratFactorize(const CanonicalForm &G, const Variable &v=Variable(1), bool substCheck=true)
factorize a multivariate polynomial over
CanonicalForm reverseSubst(const CanonicalForm &F, const int d, const Variable &x)
reverse a substitution x^d->x
CFList int & minFactorsLength
[in,out] minimal length of bivariate factors
CFList ratSqrfFactorize(const CanonicalForm &G, const Variable &v=Variable(1))
factorize a squarefree multivariate polynomial over
TIMING_START(fac_alg_resultant)
CFList *& Aeval
<[in] poly
CFList ratBiSqrfFactorize(const CanonicalForm &G, const Variable &v=Variable(1))
factorize a squarefree bivariate polynomial over .
void factorizationWRTDifferentSecondVars(const CanonicalForm &A, CFList *&Aeval, int &minFactorsLength, bool &irred, const Variable &w)
int substituteCheck(const CanonicalForm &F, const Variable &x)
check if a substitution x^n->x is possible
CanonicalForm bCommonDen(const CanonicalForm &f)
CanonicalForm bCommonDen ( const CanonicalForm & f )
TIMING_END_AND_PRINT(fac_alg_resultant, "time to compute resultant0: ")
static poly normalize(poly next_p, ideal add_generators, syStrategy syzstr, int *g_l, int *p_l, int crit_comp)
factory's class for variables
CFList multiFactorize(const CanonicalForm &F, const Variable &v)
Factorization over Q (a)
CFFList sqrFree(const CanonicalForm &f, bool sort=false)
squarefree factorization
const Variable & v
< [in] a sqrfree bivariate poly
TIMING_DEFINE_PRINT(fac_squarefree) TIMING_DEFINE_PRINT(fac_factor_squarefree) void factorizationWRTDifferentSecondVars(const CanonicalForm &A
Factorization of A wrt. to different second vars.
CFFList ratBiFactorize(const CanonicalForm &G, const Variable &v=Variable(1), bool substCheck=true)
factorize a bivariate polynomial over
CanonicalForm subst(const CanonicalForm &f, const CFList &a, const CFList &b, const CanonicalForm &Rstar, bool isFunctionField)