MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / fpIsZero

Function fpIsZero

lean_py/z3/core.py:3437–3438  ·  view source on GitHub ↗
(a: FPRef, ctx: Context | None = None)

Source from the content-addressed store, hash-verified

3435
3436
3437def fpIsZero(a: FPRef, ctx: Context | None = None) -> BoolRef:
3438 return _fp_pred("fpIsZero", a)
3439
3440
3441def fpIsNormal(a: FPRef, ctx: Context | None = None) -> BoolRef:

Callers 4

test_fp_predicatesMethod · 0.90
test_zero_is_zeroMethod · 0.90
test_neg_zero_is_zeroMethod · 0.90
test_nan_not_zeroMethod · 0.90

Calls 1

_fp_predFunction · 0.85

Tested by 4

test_fp_predicatesMethod · 0.72
test_zero_is_zeroMethod · 0.72
test_neg_zero_is_zeroMethod · 0.72
test_nan_not_zeroMethod · 0.72