#include <nrational.h>
Public Member Functions | |
NRational () | |
Initialises to 0/1. | |
NRational (const NRational &value) | |
Initialises to the given rational value. | |
NRational (const NLargeInteger &value) | |
Initialises to the given integer value. | |
NRational (long value) | |
Initialises to the given integer value. | |
NRational (const NLargeInteger &newNum, const NLargeInteger &newDen) | |
Initialises to newNum/newDen. | |
NRational (long newNum, unsigned long newDen) | |
Initialises to newNum/newDen. | |
virtual | ~NRational () |
Destroys this rational. | |
NRational & | operator= (const NRational &value) |
Sets this rational to the given rational value. | |
NRational & | operator= (const NLargeInteger &value) |
Sets this rational to the given integer value. | |
NRational & | operator= (long value) |
Sets this rational to the given integer value. | |
NLargeInteger | getNumerator () const |
Returns the numerator of this rational. | |
NLargeInteger | getDenominator () const |
Returns the denominator of this rational. | |
NRational | operator* (const NRational &r) const |
Calculates the product of two rationals. | |
NRational | operator/ (const NRational &r) const |
Calculates the ratio of two rationals. | |
NRational | operator+ (const NRational &r) const |
Calculates the sum of two rationals. | |
NRational | operator- (const NRational &r) const |
Calculates the difference of two rationals. | |
NRational | operator- () const |
Determines the negative of this rational. | |
NRational | inverse () const |
Calculates the inverse of this rational. | |
NRational | abs () const |
Determines the absolute value of this rational. | |
NRational & | operator+= (const NRational &other) |
Adds the given rational to this. | |
NRational & | operator-= (const NRational &other) |
Subtracts the given rational from this. | |
NRational & | operator*= (const NRational &other) |
Multiplies the given rational by this. | |
NRational & | operator/= (const NRational &other) |
Divides this by the given rational. | |
void | negate () |
Negates this rational. | |
void | invert () |
Inverts this rational. | |
bool | operator== (const NRational &compare) const |
Determines if this is equal to the given rational. | |
bool | operator!= (const NRational &compare) const |
Determines if this is not equal to the given rational. | |
bool | operator< (const NRational &compare) const |
Determines if this is less than the given rational. | |
bool | operator> (const NRational &compare) const |
Determines if this is greater than the given rational. | |
bool | operator<= (const NRational &compare) const |
Determines if this is less than or equal to the given rational. | |
bool | operator>= (const NRational &compare) const |
Determines if this is greater than or equal to the given rational. | |
double | doubleApprox (bool *inRange=0) const |
Attempts to convert this rational to a real number. | |
std::string | getTeX () const |
Returns this rational as written using TeX formatting. | |
std::ostream & | writeTeX (std::ostream &out) const |
Writes this rational in TeX format to the given output stream. | |
Static Public Attributes | |
static const NRational | zero |
Globally available zero. | |
static const NRational | one |
Globally available one. | |
static const NRational | infinity |
Globally available infinity. | |
static const NRational | undefined |
Globally available undefined. | |
Friends | |
std::ostream & | operator<< (std::ostream &out, const NRational &rat) |
Writes the given rational to the given output stream. |
Calculations with NRational objects will be exact.
Infinity (1/0) and undefined (0/0) are catered for. (-1/0) is considered the same as (1/0), and is represented as (1/0). Any operation involving (0/0) will return (0/0).
Since infinity is the same as negative infinity, both infinity plus infinity and infinity minus infinity will return infinity. Infinity divided by infinity returns undefined, as does infinity times zero.
For the purposes of ordering, undefined is the smallest rational and infinity is the largest. Undefined is always equal to itself, and infinity is always equal to itself.
Rationals will always be stored in lowest terms with non-negative denominator.
regina::NRational::NRational | ( | ) | [inline] |
Initialises to 0/1.
regina::NRational::NRational | ( | const NRational & | value | ) | [inline] |
Initialises to the given rational value.
value | the new rational value of this rational. |
regina::NRational::NRational | ( | const NLargeInteger & | value | ) | [inline] |
Initialises to the given integer value.
value | the new integer value of this rational. |
regina::NRational::NRational | ( | long | value | ) | [inline] |
Initialises to the given integer value.
value | the new integer value of this rational. |
regina::NRational::NRational | ( | const NLargeInteger & | newNum, | |
const NLargeInteger & | newDen | |||
) |
Initialises to newNum/newDen.
newDen is non-negative.
newNum | the new numerator. | |
newDen | the new denominator. |
regina::NRational::NRational | ( | long | newNum, | |
unsigned long | newDen | |||
) |
Initialises to newNum/newDen.
newDen is non-negative.
newNum | the new numerator. | |
newDen | the new denominator. |
regina::NRational::~NRational | ( | ) | [inline, virtual] |
Destroys this rational.
NRational regina::NRational::abs | ( | ) | const |
Determines the absolute value of this rational.
This rational is not changed.
double regina::NRational::doubleApprox | ( | bool * | inRange = 0 |
) | const |
Attempts to convert this rational to a real number.
If this rational can be approximated by a double (specifically, if it lies within double's allowable range) then a such an approximation is returned. Otherwise zero is returned instead.
The optional inRange argument allows the result of range checking to be returned explicitly as a boolean (*inRange
will be set to true
if a double approximation is possible and false
otherwise).
It is safe to pass inRange as null
, in which case this boolean is not returned. Range checking is still performed internally however, i.e., zero is still returned if the rational is out of range.
Note that "lies with double's allowable range" is machine-dependent, and may vary between different installations. Infinity and undefined are always considered out of range. Otherwise a rational is out of range if its absolute value is finite but too large (e.g., 10^10000) or non-zero but too small (e.g., 10^-10000).
inRange | returns the result of range checking as described above; this pointer may be passed as null if the caller does not care about this result. |
NLargeInteger regina::NRational::getDenominator | ( | ) | const |
Returns the denominator of this rational.
Note that rationals are always stored in lowest terms with non-negative denominator.
NLargeInteger regina::NRational::getNumerator | ( | ) | const |
Returns the numerator of this rational.
Note that rationals are always stored in lowest terms with non-negative denominator. Infinity will be stored as 1/0.
std::string regina::NRational::getTeX | ( | ) | const |
Returns this rational as written using TeX formatting.
No leading or trailing dollar signs will be included.
NRational regina::NRational::inverse | ( | ) | const |
Calculates the inverse of this rational.
This rational is not changed.
void regina::NRational::invert | ( | ) |
Inverts this rational.
This rational is changed to reflect the result.
void regina::NRational::negate | ( | ) | [inline] |
Negates this rational.
This rational is changed to reflect the result.
bool regina::NRational::operator!= | ( | const NRational & | compare | ) | const [inline] |
Determines if this is not equal to the given rational.
compare | the rational with which this will be compared. |
true
if and only if this rational is not equal to compare. Calculates the product of two rationals.
This rational is not changed.
r | the rational with which to multiply this. |
Multiplies the given rational by this.
This rational is changed to reflect the result.
other | the rational to multiply by this. |
Calculates the sum of two rationals.
This rational is not changed.
r | the rational to add to this. |
Adds the given rational to this.
This rational is changed to reflect the result.
other | the rational to add to this. |
NRational regina::NRational::operator- | ( | ) | const |
Determines the negative of this rational.
This rational is not changed.
Calculates the difference of two rationals.
This rational is not changed.
r | the rational to subtract from this. |
Subtracts the given rational from this.
This rational is changed to reflect the result.
other | the rational to subtract from this. |
Calculates the ratio of two rationals.
This rational is not changed.
r | the rational to divide this by. |
Divides this by the given rational.
This rational is changed to reflect the result.
other | the rational to divide this by. |
bool regina::NRational::operator< | ( | const NRational & | compare | ) | const |
Determines if this is less than the given rational.
compare | the rational with which this will be compared. |
true
if and only if this rational is less than compare. bool regina::NRational::operator<= | ( | const NRational & | compare | ) | const [inline] |
Determines if this is less than or equal to the given rational.
compare | the rational with which this will be compared. |
true
if and only if this rational is less than or equal to compare. NRational & regina::NRational::operator= | ( | long | value | ) | [inline] |
Sets this rational to the given integer value.
value | the new value of this rational. |
NRational & regina::NRational::operator= | ( | const NLargeInteger & | value | ) | [inline] |
Sets this rational to the given integer value.
value | the new value of this rational. |
Sets this rational to the given rational value.
value | the new value of this rational. |
bool regina::NRational::operator== | ( | const NRational & | compare | ) | const |
Determines if this is equal to the given rational.
compare | the rational with which this will be compared. |
true
if and only if this rational is equal to compare. bool regina::NRational::operator> | ( | const NRational & | compare | ) | const |
Determines if this is greater than the given rational.
compare | the rational with which this will be compared. |
true
if and only if this rational is greater than compare. bool regina::NRational::operator>= | ( | const NRational & | compare | ) | const [inline] |
Determines if this is greater than or equal to the given rational.
compare | the rational with which this will be compared. |
true
if and only if this rational is greater than or equal to compare. std::ostream& regina::NRational::writeTeX | ( | std::ostream & | out | ) | const |
Writes this rational in TeX format to the given output stream.
No leading or trailing dollar signs will be included.
out | the output stream to which to write. |
std::ostream& operator<< | ( | std::ostream & | out, | |
const NRational & | rat | |||
) | [friend] |
Writes the given rational to the given output stream.
Infinity will be written as Inf
. Undefined will be written as Undef
. A rational with denominator one will be written as a single integer. All other rationals will be written in the form r/s
.
out | the output stream to which to write. | |
rat | the rational to write. |
const NRational regina::NRational::infinity [static] |
Globally available infinity.
Note that both 1/0 and -1/0 evaluate to this same rational. When queried, the representation 1/0 will be returned.
const NRational regina::NRational::one [static] |
Globally available one.
const NRational regina::NRational::undefined [static] |
Globally available undefined.
This is represented as 0/0.
const NRational regina::NRational::zero [static] |
Globally available zero.