13#ifndef CF_GCD_ALGEXT_H
14#define CF_GCD_ALGEXT_H
37bool isLess(
int *a,
int *
b,
int lower,
int upper);
38bool isEqual(
int *a,
int *
b,
int lower,
int upper);
const CanonicalForm CFMap CFMap bool topLevel
bool isLess(int *a, int *b, int lower, int upper)
bool isEqual(int *a, int *b, int lower, int upper)
void tryBrownGCD(const CanonicalForm &F, const CanonicalForm &G, const CanonicalForm &M, CanonicalForm &result, bool &fail, bool topLevel=true)
modular gcd over F_p[x]/(M) for not necessarily irreducible M. If a zero divisor is encountered fail ...
CanonicalForm QGCD(const CanonicalForm &, const CanonicalForm &)
gcd over Q(a)
void tryInvert(const CanonicalForm &, const CanonicalForm &, CanonicalForm &, bool &)
CanonicalForm firstLC(const CanonicalForm &f)
const CanonicalForm int s