38 ASSERT( 0,
"illegal basic domain!" );
61 ASSERT1( 0,
"illegal basic domain (type = %d)!", type );
102 ASSERT( 0,
"illegal basic domain!" );
143 ASSERT( 0,
"illegal basic domain!" );
184 ASSERT( 0,
"illegal basic domain!" );
198 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
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)
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