Struct ExactRational 

pub struct ExactRational { /* private fields */ }

Exact rational num/den. Distinct from ExactNum, which is floating-point.

Both parts are integer-valued ExactNums after Self::new. The denominator is positive. A zero denominator or a non-finite part is stored as NaN/1.

Implementations

impl ExactRational

pub fn new(num: ExactNum, den: ExactNum) -> ExactRational

num/den reduced to lowest terms. Negative den moves the sign to num. Zero den or a non-finite part is NaN.

pub fn from_i64(n: i64, d: i64) -> ExactRational

Integer ratio n/d at default limb precision.

pub fn num(&self) -> &ExactNum

Numerator (integer-valued after construction).

pub fn den(&self) -> &ExactNum

Denominator (positive integer-valued after construction).

pub fn is_nan(&self) -> bool

True if a part is NaN or the denominator was zero.

pub fn is_integer(&self) -> bool

True if the denominator is 1.

pub fn add(&self, rhs: &ExactRational) -> ExactRational

self + rhs as an exact rational.

pub fn sub(&self, rhs: &ExactRational) -> ExactRational

self - rhs.

pub fn mul(&self, rhs: &ExactRational) -> ExactRational

self * rhs.

pub fn div(&self, rhs: &ExactRational) -> ExactRational

self / rhs. Zero rhs is NaN.

pub fn to_exact_num(&self, p: usize, rm: RoundingMode) -> ExactNum

Convert to an ExactNum at (p, rm).

pub fn floor(&self) -> ExactRational

Greatest integer ≤ self as a rational with denominator 1.

pub fn ceil(&self) -> ExactRational

Least integer ≥ self as a rational with denominator 1.

pub fn round(&self) -> ExactRational

Nearest integer, ties away from zero, as a rational with denominator 1.

pub fn from_ints(num: ExactInt, den: ExactInt) -> ExactRational

Build num/den from limb integers.

pub fn parse_exact(s: &str) -> Option<ExactRational>

Parse a decimal (optional e/E exponent) as an exact rational.

0.1 is 1/10, not a binary float. Invalid syntax is None.

pub fn format_exact(&self, rdx: Radix) -> Option<String>

Minimum digits in rdx for an exact terminating representation. None if the denominator has a prime factor that does not divide the radix.

pub fn partial_cmp(&self, other: &ExactRational) -> Option<Ordering>

Exact comparison via cross-multiplication. None if either value is NaN.

Trait Implementations

impl Clone for ExactRational

fn clone(&self) -> ExactRational

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ExactRational

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl PartialEq for ExactRational

fn eq(&self, other: &ExactRational) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.