37 if (c > 536870909)
factoryError(
"characteristic is too large(max is 2^29)");
44 ASSERT( c != 0 && n > 1,
"illegal GF(q)" );
#define ASSERT(expression, message)
CanonicalForm getGFGenerator()
void setCharacteristic(int c)
static int theCharacteristic
#define FiniteFieldDomain
#define GaloisFieldDomain
int cf_getNumSmallPrimes()
int cf_getSmallPrime(int i)
void(* factoryError)(const char *s)
static void settype(int type)
char name(const Variable &v)
void ff_setprime(const int p)
void gf_setcharacteristic(int p, int n, char name)
operations on immediates, that is elements of F_p, GF, Z, Q that fit into intrinsic int,...
InternalCF * int2imm_gf(long i)