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

Function fpRem

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

Source from the content-addressed store, hash-verified

3393
3394
3395def fpRem(a: FPRef, b: FPRef, ctx: Context | None = None) -> FPRef:
3396 return _fp_op("fpRem", a, b)
3397
3398
3399def fpMin(a: FPRef, b: FPRef, ctx: Context | None = None) -> FPRef:

Callers 1

test_fp_remMethod · 0.90

Calls 1

_fp_opFunction · 0.85

Tested by 1

test_fp_remMethod · 0.72