 |
My Project
debian-1:4.1.1-p2+ds-4build1
|
Go to the documentation of this file.
18 #ifndef FAC_ALG_FUNC_UTIL_H
19 #define FAC_ALG_FUNC_UTIL_H
CFFList merge(const CFFList &Inputlist1, const CFFList &Inputlist2)
CanonicalForm divide(const CanonicalForm &ff, const CanonicalForm &f, const CFList &as)
CanonicalForm backSubst(const CanonicalForm &F, const CFList &a, const CFList &b)
CFFList append(const CFFList &Inputlist, const CFFactor &TheFactor)
CanonicalForm evaluate(const CanonicalForm &f, const CanonicalForm &g, const CanonicalForm &h, const CanonicalForm &powH, const Variable &v)
evaluate f at g/h at v such that powH*f is integral i.e. powH is assumed to be h^degree(f,...
CanonicalForm subst(const CanonicalForm &f, const CFList &a, const CFList &b, const CanonicalForm &Rstar, bool isFunctionField)
bool isInseparable(const CFList &Astar)
CanonicalForm generateMipo(int degOfExt)
CanonicalForm alg_lc(const CanonicalForm &f)
CanonicalForm inflatePoly(const CanonicalForm &F, int exps, int n)
Varlist varsInAs(const Varlist &uord, const CFList &As)
void deflateDegree(const CanonicalForm &F, int &pExp, int n)
void multiplicity(CFFList &factors, const CanonicalForm &F, const CFList &as)
CanonicalForm QuasiInverse(const CanonicalForm &f, const CanonicalForm &g, const Variable &x)
factory's class for variables
int hasAlgVar(const CanonicalForm &f)
int getDegOfExt(IntList °reelist, int n)
int hasVar(const CanonicalForm &f, const Variable &v)
const Variable & v
< [in] a sqrfree bivariate poly
CanonicalForm deflatePoly(const CanonicalForm &F, int exps, int n)
CanonicalForm alg_LC(const CanonicalForm &f, int lev)