31 "type error: InternalInteger expected" );
44 return result->normalize_myself();
72 "type error: immediate integer expected" );
74 "math error: divide by zero" );
89 return result->normalize_myself();
128 "type error: InternalInteger expected" );
154 "type error: immediate integer expected" );
156 "math error: divide by zero" );
158 "math error: c does not divide CO" );
189 "type error: InternalInteger expected" );
215 "type error: immediate integer expected" );
217 "math error: divide by zero" );
274 "type error: InternalInteger expected" );
311 "type error: immediate integer expected" );
313 "math error: divide by zero" );
#define ASSERT(expression, message)
static const int SW_RATIONAL
set to 1 for computations over Q
INST_VAR CFSwitches cf_glob_switches
bool isOn(int s) const
check if 's' is on
virtual class for internal CanonicalForm's
virtual int levelcoeff() const
virtual InternalCF * invert()
InternalCF * dividecoeff(InternalCF *, bool)
InternalCF * normalizeMyself()
normalizeMyself(), uiNormalizeMyself() - normalize CO.
InternalCF * modsame(InternalCF *)
static InternalCF * uiNormalizeMPI(mpz_ptr)
‘uiNormalizeMPI()’ is the same as ‘normalizeMPI()’ except that ‘aMpi’ is expected to be non-begative.
void divremcoeff(InternalCF *, InternalCF *&, InternalCF *&, bool)
friend class InternalRational
InternalCF * modcoeff(InternalCF *, bool)
InternalCF * modulocoeff(InternalCF *, bool)
InternalCF * modulosame(InternalCF *)
InternalCF * divcoeff(InternalCF *, bool)
void divremsame(InternalCF *, InternalCF *&, InternalCF *&)
static InternalCF * normalizeMPI(mpz_ptr)
normalizeMPI(), uiNormalizeMPI() - normalize a mpi.
bool divremsamet(InternalCF *, InternalCF *&, InternalCF *&)
InternalCF * dividesame(InternalCF *)
InternalCF * divsame(InternalCF *)
static mpz_ptr MPI(const InternalCF *const c)
MPI() - return underlying mpz_t of ‘c’.
InternalCF * uiNormalizeMyself()
‘uiNormalizeMyself()’ is the same as ‘normalizeMyself()’ except that CO is expected to be non-negativ...
bool divremcoefft(InternalCF *, InternalCF *&, InternalCF *&, bool)
factory's class for rationals
some useful template functions.
utility functions for gmp
operations on immediates, that is elements of F_p, GF, Z, Q that fit into intrinsic int,...
static long imm2int(const InternalCF *const imm)
static InternalCF * int2imm(long i)
Factory's internal CanonicalForm's.
Factory's internal integers.
Factory's internal rationals.
void rem(unsigned long *a, unsigned long *q, unsigned long p, int °a, int degq)