21#define LIKELY(expression) (__builtin_expect(!!(expression), 1))
22#define UNLIKELY(expression) (__builtin_expect(!!(expression), 0))
24#define LIKELY(expression) (expression)
25#define UNLIKELY(expression) (expression)
54 ASSERT( 0,
"illegal basic domain!" );
92 ASSERT( 0,
"illegal basic domain!" );
116 ASSERT1( 0,
"illegal basic domain (type = %d)!", type );
157 ASSERT( 0,
"illegal basic domain!" );
198 ASSERT( 0,
"illegal basic domain!" );
239 ASSERT( 0,
"illegal basic domain!" );
253 ASSERT( 0,
"illegal basic domain!" );
271 return res->normalize_myself();
279 return result->normalize_myself();
#define ASSERT1(expression, message, parameter1)
#define ASSERT(expression, message)
#define FiniteFieldDomain
#define GaloisFieldDomain
void getmpi(InternalCF *value, mpz_t mpi)
Interface to generate InternalCF's over various domains from intrinsic types or mpz_t's.
static InternalCF * basic(int value)
static InternalCF * poly(const Variable &v, int exp, const CanonicalForm &c)
static InternalCF * rational(long num, long den)
virtual class for internal CanonicalForm's
virtual int levelcoeff() const
factory's class for integers
factory's class for polynomials
factory's class for rationals
factory's class for variables
const Variable & v
< [in] a sqrfree bivariate poly
operations on immediates, that is elements of F_p, GF, Z, Q that fit into intrinsic int,...
InternalCF * int2imm_p(long i)
InternalCF * int2imm_gf(long i)
static InternalCF * int2imm(long i)
Factory's internal CanonicalForm's.
Factory's internal integers.
Factory's internal polynomials.
Factory's internal rationals.
gmp_float exp(const gmp_float &a)
static poly normalize(poly next_p, ideal add_generators, syStrategy syzstr, int *g_l, int *p_l, int crit_comp)