~/jendhub

def dw_fin

bendtorch@1.3.0.0 · dtype.bend:526

import bendtorch@1.3.0.0/dtype.bend as Dtype
import Base

526# hi + x: TwoSum's s and its exact error, plus the old lo and an extra error term c
527def dw_fin(+s: F32, +bb: F32, +a: F32, +x: F32, +lo: F32, +c: F32) -> DW:
528  +e = ((a - (s - bb : F32) : F32) + (x - bb : F32) : F32)
529  dw_norm(s, ((e + lo : F32) + c : F32))

Uses (5)

Used by (1)