~/jendhub

def spec_g

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64addv.bend:21

import bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64addv.bend as F64addv
import Base
import bend-collections-laws-math@1.0.0.0/spec/math/f64.bend as SF
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F

21# the spec's add with the classification of both operands as Booleans
22def spec_g(+a1: Bool, +z1: Bool, +a2: Bool, +z2: Bool, +sx: Bool, +sy: Bool, +x: F.F64, +y: F.F64, +fin: F.F64) -> F.F64:
23  SF.pick(F.F64, Bool.or(Bool.and(a1, Bool.not(z1)), Bool.and(a2, Bool.not(z2))), SF.qnan(), SF.pick(F.F64, Bool.and(a1, z1), SF.pick(F.F64, Bool.and(Bool.and(a2, z2), Bool.not(Bool.not(Bool.xor(sx, sy)))), SF.qnan(), x), SF.pick(F.F64, Bool.and(a2, z2), y, fin)))

Uses (8)

Used by (6)