Struct Ball 

pub struct Ball {
    pub lo: Rational,
    pub hi: Rational,
}

A rigorous rational enclosure of a real number.

Fields

lo: Rational

hi: Rational

Implementations

impl Ball

pub fn new(lo: Rational, hi: Rational) -> Self

An enclosure [lo, hi] (endpoints are swapped if given out of order).

pub fn point(r: &Rational) -> Self

A zero-width ball at the exact rational r.

pub fn from_i64(n: i64) -> Self

A zero-width ball at an integer.

pub fn sign(&self) -> Option<Sign>

Sign of the enclosed value, or None if the ball straddles zero (the caller must refine and retry).

pub fn cmp(&self, other: &Ball) -> Option<Ordering>

Ordering against another ball, or None if the two overlap (refine).

pub fn contains_zero(&self) -> bool

Whether the enclosure contains zero.

pub fn contains(&self, v: &Rational) -> bool

Whether the enclosure contains the rational v.

pub fn width(&self) -> Rational

Width hi - lo.

pub fn midpoint(&self) -> Rational

Midpoint (lo + hi) / 2.

pub fn to_f64(&self) -> f64

Nearest f64 to the midpoint (endpoints are small, so this is finite).

pub fn add(&self, b: &Ball) -> Ball

Interval addition.

pub fn neg(&self) -> Ball

Interval negation.

pub fn sub(&self, b: &Ball) -> Ball

Interval subtraction.

pub fn mul(&self, b: &Ball) -> Ball

Interval multiplication (min/max over the four endpoint products).

pub fn recip(&self) -> Option<Ball>

Interval reciprocal, or None when the enclosure contains zero.

Trait Implementations

impl Clone for Ball

fn clone(&self) -> Ball

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Ball

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

Formats the value using the given formatter.

impl Eq for Ball

impl PartialEq for Ball

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Ball