Struct Dyadic 

pub struct Dyadic { /* private fields */ }

An exact dyadic rational: an arbitrary-precision integer mantissa times a power of two.

Every finite f64 converts exactly, and addition, subtraction and multiplication never round or overflow. Equality and ordering compare values, not representations.

Examples

use implicit_predicates_oracle::Dyadic;

let tenth = Dyadic::from_f64(0.1);
let three_tenths = &(&tenth + &tenth) + &tenth;
// 0.1 + 0.1 + 0.1 is not 0.3 in binary, and the oracle sees the difference.
assert_eq!(three_tenths.sign(), 1);
assert!(three_tenths > Dyadic::from_f64(0.3));

Implementations

impl Dyadic

pub fn from_f64(x: f64) -> Dyadic

Converts a finite f64 exactly. Negative zero converts to zero.

Panics

Panics if x is NaN or infinite.

Examples

use implicit_predicates_oracle::Dyadic;

let two = &Dyadic::from_f64(1.0) + &Dyadic::from_f64(1.0);
assert_eq!(two, Dyadic::from_f64(2.0));

pub fn sum_of(xs: &[f64]) -> Dyadic

Returns the exact sum of all the given values.

Panics

Panics if any value is NaN or infinite.

Examples

use implicit_predicates_oracle::Dyadic;

assert_eq!(Dyadic::sum_of(&[1.0, 2.0, 4.0]), Dyadic::from_f64(7.0));
assert!(Dyadic::sum_of(&[]).is_zero());

pub fn sign(&self) -> i8

Returns -1, 0 or 1 according to the sign of the value.

Examples

use implicit_predicates_oracle::Dyadic;

assert_eq!(Dyadic::from_f64(-3.5).sign(), -1);
assert_eq!(Dyadic::from_f64(0.0).sign(), 0);
assert_eq!(Dyadic::from_f64(3.5).sign(), 1);

pub fn is_zero(&self) -> bool

Returns true if the value is exactly zero.

Examples

use implicit_predicates_oracle::Dyadic;

assert!(Dyadic::from_f64(-0.0).is_zero());
assert!(!Dyadic::from_f64(1e-300).is_zero());

Trait Implementations

impl Add for &Dyadic

type Output = Dyadic

The resulting type after applying the + operator.

fn add(self, rhs: &Dyadic) -> Dyadic

Performs the + operation.

impl Add for Dyadic

type Output = Dyadic

The resulting type after applying the + operator.

fn add(self, rhs: Dyadic) -> Dyadic

Performs the + operation.

impl Clone for Dyadic

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Dyadic

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

Formats the value using the given formatter.

impl Eq for Dyadic

impl Mul for &Dyadic

type Output = Dyadic

The resulting type after applying the * operator.

fn mul(self, rhs: &Dyadic) -> Dyadic

Performs the * operation.

impl Mul for Dyadic

type Output = Dyadic

The resulting type after applying the * operator.

fn mul(self, rhs: Dyadic) -> Dyadic

Performs the * operation.

impl Neg for &Dyadic

type Output = Dyadic

The resulting type after applying the - operator.

fn neg(self) -> Dyadic

Performs the unary - operation.

impl Neg for Dyadic

type Output = Dyadic

The resulting type after applying the - operator.

fn neg(self) -> Dyadic

Performs the unary - operation.

impl Ord for Dyadic

fn cmp(&self, other: &Dyadic) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for Dyadic

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for Dyadic

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

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Sub for &Dyadic

type Output = Dyadic

The resulting type after applying the - operator.

fn sub(self, rhs: &Dyadic) -> Dyadic

Performs the - operation.

impl Sub for Dyadic

type Output = Dyadic

The resulting type after applying the - operator.

fn sub(self, rhs: Dyadic) -> Dyadic

Performs the - operation.