~/jendhub

def mul_inf

bend-collections-laws-math@1.0.0.0 · spec/math/f64.bend:211

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

211def mul_inf(+x: F.F64, +y: F.F64, +s: Bool) -> F.F64:
212  pick(F.F64, Bool.or(is_inf(x), is_inf(y)), pick(F.F64, Bool.or(is_zero(x), is_zero(y)), qnan(), inf(s)), round(s, Nat.mul(mant(x), mant(y)), Nat.sub(Nat.add(xexp(x), xexp(y)), zb())))

Uses (15)

Used by (1)