 |
My Project
debian-1:4.1.2-p1+ds-2
|
Go to the documentation of this file.
65 return modGCDFp (
A,
B, coA, coB, top_level, list);
79 "GF as base field expected");
95 "Fp as base field expected");
CanonicalForm modGCDFq(const CanonicalForm &F, const CanonicalForm &G, Variable &alpha, CFList &l, bool &top_level)
bool terminationTest(const CanonicalForm &F, const CanonicalForm &G, const CanonicalForm &coF, const CanonicalForm &coG, const CanonicalForm &cand)
#define GaloisFieldDomain
#define ASSERT(expression, message)
const CanonicalForm const CanonicalForm & coF
const CanonicalForm const CanonicalForm const CanonicalForm & coG
#define FiniteFieldDomain
const CanonicalForm const CanonicalForm const CanonicalForm const CanonicalForm & cand
CanonicalForm sparseGCDFq(const CanonicalForm &F, const CanonicalForm &G, const Variable &alpha, CFList &l, bool &topLevel)
CanonicalForm modGCDFp(const CanonicalForm &F, const CanonicalForm &G, bool &top_level, CFList &l)
factory's class for variables
const CanonicalForm CFMap CFMap bool topLevel
CanonicalForm modGCDGF(const CanonicalForm &F, const CanonicalForm &G, CFList &l, bool &top_level)
CanonicalForm sparseGCDFp(const CanonicalForm &F, const CanonicalForm &G, bool &topLevel, CFList &l)
CFArray getMonoms(const CanonicalForm &F)
extract monomials of F, parts in algebraic variable are considered coefficients
CanonicalForm modGCDZ(const CanonicalForm &FF, const CanonicalForm &GG)
modular GCD over Z