Function geometry_predicates::predicates::grow_expansion

pub fn grow_expansion(e: &[f64], b: f64, h: &mut [f64]) -> usize

Adds a scalar to an expansion.

Sets h = e + b. See the paper for details.

Maintains the nonoverlapping property. If round-to-even is used (as with IEEE 754), maintains the strongly nonoverlapping and nonadjacent properties as well. (That is, if e has one of these properties, so will h.)