def mag_cmp

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

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

249# the order of two non-NaN doubles: infinities at the ends, zeros equal
250def mag_cmp(+x: F.F64, +y: F.F64) -> Cmp:
251  pick(Cmp, is_inf(x), pick(Cmp, is_inf(y), EQ{}, GT{}), pick(Cmp, is_inf(y), LT{}, Nat.cmp(C.shift(Nat.sub(xexp(x), Nat.min(xexp(x), xexp(y))), mant(x)), C.shift(Nat.sub(xexp(y), Nat.min(xexp(x), xexp(y))), mant(y)))))