def ic_d
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
1165def ic_d(+a: F64, +b: F64, +rel: F64, +at: F64, +d: F64) -> Bool:
1166 Bool.or(Bool.or(le(d, abs(mul(rel, b))), le(d, abs(mul(rel, a)))), le(d, at))
Uses (6)
Used by (5)
- bend-collections-laws-math@1.0.0.0/src/math/f64:ic_inf
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64close:icd
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64close:icd_t
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64close:ii_f
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64close:iinf