Struct FixedInterval 

pub struct FixedInterval { /* private fields */ }

A real number between lo * 2^-bits and hi * 2^-bits.

Implementations

impl FixedInterval

pub fn integer(value: i64, bits: u32) -> Self

Exactly value (an integer), at bits fractional bits.

pub fn from_dyadic(value: &Dyadic, bits: u32) -> Self

The narrowest interval at bits holding value.

pub fn from_f64(value: f64, bits: u32) -> Option<Self>

The narrowest interval at bits holding a finite value.

pub fn bits(&self) -> u32

The fractional bits of the bounds.

pub fn add(&self, other: &Self) -> Self

The sum.

pub fn sub(&self, other: &Self) -> Self

The difference.

pub fn neg(&self) -> Self

The negation.

pub fn mul(&self, other: &Self) -> Self

The product, rounded outward.

pub fn mul_int(&self, factor: i128) -> Self

The product with an integer, exactly.

pub fn div_int(&self, divisor: u64) -> Self

The quotient by a positive integer, rounded outward.

pub fn with_bits(&self, bits: u32) -> Self

The same interval at bits fractional bits, rounded outward.

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

The sign every value in the interval shares: Zero only for the single point zero, None where the interval straddles zero.

pub fn enclosure(&self) -> Interval

A sound f64 interval holding this one.

pub fn magnitude(&self) -> (f64, f64)

Bounds on the magnitude of every value in the interval, as sound f64s: (0, _) where the interval holds zero.

pub fn sin_cos(x: &Dyadic, bits: u32) -> Option<(Self, Self)>

Certified sin(x) and cos(x) at bits fractional bits; None for an angle beyond 2^40 in magnitude.

Trait Implementations

impl Clone for FixedInterval

fn clone(&self) -> FixedInterval

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FixedInterval

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

Formats the value using the given formatter.

impl Eq for FixedInterval

impl PartialEq for FixedInterval

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FixedInterval