Loading...
Searching...
No Matches
facAlgFuncUtil.h
Go to the documentation of this file.
/*****************************************************************************\
* Computer Algebra System SINGULAR
\*****************************************************************************/
/** @file facAlgFuncUtil.h
*
* Utility functions for factorization over algebraic function fields
*
* @note some of the code is code from libfac or derived from code from libfac.
* Libfac is written by M. Messollen. See also COPYING for license information
* and README for general information on characteristic sets.
*
* @author Martin Lee
*
**/
/*****************************************************************************/
#ifndef FAC_ALG_FUNC_UTIL_H
#define FAC_ALG_FUNC_UTIL_H
CFFList
append (const CFFList & Inputlist, const CFFactor & TheFactor);
CFFList
merge (const CFFList & Inputlist1, const CFFList & Inputlist2);
Varlist
varsInAs (const Varlist & uord, const CFList & As);
int hasVar (const CanonicalForm &f, const Variable &v);
int hasAlgVar(const CanonicalForm &f);
CanonicalForm
generateMipo (int degOfExt);
CanonicalForm alg_lc (const CanonicalForm & f);
CanonicalForm alg_LC (const CanonicalForm& f, int lev);
void deflateDegree (const CanonicalForm & F, int & pExp, int n);
CanonicalForm deflatePoly (const CanonicalForm & F, int exps, int n);
CanonicalForm inflatePoly (const CanonicalForm & F, int exps, int n);
void
multiplicity (CFFList& factors, const CanonicalForm& F, const CFList& as);
CanonicalForm
backSubst (const CanonicalForm& F, const CFList& a, const CFList& b);
CanonicalForm
subst (const CanonicalForm& f, const CFList& a, const CFList& b,
const CanonicalForm& Rstar, bool isFunctionField);
CanonicalForm
divide (const CanonicalForm & ff, const CanonicalForm & f, const CFList & as);
CanonicalForm
QuasiInverse (const CanonicalForm& f, const CanonicalForm& g,
const Variable& x);
CanonicalForm
evaluate (const CanonicalForm& f, const CanonicalForm& g,
const CanonicalForm& h, const CanonicalForm& powH,
const Variable& v);
int
getDegOfExt (IntList & degreelist, int n);
bool
isInseparable (const CFList & Astar);
#endif
CFFList
List< CFFactor > CFFList
Definition canonicalform.h:393
IntList
List< int > IntList
Definition canonicalform.h:401
CFFactor
Factor< CanonicalForm > CFFactor
Definition canonicalform.h:392
CFList
List< CanonicalForm > CFList
Definition canonicalform.h:395
Varlist
List< Variable > Varlist
Definition canonicalform.h:403
x
Variable x
Definition cfModGcd.cc:4090
g
g
Definition cfModGcd.cc:4098
b
CanonicalForm b
Definition cfModGcd.cc:4111
f
FILE * f
Definition checklibs.c:9
CanonicalForm
factory's main class
Definition canonicalform.h:86
Variable
factory's class for variables
Definition factory.h:127
merge
CFFList merge(const CFFList &Inputlist1, const CFFList &Inputlist2)
Definition facAlgFuncUtil.cc:52
deflateDegree
void deflateDegree(const CanonicalForm &F, int &pExp, int n)
Definition facAlgFuncUtil.cc:195
alg_lc
CanonicalForm alg_lc(const CanonicalForm &f)
Definition facAlgFuncUtil.cc:100
alg_LC
CanonicalForm alg_LC(const CanonicalForm &f, int lev)
Definition facAlgFuncUtil.cc:110
divide
CanonicalForm divide(const CanonicalForm &ff, const CanonicalForm &f, const CFList &as)
Definition facAlgFuncUtil.cc:496
evaluate
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,...
Definition facAlgFuncUtil.cc:673
hasVar
int hasVar(const CanonicalForm &f, const Variable &v)
Definition facAlgFuncUtil.cc:345
inflatePoly
CanonicalForm inflatePoly(const CanonicalForm &F, int exps, int n)
Definition facAlgFuncUtil.cc:279
hasAlgVar
int hasAlgVar(const CanonicalForm &f)
Definition facAlgFuncUtil.cc:370
getDegOfExt
int getDegOfExt(IntList &degreelist, int n)
Definition facAlgFuncUtil.cc:539
isInseparable
bool isInseparable(const CFList &Astar)
Definition facAlgFuncUtil.cc:518
append
CFFList append(const CFFList &Inputlist, const CFFactor &TheFactor)
Definition facAlgFuncUtil.cc:32
backSubst
CanonicalForm backSubst(const CanonicalForm &F, const CFList &a, const CFList &b)
Definition facAlgFuncUtil.cc:178
QuasiInverse
CanonicalForm QuasiInverse(const CanonicalForm &f, const CanonicalForm &g, const Variable &x)
Definition facAlgFuncUtil.cc:578
subst
CanonicalForm subst(const CanonicalForm &f, const CFList &a, const CFList &b, const CanonicalForm &Rstar, bool isFunctionField)
Definition facAlgFuncUtil.cc:120
generateMipo
CanonicalForm generateMipo(int degOfExt)
Definition facAlgFuncUtil.cc:90
deflatePoly
CanonicalForm deflatePoly(const CanonicalForm &F, int exps, int n)
Definition facAlgFuncUtil.cc:251
varsInAs
Varlist varsInAs(const Varlist &uord, const CFList &As)
Definition facAlgFuncUtil.cc:66
v
const Variable & v
< [in] a sqrfree bivariate poly
Definition facBivar.h:39
multiplicity
STATIC_VAR int * multiplicity
Definition interpolation.cc:86
h
STATIC_VAR Poly * h
Definition janet.cc:971