My Project
Loading...
Searching...
No Matches
facAlgFuncUtil.h
Go to the documentation of this file.
1/*****************************************************************************\
2 * Computer Algebra System SINGULAR
3\*****************************************************************************/
4/** @file facAlgFuncUtil.h
5 *
6 * Utility functions for factorization over algebraic function fields
7 *
8 * @note some of the code is code from libfac or derived from code from libfac.
9 * Libfac is written by M. Messollen. See also COPYING for license information
10 * and README for general information on characteristic sets.
11 *
12 * @author Martin Lee
13 *
14 **/
15/*****************************************************************************/
16
17
18#ifndef FAC_ALG_FUNC_UTIL_H
19#define FAC_ALG_FUNC_UTIL_H
20
22append (const CFFList & Inputlist, const CFFactor & TheFactor);
23
25merge (const CFFList & Inputlist1, const CFFList & Inputlist2);
26
28varsInAs (const Varlist & uord, const CFList & As);
29
30int hasVar (const CanonicalForm &f, const Variable &v);
31
32int hasAlgVar(const CanonicalForm &f);
33
35generateMipo (int degOfExt);
36
38
39CanonicalForm alg_LC (const CanonicalForm& f, int lev);
40
41void deflateDegree (const CanonicalForm & F, int & pExp, int n);
42
43CanonicalForm deflatePoly (const CanonicalForm & F, int exps, int n);
44
45CanonicalForm inflatePoly (const CanonicalForm & F, int exps, int n);
46
47void
48multiplicity (CFFList& factors, const CanonicalForm& F, const CFList& as);
49
51backSubst (const CanonicalForm& F, const CFList& a, const CFList& b);
52
54subst (const CanonicalForm& f, const CFList& a, const CFList& b,
55 const CanonicalForm& Rstar, bool isFunctionField);
56
58divide (const CanonicalForm & ff, const CanonicalForm & f, const CFList & as);
59
62 const Variable& x);
63
65evaluate (const CanonicalForm& f, const CanonicalForm& g,
66 const CanonicalForm& h, const CanonicalForm& powH,
67 const Variable& v);
68
69int
70getDegOfExt (IntList & degreelist, int n);
71
72bool
73isInseparable (const CFList & Astar);
74
75#endif
76
Variable x
Definition: cfModGcd.cc:4082
g
Definition: cfModGcd.cc:4090
CanonicalForm b
Definition: cfModGcd.cc:4103
FILE * f
Definition: checklibs.c:9
factory's main class
Definition: canonicalform.h:86
factory's class for variables
Definition: variable.h:33
CFFList merge(const CFFList &Inputlist1, const CFFList &Inputlist2)
void deflateDegree(const CanonicalForm &F, int &pExp, int n)
CanonicalForm alg_lc(const CanonicalForm &f)
CanonicalForm alg_LC(const CanonicalForm &f, int lev)
CanonicalForm divide(const CanonicalForm &ff, const CanonicalForm &f, const CFList &as)
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,...
int hasVar(const CanonicalForm &f, const Variable &v)
CanonicalForm inflatePoly(const CanonicalForm &F, int exps, int n)
int hasAlgVar(const CanonicalForm &f)
int getDegOfExt(IntList &degreelist, int n)
bool isInseparable(const CFList &Astar)
CFFList append(const CFFList &Inputlist, const CFFactor &TheFactor)
CanonicalForm backSubst(const CanonicalForm &F, const CFList &a, const CFList &b)
CanonicalForm QuasiInverse(const CanonicalForm &f, const CanonicalForm &g, const Variable &x)
CanonicalForm subst(const CanonicalForm &f, const CFList &a, const CFList &b, const CanonicalForm &Rstar, bool isFunctionField)
CanonicalForm generateMipo(int degOfExt)
CanonicalForm deflatePoly(const CanonicalForm &F, int exps, int n)
Varlist varsInAs(const Varlist &uord, const CFList &As)
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:39
STATIC_VAR int * multiplicity
STATIC_VAR Poly * h
Definition: janet.cc:971