~/jendhub

def rm_far

bend-collections@1.0.0.0 · src/math/f64.bend:1131

import bend-collections@1.0.0.0/src/math/f64.bend as F64
import Base

1131def rm_far(+x: F64, +y: F64, far: Bool) -> F64:
1132  match far:
1133    case True{}:
1134      rm_near(x, y, Nat.is_eq(Nat.sub(dexp(y), dexp(x)), 1n))
1135    case False{}:
1136      rm_qr(x, y, fm_qr(x, y))

Uses (8)

Used by (1)