Skip to main content

roundoff_growth_factor

Function roundoff_growth_factor 

Source
pub fn roundoff_growth_factor(operations: usize) -> Option<f64>
Expand description

Wilkinson’s growth factor γ_k = k·ε/(1 − k·ε) for a sum of operations floating-point operations.

None when k·ε ≥ 1 — a model so wide that the accumulated bound exceeds the operands themselves, where no residual can be certified as roundoff and the caller must not treat any fit as exact.