Function from_two_diff 

pub fn from_two_diff(a: f64, b: f64, out: &mut [f64]) -> usize

Writes the expansion of the exact difference a - b.

Capacity: 2. Requirement: a and b have magnitude below 2^1020.

Examples

use implicit_predicates_core::expansion;

let mut out = [0.0; 2];
let len = expansion::from_two_diff(1.0, 1e-20, &mut out);
assert_eq!(&out[..len], &[-1e-20, 1.0]);