~/jendhub

def sq_root

bend-collections-laws-crypto@1.0.0.0 · src/math/f64.bend:479

import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64
import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as X

479def sq_root(+e: Nat, +nh: W.U64) -> F64:
480  sq_root_s(e, nh, X.lo(X.isqrt(nh)))

Uses (6)

Used by (1)