9#ifndef INCL_CF_FACTORY_H
10#define INCL_CF_FACTORY_H
CanonicalForm normalize(const CanonicalForm &F)
normalize a poly, i.e. in char 0 clear denominators, remove integer content in char p divide by leadi...
#define ASSERT(expression, message)
#define FiniteFieldDomain
#define GaloisFieldDomain
void getmpi(InternalCF *value, mpz_t mpi)
static InternalCF * basic(int value)
static InternalCF * poly(const Variable &v, int exp, const CanonicalForm &c)
static InternalCF * rational(long num, long den)
static void settype(int type)
virtual class for internal CanonicalForm's
factory's class for variables
const Variable & v
< [in] a sqrfree bivariate poly
gmp_float exp(const gmp_float &a)