35 return modGCDFq (A, B, alpha, list, top_level);
56 return modGCDFp (A, B, top_level, list);
65 return modGCDFp (A, B, coA, coB, top_level, list);
79 "GF as base field expected");
82 return modGCDGF (A, B, list, top_level);
95 "Fp as base field expected");
CFArray getMonoms(const CanonicalForm &F)
extract monomials of F, parts in algebraic variable are considered coefficients
factory's class for variables
const CanonicalForm CFMap CFMap bool topLevel
CanonicalForm modGCDFp(const CanonicalForm &F, const CanonicalForm &G, bool &top_level, CFList &l)
CanonicalForm sparseGCDFq(const CanonicalForm &F, const CanonicalForm &G, const Variable &alpha, CFList &l, bool &topLevel)
Interface to generate InternalCF's over various domains from intrinsic types or mpz_t's.
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)
CanonicalForm modGCDZ(const CanonicalForm &FF, const CanonicalForm &GG)
modular GCD over Z
CanonicalForm modGCDFq(const CanonicalForm &F, const CanonicalForm &G, Variable &alpha, CFList &l, bool &top_level)
#define GaloisFieldDomain
const CanonicalForm const CanonicalForm & coF
#define ASSERT(expression, message)
const CanonicalForm const CanonicalForm const CanonicalForm & coG
bool terminationTest(const CanonicalForm &F, const CanonicalForm &G, const CanonicalForm &coF, const CanonicalForm &coG, const CanonicalForm &cand)
const CanonicalForm const CanonicalForm const CanonicalForm const CanonicalForm & cand
#define FiniteFieldDomain