def isqrt

bend-collections-laws-math@1.0.0.0 · src/math/natural.bend:232

import bend-collections-laws-math@1.0.0.0/src/math/natural.bend as Natural

import Base
import bend-collections-laws-math@1.0.0.0/src/math/pow2.bend as P2

232def isqrt(+n: Nat) -> Nat:
233  isqrt_from(n, P2.pow2t(1n+Nat.div(bit_length(n), 2n)))

Uses (5)

Used by (98)