|
| InternalRational () |
|
| InternalRational (const InternalCF &) |
|
| InternalRational (const int i) |
|
| InternalRational (const int n, const int d) |
|
| InternalRational (const long i) |
|
| InternalRational (const long n, const long d) |
|
| InternalRational (const char *str) |
|
| InternalRational (const mpz_ptr) |
|
| InternalRational (const mpz_ptr, const mpz_ptr) |
|
| ~InternalRational () |
|
InternalCF * | deepCopyObject () const |
|
const char * | classname () const |
|
void | print (OSTREAM &, char *) |
|
InternalCF * | genZero () |
|
InternalCF * | genOne () |
|
bool | is_imm () const |
|
int | levelcoeff () const |
|
InternalCF * | num () |
|
InternalCF * | den () |
|
InternalCF * | neg () |
| InternalCF * InternalRational::neg ()
|
|
int | comparesame (InternalCF *) |
| comparesame(), comparecoeff() - compare with an InternalRational.
|
|
InternalCF * | addsame (InternalCF *) |
|
InternalCF * | subsame (InternalCF *) |
|
InternalCF * | mulsame (InternalCF *) |
|
InternalCF * | dividesame (InternalCF *) |
|
InternalCF * | modulosame (InternalCF *) |
|
InternalCF * | divsame (InternalCF *) |
|
InternalCF * | modsame (InternalCF *) |
|
void | divremsame (InternalCF *, InternalCF *&, InternalCF *&) |
|
bool | divremsamet (InternalCF *, InternalCF *&, InternalCF *&) |
|
int | comparecoeff (InternalCF *) |
| comparecoeff() compares the CO=a/b and the integer c using the equivalence a/b < c iff a < c*b.
|
|
InternalCF * | addcoeff (InternalCF *) |
|
InternalCF * | subcoeff (InternalCF *, bool) |
|
InternalCF * | mulcoeff (InternalCF *) |
|
InternalCF * | dividecoeff (InternalCF *, bool) |
|
InternalCF * | modulocoeff (InternalCF *, bool) |
|
InternalCF * | divcoeff (InternalCF *, bool) |
|
InternalCF * | modcoeff (InternalCF *, bool) |
|
void | divremcoeff (InternalCF *, InternalCF *&, InternalCF *&, bool) |
|
bool | divremcoefft (InternalCF *, InternalCF *&, InternalCF *&, bool) |
|
InternalCF * | bgcdsame (const InternalCF *const) const |
|
InternalCF * | bgcdcoeff (const InternalCF *const) |
|
InternalCF * | bextgcdsame (InternalCF *, CanonicalForm &, CanonicalForm &) |
|
InternalCF * | bextgcdcoeff (InternalCF *, CanonicalForm &, CanonicalForm &) |
|
long | intval () const |
|
int | sign () const |
|
InternalCF * | normalize_myself () |
| reduce InternalRational to lowest terms
|
|
| InternalCF () |
|
| InternalCF (const InternalCF &) |
|
virtual | ~InternalCF () |
|
int | deleteObject () |
|
InternalCF * | copyObject () |
|
virtual int | level () const |
|
virtual int | type () const |
|
virtual Variable | variable () const |
|
virtual bool | inBaseDomain () const |
|
virtual bool | inExtension () const |
|
virtual bool | inCoeffDomain () const |
|
virtual bool | inPolyDomain () const |
|
virtual bool | inQuotDomain () const |
|
virtual bool | isZero () const |
|
virtual bool | isOne () const |
| bool InternalCF::isOne, isZero () const
|
|
virtual bool | isUnivariate () const |
|
virtual int | intmod (int) const |
|
virtual InternalCF * | invert () |
|
virtual InternalCF * | tryInvert (const CanonicalForm &, bool &) |
|
virtual InternalCF * | tryMulsame (InternalCF *, const CanonicalForm &) |
|
virtual InternalCF * | tryDivsame (InternalCF *, const CanonicalForm &, bool &) |
|
virtual bool | tryDivremsamet (InternalCF *, InternalCF *&, InternalCF *&, const CanonicalForm &, bool &) |
|
virtual InternalCF * | tryDividecoeff (InternalCF *, bool, const CanonicalForm &, bool &) |
|
virtual InternalCF * | tryDivcoeff (InternalCF *, bool, const CanonicalForm &, bool &) |
|
virtual bool | tryDivremcoefft (InternalCF *, InternalCF *&, InternalCF *&, bool, const CanonicalForm &, bool &) |
|
virtual InternalCF * | sqrt () |
| InternalCF * InternalCF::sqrt ()
|
|
virtual int | ilog2 () |
| int InternalCF::ilog2 ()
|
|
virtual CanonicalForm | lc () |
| CanonicalForm InternalCF::lc (), Lc (), LC ()
|
|
virtual CanonicalForm | Lc () |
|
virtual CanonicalForm | LC () |
|
virtual CanonicalForm | coeff (int i) |
| CanonicalForm InternalCF::coeff ( int i )
|
|
virtual int | degree () |
| int InternalCF::degree ()
|
|
virtual int | taildegree () |
|
virtual CanonicalForm | tailcoeff () |
| CanonicalForm InternalCF::tailcoeff (), int InternalCF::taildegree ()
|
|
void * | operator new (size_t size) throw (std::bad_alloc) |
|
void | operator delete (void *block) throw () |
|
void * | operator new[] (size_t size) throw (std::bad_alloc) |
|
void | operator delete[] (void *block) throw () |
|
void * | operator new (size_t size, const std::nothrow_t &) throw () |
|
void * | operator new[] (size_t size, const std::nothrow_t &) throw () |
|
factory's class for rationals
a rational is represented as two mpz_t's _num, _den
Note: If you want to compute over Q make sure that SW_RATIONAL is set to 1!
- See also
- InternalInteger
Definition at line 54 of file int_rat.h.
int InternalRational::comparesame |
( |
InternalCF * | c | ) |
|
|
virtual |