20 #define LIKELY(expression) (__builtin_expect(!!(expression), 1)) 21 #define UNLIKELY(expression) (__builtin_expect(!!(expression), 0)) 23 #define LIKELY(expression) (expression) 24 #define UNLIKELY(expression) (expression) 49 ASSERT( 0,
"illegal basic domain!" );
73 ASSERT1( 0,
"illegal basic domain (type = %d)!", type );
114 ASSERT( 0,
"illegal basic domain!" );
155 ASSERT( 0,
"illegal basic domain!" );
196 ASSERT( 0,
"illegal basic domain!" );
210 ASSERT( 0,
"illegal basic domain!" );
Factory's internal rationals.
static poly normalize(poly next_p, ideal add_generators, syStrategy syzstr, int *g_l, int *p_l, int crit_comp)
InternalCF * normalize_myself()
reduce InternalRational to lowest terms
gmp_float exp(const gmp_float &a)
static InternalCF * int2imm(long i)
factory's class for variables
static InternalCF * poly(const Variable &v, int exp, const CanonicalForm &c)
InternalCF * int2imm_p(long i)
#define LIKELY(expression)
For optimizing if-branches.
virtual class for internal CanonicalForm's
virtual int levelcoeff() const
static InternalCF * rational(long num, long den)
Interface to generate InternalCF's over various domains from intrinsic types or mpz_t's.
void getmpi(InternalCF *value, mpz_t mpi)
#define ASSERT1(expression, message, parameter1)
InternalCF * int2imm_gf(long i)
factory's class for polynomials
static InternalCF * basic(long value)
Factory's internal polynomials.
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...
#define GaloisFieldDomain
Factory's internal CanonicalForm's.
#define ASSERT(expression, message)
factory's class for integers
factory's class for rationals
Factory's internal integers.
#define FiniteFieldDomain