My Project
|
operations mod p^k and some other useful functions for factorization More...
Go to the source code of this file.
Data Structures | |
class | modpk |
class to do operations mod p^k for int's p and k More... | |
Functions | |
CanonicalForm | replaceLc (const CanonicalForm &f, const CanonicalForm &c) |
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 f and g are swapped with Variable(1). If the result is false, d is set to the degree of the gcd of f and g evaluated at a random point in K^n-1. This gcd is a gcd of univariate polynomials. More... | |
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) |
CanonicalForm | prod (const CFArray &a, int f, int l) |
CanonicalForm | prod (const CFArray &a) |
operations mod p^k and some other useful functions for factorization
Definition in file fac_util.h.
void extgcd | ( | const CanonicalForm & | a, |
const CanonicalForm & | b, | ||
CanonicalForm & | S, | ||
CanonicalForm & | T, | ||
const modpk & | pk | ||
) |
Definition at line 183 of file fac_util.cc.
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 f and g are swapped with Variable(1). If the result is false, d is set to the degree of the gcd of f and g evaluated at a random point in K^n-1. This gcd is a gcd of univariate polynomials.
Definition at line 25 of file cfGcdUtil.cc.
CanonicalForm prod | ( | const CFArray & | a | ) |
Definition at line 177 of file fac_util.cc.
CanonicalForm prod | ( | const CFArray & | a, |
int | f, | ||
int | l | ||
) |
CanonicalForm remainder | ( | const CanonicalForm & | f, |
const CanonicalForm & | g, | ||
const modpk & | pk | ||
) |
Definition at line 115 of file fac_util.cc.
CanonicalForm replaceLc | ( | const CanonicalForm & | f, |
const CanonicalForm & | c | ||
) |