Function geometry_predicates::predicates::grow_expansion_zeroelim

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

Adds a scalar to an expansion, eliminating zero components from the output 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.)