10#define INCL_FAC_UTIL_H
evaluate polynomials at points
class to do operations mod p^k for int's p and k
CanonicalForm operator()(const CanonicalForm &f, bool symmetric=true) const
modpk & operator=(const modpk &m)
CanonicalForm inverse(const CanonicalForm &f, bool symmetric=true) const
CanonicalForm getpk() const
void extgcd(const CanonicalForm &a, const CanonicalForm &b, CanonicalForm &S, CanonicalForm &T, const modpk &pk)
CanonicalForm remainder(const CanonicalForm &f, const CanonicalForm &g, const modpk &pk)
bool gcd_test_one(const CanonicalForm &f, const CanonicalForm &g, bool swap, int &d)
Coprimality Check. f and g are assumed to have the same level. If swap is true, the main variables of...
CanonicalForm replaceLc(const CanonicalForm &f, const CanonicalForm &c)